Søgeresultater - parallel programs https functions section https

1

Trends in Functional Programming 12th International Symposium, TFP 2011, Madrid, Spain, May 16-18, 2011, Revised Selected Papers /

Udgivet 2012

Fag: “...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”
Få fuldtekst

Electronisk eBog

2

Recent Advances in Parallel Virtual Machine and Message Passing Interface 15th European PVM/MPI...

Udgivet 2008

Indholdsfortegnelse: “... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”
Få fuldtekst

Electronisk eBog

3

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”
Få fuldtekst

Electronisk eBog

4

Programming Languages 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, September 29- October 4, 2013, Proceedings /

Udgivet 2013

Indholdsfortegnelse: “... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”
Få fuldtekst

Electronisk eBog

5

Automata, Languages and Programming 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008 Proceedings, Part I /

Udgivet 2008

Indholdsfortegnelse: “...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”
Få fuldtekst

Electronisk eBog

6

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...

Udgivet 2014

Indholdsfortegnelse: “... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”
Få fuldtekst

Electronisk eBog

7

ECOOP 2013 -- Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013, Proceedings /

Udgivet 2013

Indholdsfortegnelse: “... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”
Få fuldtekst

Electronisk eBog

8

Dependable Systems: Software, Computing, Networks Research Results of the DICS Program /

Udgivet 2006

Indholdsfortegnelse: “... -- Dependable Software -- SCOOP – Concurrency Made Easy -- Scalable Programming Abstractions for XML Services...”
Få fuldtekst

Electronisk eBog

9

Practical Aspects of Declarative Languages 12th International Symposium, PADL 2010, Madrid, Spain, January 18-19, 2010, Proceedings /

Udgivet 2010

Indholdsfortegnelse: “...Invited Papers -- Answer Set Programming in 2010: A Personal Perspective -- An Introduction...”
Få fuldtekst

Electronisk eBog

10

Component-Based Software Engineering 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...”
Få fuldtekst

Electronisk eBog

11

Hardware and Software: Verification and Testing 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings /

Udgivet 2013

Indholdsfortegnelse: “... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”
Få fuldtekst

Electronisk eBog

12

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice o...

Udgivet 2015

Indholdsfortegnelse: “... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”
Få fuldtekst

Electronisk eBog

13

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, Oc...

Udgivet 2014

Indholdsfortegnelse: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Få fuldtekst

Electronisk eBog

14

Multiobjective Optimization Interactive and Evolutionary Approaches /

Udgivet 2008

Indholdsfortegnelse: “... Value Functions -- Dominance-Based Rough Set Approach to Interactive Multiobjective Optimization...”
Få fuldtekst

Electronisk eBog

15

Automated Technology for Verification and Analysis 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”
Få fuldtekst

Electronisk eBog

16

Computer Aided Verification 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II /

Udgivet 2015

Indholdsfortegnelse: “... Functional Programs -- Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions -- Measuring...”
Få fuldtekst

Electronisk eBog

17

LATIN 2010: Theoretical Informatics 9th Latin American Symposium, Oaxaca, Mexico, April 19-23, 2010, Proceedings /

Udgivet 2010

Indholdsfortegnelse: “... -- Compact Rich-Functional Binary Relation Representations -- Radix Cross-Sections for Length Morphisms...”
Få fuldtekst

Electronisk eBog

18

Large-Scale Scientific Computing 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10th, 2011. Revised Selected Papers /

Udgivet 2012

Indholdsfortegnelse: “... Levels over Bulgaria from High Resolution Simulations.-New Parallel Implementation of an Air Pollution...”
Få fuldtekst

Electronisk eBog

19

Transactions on High-Performance Embedded Architectures and Compilers IV

Udgivet 2011

Indholdsfortegnelse: “... Time-Varying Program Behavior Using Phase Complexity Surfaces -- Compiler Directed Issue Queue Energy...”
Få fuldtekst

Electronisk eBog

20

COMPSTAT 2006 - Proceedings in Computational Statistics 17th Symposium Held in Rome, Italy, 2006 /

Udgivet 2006

Indholdsfortegnelse: “..., multiple, joint correspondence analysis -- 3 dimensional parallel coordinates plot and its use for variable...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning