Sökresultat - parallel programs https functional testing https

1

Functional and Logic Programming 10th International Symposium, FLOPS 2010, Sendai, Japan, April 19-21, 2010, Proceedings /

Publicerad 2010

Innehållsförteckning: “...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”
Hämta fulltext

Elektronisk E-bok

2

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

Publicerad 2011

Ämnen: “...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...”
Hämta fulltext

Elektronisk E-bok

3

Pro .NET 4 Parallel Programming in C#

av Freeman, Adam., Freeman, Adam.
Publicerad 2010

Innehållsförteckning: “...Introducing Parallel Programming -- Task Programming Hibernate -- Sharing Data -- Coordinating...”
Hämta fulltext

Elektronisk E-bok

4

Parallel Computing Technologies 9th International Conference, PaCT 2007, Pereslavl-Zalessky, Russia, September 3-7, 2007, Proceedings /

Publicerad 2007

Innehållsförteckning: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
Hämta fulltext

Elektronisk E-bok

5

Languages and Compilers for Parallel Computing 18th International Workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005, Revised Selected Papers /

Publicerad 2006

Innehållsförteckning: “... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...”
Hämta fulltext

Elektronisk E-bok

6

Implementation and Application of Functional Languages 18th International Symposium, IFL 2006...

Publicerad 2007

Innehållsförteckning: “... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...”
Hämta fulltext

Elektronisk E-bok

7

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

Publicerad 2012

Innehållsförteckning: “...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”
Hämta fulltext

Elektronisk E-bok

8

Implementation and Application of Functional Languages 19th International Workshop, IFL 2007...

Publicerad 2008

Innehållsförteckning: “... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”
Hämta fulltext

Elektronisk E-bok

9

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

Publicerad 2013

Innehållsförteckning: “... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”
Hämta fulltext

Elektronisk E-bok

10

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Workshops, Part II /

Publicerad 2010

Innehållsförteckning: “...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”
Hämta fulltext

Elektronisk E-bok

11

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

Publicerad 2008

Innehållsförteckning: “... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”
Hämta fulltext

Elektronisk E-bok

12

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

Publicerad 2015

Innehållsförteckning: “... Genetic Programming -- Automatic Derivation of Search Objectives for Test-Based Genetic Programming...”
Hämta fulltext

Elektronisk E-bok

13

Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /

Publicerad 2006

Innehållsförteckning: “... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”
Hämta fulltext

Elektronisk E-bok

14

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

Publicerad 2008

Innehållsförteckning: “... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”
Hämta fulltext

Elektronisk E-bok

15

Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings /

Publicerad 2005

Innehållsförteckning: “... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”
Hämta fulltext

Elektronisk E-bok

16

Theory and Applications of Satisfiability Testing - SAT 2013 16th International Conference, Helsinki, Finland, July 8-12, 2013, Proceedings /

Publicerad 2013

Innehållsförteckning: “... Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation -- Parallel Solving...”
Hämta fulltext

Elektronisk E-bok

17

Parallel Problem Solving from Nature, PPSN XI 11th International Conference, Krakov, Poland, September 11-15, 2010, Proceedings, Part II /

Publicerad 2010

Innehållsförteckning: “... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...”
Hämta fulltext

Elektronisk E-bok

18

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

Publicerad 2008

Innehållsförteckning: “...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”
Hämta fulltext

Elektronisk E-bok

19

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

Publicerad 2014

Innehållsförteckning: “... Matchgates -- Testing Probability Distributions Underlying Aggregated Data -- Parallel Repetition...”
Hämta fulltext

Elektronisk E-bok

20

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

Publicerad 2015

Innehållsförteckning: “... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”
Hämta fulltext

Elektronisk E-bok

Begränsa sökningen