Zoekresultaten - parallel checking programming function using https

1

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

Gepubliceerd in 2010

Inhoudsopgave: “... -- Automatic Parallelization of Recursive Functions Using Quantifier Elimination -- A Skeleton for Distributed...”
Volledige tekst

Elektronisch E-boek

2

Functional and Logic Programming 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings /

Gepubliceerd in 2006

Inhoudsopgave: “...Invited Papers -- Parallel Programming and Parallel Abstractions in Fortress -- Convergence...”
Volledige tekst

Elektronisch E-boek

3

Languages and Compilers for Parallel Computing 22nd International Workshop, LCPC 2009, Newark, DE, USA, October 8-10, 2009, Revised Selected Papers /

Gepubliceerd in 2010

Inhoudsopgave: “... and Parallelized Programs -- DFT Performance Prediction in FFTW -- Safe and Familiar Multi-core Programming...”
Volledige tekst

Elektronisch E-boek

4

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

Gepubliceerd in 2008

Inhoudsopgave: “... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”
Volledige tekst

Elektronisch E-boek

5

Parallel Processing and Applied Mathematics, Part II 8th International Conference, PPAM 2009, Wroclaw, Poland, September 13-16, 2009, Proceedings /

Gepubliceerd in 2010

Inhoudsopgave: “... the Throughput -- The Third Workshop on Language-Based Parallel Programming Models (WLPP 2009) -- Verification...”
Volledige tekst

Elektronisch E-boek

6

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

Gepubliceerd in 2008

Inhoudsopgave: “... Programs -- Analyzing BlobFlow: A Case Study Using Model Checking to Verify Parallel Scientific Software...”
Volledige tekst

Elektronisch E-boek

7

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

Gepubliceerd in 2005

Inhoudsopgave: “...: Mapping Solver Independent Models to Efficient Solutions -- Use of Logic Programming for Complex Business...”
Volledige tekst

Elektronisch E-boek

8

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

Gepubliceerd in 2008

Inhoudsopgave: “... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...”
Volledige tekst

Elektronisch E-boek

9

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

Gepubliceerd in 2014

Inhoudsopgave: “... Functions -- Model and Proof Generation for Heap-Manipulating Programs -- REAP: Reporting Errors Using...”
Volledige tekst

Elektronisch E-boek

10

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

Gepubliceerd in 2006

Inhoudsopgave: “... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”
Volledige tekst

Elektronisch E-boek

11

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

Gepubliceerd in 2013

Inhoudsopgave: “... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”
Volledige tekst

Elektronisch E-boek

12

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

Gepubliceerd in 2013

Inhoudsopgave: “... Functions -- Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo -- Long-Distance...”
Volledige tekst

Elektronisch E-boek

13

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

Gepubliceerd in 2010

Inhoudsopgave: “... -- Research Track -- Towards Parallel Non Serial Dynamic Programming for Solving Hard Weighted CSP -- Making...”
Volledige tekst

Elektronisch E-boek

14

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

Gepubliceerd in 2013

Inhoudsopgave: “... -- Bandit-Based Search for Constraint Programming.-Focused Random Walk with Configuration Checking and Break...”
Volledige tekst

Elektronisch E-boek

15

Practical Aspects of Declarative Languages 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008, Proceedings /

Gepubliceerd in 2008

Inhoudsopgave: “... -- Automatic Coding Rule Conformance Checking Using Logic Programming -- Comprehension and Dependency Analysis...”
Volledige tekst

Elektronisch E-boek

16

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

Gepubliceerd in 2008

Inhoudsopgave: “... Conformance Checking of Recursive and Parallel Component-Based Systems -- Structural Testing of Component...”
Volledige tekst

Elektronisch E-boek

17

International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings /

Gepubliceerd in 2007

Inhoudsopgave: “... -- Implication-Based Approximating Bounded Model Checking -- Logical Bisimulations and Functional Languages...”
Volledige tekst

Elektronisch E-boek

18

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings /

Gepubliceerd in 2008

Inhoudsopgave: “... Automaton Model Checking -- Program Verification by Reduction to Semi-algebraic Systems Solving -- Debugging...”
Volledige tekst

Elektronisch E-boek

19

FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science 24th International Conference, Chennai, India, December 16-18, 2004, Proceedings /

Gepubliceerd in 2005

Inhoudsopgave: “... Games with Causal Memory Are Decidable for Series-Parallel Systems -- Expand, Enlarge, and Check: New...”
Volledige tekst

Elektronisch E-boek

20

Perspectives of System Informatics 9th International Ershov Informatics Conference, PSI 2014, St. Petersburg, Russia, June 24-27, 2014. Revised Selected Papers /

Gepubliceerd in 2015

Inhoudsopgave: “... of Functional Programs -- Lingva: Generating and Proving Program Properties Using Symbol -- Neutralizing...”
Volledige tekst

Elektronisch E-boek

Verfijnd zoeken