1
Table of Contents: ...Introduction -- Use Cases -- The Basic Applications -- Testing and Specification of PUFs -- Error...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... for the Parallel Solution of Symmetric Tridiagonal Eigenvalue Problems -- A Parallel Solution of Large-Scale Heat...
View full text
Electronic eBook
3
by Freeman, Adam., Freeman, Adam.
Published 2010
Table of Contents: ... Tasks -- Parallel Loops -- Parallel LINQ -- Testing and Debugging -- Common Parallel Algorithms....
View full text
Electronic eBook
4
Published 2013
Table of Contents: ... Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation -- Parallel Solving...
View full text
Electronic eBook
5
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
6
by Kozen, Dexter C., Kozen, Dexter C.
Published 2006
Table of Contents: ... -- The Polynomial-Time Hierarchy -- More on the Polynomial-Time Hierarchy -- Parallel Complexity -- Relation of NC...
View full text
Electronic eBook
7
Published 2011
Table of Contents: ... parallel simulation with look up tables applied to the brushless DC motor optimization -- Fast algorithms...
View full text
Electronic eBook
8
Published 2006
Table of Contents: ... for Construction of Quasi-periodic Solutions for Restricted Circular Planar Three Body Problem -- Efficient...
View full text
Electronic eBook
9
by Plattner, Hasso., Plattner, Hasso.
Published 2013
Table of Contents: ... Functions -- Parallel Select -- Workload Management and Scheduling -- Parallel Join -- Parallel Aggregation...
View full text
Electronic eBook
10
Published 2008
Table of Contents: ... of Parallel Manipulators -- Exact Envelope Computation for Moving Surfaces with Quadratic Support Functions...
View full text
Electronic eBook
11
Published 2005
Table of Contents: ... Heat Transfer in Parallel Computer Architectures -- SkvG: Cache-Optimal Parallel Solution of PDEs...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ... Operative Solutions -- Parallel and Distributed Computing -- Application of the Location and Tracking System...
View full text
Electronic eBook
13
Published 2010
Table of Contents: ...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...
View full text
Electronic eBook
14
Published 2008
Table of Contents: ... by Phenotypic Evolution -- Temporal Specifications with XTUS. A Hierarchical Algebraic Approach -- A Parallel...
View full text
Electronic eBook
15
Published 2014
Table of Contents: ... Matchgates -- Testing Probability Distributions Underlying Aggregated Data -- Parallel Repetition...
View full text
Electronic eBook
16
Published 2005
Table of Contents: ... Rule-Table for Function Approximation by Use of Symbolic Regression in 1D and 2D Cases -- Parallel...
View full text
Electronic eBook
17
Published 2007
Table of Contents: ... Algorithm for Dynamic Multi-Objective TSP -- The Construction of Dynamic Multi-objective Optimization Test...
View full text
Electronic eBook
18
Published 2011
Table of Contents: ....: Looking Beyond The Physical -- Domain-Centred Functionalities Discovering for Testing Systems...
View full text
Electronic eBook
19
Published 2008
Table of Contents: ... of Sparse LU Factorization and Triangular Solution on Multicore Platforms -- A Parallel Matrix Scaling...
View full text
Electronic eBook
20
Published 2007
Table of Contents: ... Identification in the Wall Region of Turbulent Channel Flow -- Numerical Solution of a Two-Class LWR Traffic Flow...
View full text
Electronic eBook