Hakutulokset - parallel testing programs function using https

1

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

Julkaistu 2010

Sisällysluettelo: “... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...”
Hae kokoteksti

Elektroninen E-kirja

2

Pro .NET 4 Parallel Programming in C#

Tekijä Freeman, Adam., Freeman, Adam.
Julkaistu 2010

Sisällysluettelo: “...Introducing Parallel Programming -- Task Programming Hibernate -- Sharing Data -- Coordinating...”
Hae kokoteksti

Elektroninen E-kirja

3

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

Julkaistu 2007

Sisällysluettelo: “... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”
Hae kokoteksti

Elektroninen E-kirja

4

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

Julkaistu 2006

Sisällysluettelo: “... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...”
Hae kokoteksti

Elektroninen E-kirja

5

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

Julkaistu 2007

Sisällysluettelo: “... -- Parallel Coordination Made Explicit in a Functional Setting -- Low-Level Programming in Hume...”
Hae kokoteksti

Elektroninen E-kirja

6

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

Julkaistu 2012

Sisällysluettelo: “...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”
Hae kokoteksti

Elektroninen E-kirja

7

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

Julkaistu 2008

Sisällysluettelo: “... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”
Hae kokoteksti

Elektroninen E-kirja

8

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

Julkaistu 2013

Sisällysluettelo: “... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”
Hae kokoteksti

Elektroninen E-kirja

9

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

Julkaistu 2010

Sisällysluettelo: “...) -- Efficient Grid on the OTIS-Arrangment Network -- Single Thread Program Parallelism with Dataflow Abstracting...”
Hae kokoteksti

Elektroninen E-kirja

10

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

Julkaistu 2008

Sisällysluettelo: “... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”
Hae kokoteksti

Elektroninen E-kirja

11

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

Julkaistu 2015

Sisällysluettelo: “... Text Patterns Using Separate-and-Conquer Genetic Programming -- Improving Geometric Semantic Genetic...”
Hae kokoteksti

Elektroninen E-kirja

12

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

Julkaistu 2008

Sisällysluettelo: “... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...”
Hae kokoteksti

Elektroninen E-kirja

13

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

Julkaistu 2006

Sisällysluettelo: “...Invited Talks -- Why Use Datalog to Analyze Programs? -- Semantic Web: The Story of the RIFt so Far...”
Hae kokoteksti

Elektroninen E-kirja

14

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

Julkaistu 2005

Sisällysluettelo: “...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...”
Hae kokoteksti

Elektroninen E-kirja

15

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

Julkaistu 2010

Sisällysluettelo: “... Problem Using an Adaptive Hybrid VNS/SA Approach -- Testing the Dinosaur Hypothesis under Empirical...”
Hae kokoteksti

Elektroninen E-kirja

16

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

Julkaistu 2013

Sisällysluettelo: “... Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation -- Parallel Solving...”
Hae kokoteksti

Elektroninen E-kirja

17

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

Julkaistu 2014

Sisällysluettelo: “... Matchgates -- Testing Probability Distributions Underlying Aggregated Data -- Parallel Repetition...”
Hae kokoteksti

Elektroninen E-kirja

18

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part I /

Julkaistu 2006

Sisällysluettelo: “... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”
Hae kokoteksti

Elektroninen E-kirja

19

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

Julkaistu 2013

Sisällysluettelo: “... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”
Hae kokoteksti

Elektroninen E-kirja

20

Principles and Practice of Constraint Programming - CP 2010 16th International Conference, CP 2010, St. Andrews, Scotland, September 6-10, 2010, Proceedings /

Julkaistu 2010

Sisällysluettelo: “..., and Complexity -- Distinguished Papers -- Testing Expressibility Is Hard -- Applying Constraint Programming...”
Hae kokoteksti

Elektroninen E-kirja

Rajaa hakua