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 interactive » parallel iterative, parallel imperative, parallel intersecting
interactive program » interactive programs, interpretive program, interactive programming
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 interactive » parallel iterative, parallel imperative, parallel intersecting
interactive program » interactive programs, interpretive program, interactive programming
testing https » teaching https, being https, writing https
1
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
2
Published 2015
Table of Contents:
“... for CompCert -- Validating Dominator Trees for a Fast, Verified Dominance Test -- Refinement to Certify...”View full text
Electronic
eBook
3
Published 2014
Table of Contents:
“... and Certified Linked Implementation Using Orbits -- A Verified Generate-Test-Aggregate Coq Library for Parallel...”View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“... Declarative Theorem Prover for First-Order Classical Logic -- Towards Ludics Programming: Interactive Proof...”View full text
Electronic
eBook
5
Published 2005
Table of Contents:
“... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”View full text
Electronic
eBook
6
Published 2010
Table of Contents:
“... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...”View full text
Electronic
eBook
7
Published 2013
Table of Contents:
“... Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation -- Parallel Solving...”View full text
Electronic
eBook
8
Published 2014
Table of Contents:
“... Matchgates -- Testing Probability Distributions Underlying Aggregated Data -- Parallel Repetition...”View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“... Conformance Checking of Recursive and Parallel Component-Based Systems -- Structural Testing of Component...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“... under a General Weighted Cost Function -- How to Complete an Interactive Configuration Process...”View full text
Electronic
eBook
11
Published 2010
Table of Contents:
“... Thinking Skills for Deaf Children -- Parallelization of Shape Function Generation for Hierarchical...”View full text
Electronic
eBook
12
Published 2010
Table of Contents:
“...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”View full text
Electronic
eBook
13
Published 2007
Table of Contents:
“... for Real-Time Systems with Mixed Workload -- Reconfigurable Embedded Systems -- Function-Level Multitasking...”View full text
Electronic
eBook
14
Published 2007
Table of Contents:
“... Model -- Enabling Very-Large Scale Earthquake Simulations on Parallel Machines -- Fast Insolation...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... Deployment on the Grid -- A Parallel Tree Based Strategy for Test Data Generation and Cost Calculation...”View full text
Electronic
eBook
16
Published 2007
Table of Contents:
“...-Biology -- Speedup Analysis for Parallel Implementation of Model of Response Accuracy and Response Time...”View full text
Electronic
eBook
17
Published 2010
Table of Contents:
“... Dynamics on Grid Platforms: Some Effects of Long Range Interactions on the Reactivity of N + N2...”View full text
Electronic
eBook
18
Published 2014
Table of Contents:
“... by Phase Tracking using Bilateral Probability Function -- Electrical Network Modeling of Amino Acid String...”View full text
Electronic
eBook
19
Published 2005
Table of Contents:
“...Invited Talks -- T? ??? ?í ? ??í?? ? The Interaction Between Algorithms and Game Theory -- Using...”View full text
Electronic
eBook
20
Published 2005
Table of Contents:
“... -- Distributed and Parallel Algorithms -- On the Abstraction of Message-Passing Communications Using Algorithmic...”View full text
Electronic
eBook