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 tree » parallel code, parallel text
testing https » teaching https, being https, writing https
tree program » free program, free programs, trade program
program functionality » protein functionality, programs functional, supra functionality
functionality testing » functionality setting, functional testing, functionality using
parallel tree » parallel code, parallel text
testing https » teaching https, being https, writing https
tree program » free program, free programs, trade program
1
Published 2010
Table of Contents:
“...-Rosser Diagrams in Term Rewriting and ?-Calculus -- Proving Injectivity of Functions via Program...”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 2015
Table of Contents:
“... Programming with Safe Tree Initialisation -- Grant Dick On the Generalization Ability of Geometric Semantic...”View full text
Electronic
eBook
4
Published 2006
Table of Contents:
“... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...”View full text
Electronic
eBook
6
Published 2008
Table of Contents:
“...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”View full text
Electronic
eBook
7
Published 2014
Table of Contents:
“... Matchgates -- Testing Probability Distributions Underlying Aggregated Data -- Parallel Repetition...”View full text
Electronic
eBook
8
Published 2006
Table of Contents:
“... -- Testing Graph Isomorphism in Parallel by Playing a Game -- The Spectral Gap of Random Graphs with Given...”View full text
Electronic
eBook
9
Published 2014
Table of Contents:
“...-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry...”View full text
Electronic
eBook
10
Published 2005
Table of Contents:
“...Invited Papers -- Genome Halving Problem Revisited -- Verifying Probabilistic Procedural Programs...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“... -- Research Issues in the Automated Testing of Ajax Applications -- Essential Performance Drivers in Native...”View full text
Electronic
eBook
12
Published 2008
Table of Contents:
“... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”View full text
Electronic
eBook
13
Published 2010
Table of Contents:
“... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”View full text
Electronic
eBook
14
Published 2010
Table of Contents:
“... Pathetic Lower Bounds -- Testing Boolean Function Isomorphism -- Better Size Estimation for Sparse Matrix...”View full text
Electronic
eBook
15
Published 2008
Table of Contents:
“... Steiner Tree Computation in Polynomial-Space -- Fitting a Step Function to a Point Set -- Faster Swap Edge...”View full text
Electronic
eBook
16
Published 2010
Table of Contents:
“...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”View full text
Electronic
eBook
17
Published 2015
Table of Contents:
“... for CompCert -- Validating Dominator Trees for a Fast, Verified Dominance Test -- Refinement to Certify...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“... Algorithm of Tree and Unicyclic Graph -- Scientific and Engineering Computing -- Fault-Tolerant Service...”View full text
Electronic
eBook
19
Published 2013
Table of Contents:
“... Version of Holub’s Algorithm for Morphic Imprimitivity Testing.-From Regular Tree Expression to Position...”View full text
Electronic
eBook
20
Published 2007
Table of Contents:
“... Model -- Enabling Very-Large Scale Earthquake Simulations on Parallel Machines -- Fast Insolation...”View full text
Electronic
eBook