Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program functionality » protein functionality, programs functional, supra functionality
functionality testing » functionality setting, functional testing, functionality using
parallel generation » parallel enumeration, parallel operation, parallel acceleration
generation program » generating program, generator program, generations programme
testing https » teaching https, being https, writing https
program functionality » protein functionality, programs functional, supra functionality
functionality testing » functionality setting, functional testing, functionality using
parallel generation » parallel enumeration, parallel operation, parallel acceleration
generation program » generating program, generator program, generations programme
testing https » teaching https, being https, writing https
1
Published 2010
Table of Contents:
“... Checking -- Tag-Free Combinators for Binding-Time Polymorphic Program Generation -- Code Generation via...”View full text
Electronic
eBook
2
Published 2007
Table of Contents:
“... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...”View full text
Electronic
eBook
3
Published 2006
Table of Contents:
“... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...”View full text
Electronic
eBook
4
Published 2012
Table of Contents:
“...-In-Time Compiler for Haskell -- Lazy Generation of Canonical Test Programs -- Generic Monadic Constructs...”View full text
Electronic
eBook
5
Published 2013
Table of Contents:
“... of Programmable Logic Controller Code -- Modeling Firmware as Service Functions and Its Application to Test...”View full text
Electronic
eBook
6
Published 2008
Table of Contents:
“... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”View full text
Electronic
eBook
7
Published 2005
Table of Contents:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“... Learning Method and Its Application to Generation of Evaluation Functions for the Game of Checkers....”View full text
Electronic
eBook
9
Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...
Published 2015
Table of Contents:
“... Static Cost Analysis for Parallel Programs -- Sound, Modular and Compositional Verification of the Input...”View full text
Electronic
eBook
10
Published 2014
Table of Contents:
“... Matchgates -- Testing Probability Distributions Underlying Aggregated Data -- Parallel Repetition...”View full text
Electronic
eBook
11
Published 2014
Table of Contents:
“... to Answer Set Programming -- Coverage Driven Test Generation and Consistency Algorithm -- A Datalog Engine...”View full text
Electronic
eBook
12
Published 2013
Table of Contents:
“... Languages -- Types -- Combining Form and Function: Static Types for JQuery Programs -- Heap Decomposition...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“..., and Complexity -- Distinguished Papers -- Testing Expressibility Is Hard -- Applying Constraint Programming...”View full text
Electronic
eBook
14
Published 2006
Table of Contents:
“... -- Definition and Correct Refinement of Operation Specifications -- Formal Test Generation from UML Models...”View full text
Electronic
eBook
15
Published 2008
Table of Contents:
“...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”View full text
Electronic
eBook
16
Published 2008
Table of Contents:
“... to Capitalize on Experience in a Network of SMEs -- Regular Papers -- Directed Generation of Test Data...”View full text
Electronic
eBook
17
Published 2014
Table of Contents:
“... Specification and Verification of Parallel Systems -- Property-Specific Benchmark Generation -- Steering Active...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”View full text
Electronic
eBook
19
Published 2008
Table of Contents:
“...Invited Talks -- Tests, Proofs and Refinements -- Formal Verification and Biology -- Trust...”View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“... Pathetic Lower Bounds -- Testing Boolean Function Isomorphism -- Better Size Estimation for Sparse Matrix...”View full text
Electronic
eBook