Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
functionality testing » functionality setting, functional testing, functionality using
space functionality » scale functionality, oracle functionality, paste functionality
parallel function » parallel functional, parallel auction, parallel union
function space » function spaces, functions spaces, function state
testing https » teaching https, being https, writing https
functionality testing » functionality setting, functional testing, functionality using
space functionality » scale functionality, oracle functionality, paste functionality
parallel function » parallel functional, parallel auction, parallel union
function space » function spaces, functions spaces, function state
testing https » teaching https, being https, writing https
1
Published 2006
Table of Contents:
“... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...”View full text
Electronic
eBook
2
Published 2010
Table of Contents:
“... Agents Streamlining Logistic Network Design -- Testing the Permutation Space Based Geometric Differential...”View full text
Electronic
eBook
3
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
4
Published 2006
Table of Contents:
“... the Semantic Domains of Component Contracts -- Model-Based Test Selection for Infinite State Reactive Systems...”View full text
Electronic
eBook
5
Table of Contents:
“...Sets, Relations, Logic, Functions -- Algebraic Structures For Logic Design -- Functional...”
View full text
View full text
Electronic
eBook
6
Published 2008
Table of Contents:
“... Testing of C API Using T2C Framework -- of Multi-core Systems in Automotive Applications -- Tailoring...”View full text
Electronic
eBook
7
Table of Contents:
“...Lectures -- The Complexity of Computations -- Time and Space Complexity Classes and Savitch’s...”
View full text
View full text
Electronic
eBook
8
Published 2005
Table of Contents:
“... -- Calculating State Spaces of Hierarchical Petri Nets Using BDD -- A New Approach to Simulation of Concurrent...”View full text
Electronic
eBook
9
Published 2008
Table of Contents:
“... Order Local Analysis of the Configuration Space of Single-Loop Mechanisms -- Optimization of a Test...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“... Joins across Function Calls -- Fast Arc-Annotated Subsequence Matching in Linear Space -- Automated...”View full text
Electronic
eBook
11
Published 2015
Table of Contents:
“... Genetic Programming -- Automatic Derivation of Search Objectives for Test-Based Genetic Programming...”View full text
Electronic
eBook
12
Published 2005
Table of Contents:
“...Fluid Dynamics -- BESTWIHR: Testing of a Closure Assumption for Fully Developed Turbulent Channel...”View full text
Electronic
eBook
13
Published 2015
Table of Contents:
“...Verified, Practical Upper Bounds for State Space Diameters -- Formalization of Error-correcting...”View full text
Electronic
eBook
14
Published 2008
Table of Contents:
“... Conformance Checking of Recursive and Parallel Component-Based Systems -- Structural Testing of Component...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... Pathetic Lower Bounds -- Testing Boolean Function Isomorphism -- Better Size Estimation for Sparse Matrix...”View full text
Electronic
eBook
16
Published 2011
Table of Contents:
“... -- 4. MULTICUBE: Multi-Objective Design Space Exploration of Multi-Core Architectures -- 5. 2PARMA...”View full text
Electronic
eBook
17
Published 2008
Table of Contents:
“... and First-Order Logic -- Derandomizing Graph Tests for Homomorphism -- Definable Filters in the Structure...”View full text
Electronic
eBook
18
Published 2008
Table of Contents:
“... in a Polynomial Space -- Parallel Generation of ?-Sequences -- Correlation of Sequences over Rings...”View full text
Electronic
eBook
19
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
20
Published 2007
Table of Contents:
“... Differential Evolution Algorithm in Space Rendezvous -- The Multi-objective ITO Algorithms -- An Evolutionary...”View full text
Electronic
eBook