Rezultaty - parallel programming https function care https

1

Trends in Functional Programming 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers /

Wydane 2015

Spis treści: “... Effects -- Call Arity -- Graph Problems and Vector-Matrix Multiplications in Haskell -- A Functional...”
Dokumenty pełnotekstowe

Elektroniczne E-book

2

Trends in Functional Programming 11th International Symposium, TFP 2010, Norman, OK, USA, May 17-19, 2010. Revised Selected Papers /

Wydane 2011

Hasła przedmiotowe: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Dokumenty pełnotekstowe

Elektroniczne E-book

3

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

Wydane 2012

Hasła przedmiotowe: “...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”
Dokumenty pełnotekstowe

Elektroniczne E-book

4

Implementation and Application of Functional Languages 23rd International Symposium, IFL 2011, Lawrence, KS, USA, October 3-5, 2011, Revised Selected Papers /

Wydane 2012

Spis treści: “...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”
Dokumenty pełnotekstowe

Elektroniczne E-book

5

Implementation and Application of Functional Languages 24th International Symposium, IFL 2012...

Wydane 2013

Spis treści: “...A Notation for Comonads -- Iterating Skeletons -- Structured Parallelism by Composition -- Building...”
Dokumenty pełnotekstowe

Elektroniczne E-book

6

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

Wydane 2008

Spis treści: “... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”
Dokumenty pełnotekstowe

Elektroniczne E-book

7

Genetic Programming 18th European Conference, EuroGP 2015, Copenhagen, Denmark, April 8-10, 2015, Proceedings /

Wydane 2015

Spis treści: “... Function Specification -- Indirectly Encoded Fitness Predictors Coevolved with Cartesian Programs -- Tapped...”
Dokumenty pełnotekstowe

Elektroniczne E-book

8

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

Wydane 2008

Spis treści: “... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”
Dokumenty pełnotekstowe

Elektroniczne E-book

9

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

Wydane 2013

Spis treści: “... Computing Platforms -- Towards a Domain-Specific Language for Patterns-Oriented Parallel Programming...”
Dokumenty pełnotekstowe

Elektroniczne E-book

10

Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...

Wydane 2015

Spis treści: “... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”
Dokumenty pełnotekstowe

Elektroniczne E-book

11

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I /

Wydane 2014

Spis treści: “... Software with Recursive Functions (Invited Contribution) -- Track A: Algorithms, Complexity, and Games Weak...”
Dokumenty pełnotekstowe

Elektroniczne E-book

12

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

Wydane 2008

Spis treści: “...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”
Dokumenty pełnotekstowe

Elektroniczne E-book

13

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

Wydane 2014

Spis treści: “... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”
Dokumenty pełnotekstowe

Elektroniczne E-book

14

Declarative Programming and Knowledge Management Declarative Programming Days, KDPD 2013, Unifying...

Wydane 2014

Spis treści: “...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...”
Dokumenty pełnotekstowe

Elektroniczne E-book

15

DNA Computing and Molecular Programming 19th International Conference, DNA 2013, Tempe, AZ, USA, September 22-27, 2013, Proceedings /

Wydane 2013

Spis treści: “...Extending DNA-Sticker Arithmetic to Arbitrary Size Using Staples -- Parallel Computation Using...”
Dokumenty pełnotekstowe

Elektroniczne E-book

16

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

Wydane 2013

Spis treści: “... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”
Dokumenty pełnotekstowe

Elektroniczne E-book

17

Logic for Programming, Artificial Intelligence, and Reasoning 19th International Conference, LPAR...

Wydane 2013

Spis treści: “... -- May-Happen-in-Parallel Analysis for Priority-Based Scheduling -- The Complexity of Clausal Fragments...”
Dokumenty pełnotekstowe

Elektroniczne E-book

18

Principles and Practice of Constraint Programing-CP 2013 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013, Proceedings /

Wydane 2013

Spis treści: “... -- Answer Set Programming: Boolean Constraint Solving for Knowledge Representation and Reasoning -- Those...”
Dokumenty pełnotekstowe

Elektroniczne E-book

19

Modern Compiler Design

od Grune, Dick., Grune, Dick., van Reeuwijk, Kees., Bal, Henri E., Jacobs, Ceriel J.H., Langendoen, Koen.
Wydane 2012

Spis treści: “... Management -- Imperative and Object-Oriented Programs -- Functional Programs -- Logic Programs -- Parallel...”
Dokumenty pełnotekstowe

Elektroniczne E-book

20

Expert F# 4.0

od Syme, Don., Syme, Don., Granicz, Adam., Cisternino, Antonio.
Wydane 2015

Hasła przedmiotowe: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Redukuj rezultaty