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
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
by Kozen, Dexter C., Kozen, Dexter C.
Published 2006
Table of Contents: ...Lectures -- The Complexity of Computations -- Time and Space Complexity Classes and Savitch’s...
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