1
Published 2012
Table of Contents: ... Properties versus State Machines -- Property-Based Testing and Verification: A Catalog of Classroom Examples...
View full text
Electronic eBook
2
Published 2007
Table of Contents: ... and Recovery -- Testing Properties of Generic Functions -- Worst-Case Execution Times for a Purely Functional...
View full text
Electronic eBook
3
4
Published 2010
Table of Contents: ... Analysis -- Bootstrap Tests of Hypotheses -- Generating Random Numbers -- Practically Trivial Parallel Data...
View full text
Electronic eBook
5
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
6
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
7
Published 2008
Table of Contents: ... of Parallel Manipulators -- Exact Envelope Computation for Moving Surfaces with Quadratic Support Functions...
View full text
Electronic eBook
8
Published 2015
Table of Contents: ... Corpora -- A Consistent Foundation for Isabelle/HOL -- Foundational Property-Based Testing -- A First...
View full text
Electronic eBook
9
Published 2010
Table of Contents: ... -- Research Issues in the Automated Testing of Ajax Applications -- Essential Performance Drivers in Native...
View full text
Electronic eBook
10
Published 2006
Table of Contents: ... AND PLASTICITY. 6.NETWORK DYNAMICS AND EPILEPTIFORM ACTIVITY. 7.DRUG TESTING WITH MEAS. 7.1.Using Network...
View full text
Electronic eBook
11
Published 2008
Table of Contents: ... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...
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 2008
Table of Contents: ... and First-Order Logic -- Derandomizing Graph Tests for Homomorphism -- Definable Filters in the Structure...
View full text
Electronic eBook
14
Published 2008
Table of Contents: ...Probabilistic Methods and Randomness Properties of Sequences -- Comparison of Point Sets...
View full text
Electronic eBook
15
Published 2008
Table of Contents: ... Problem in Planar Graphs -- Efficiently Testing Sparse GF(2) Polynomials -- Testing Properties of Sets...
View full text
Electronic eBook
16
Published 2006
Table of Contents: ... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...
View full text
Electronic eBook
17
Published 2014
Table of Contents: ... Specification and Verification of Parallel Systems -- Property-Specific Benchmark Generation -- Steering Active...
View full text
Electronic eBook
18
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
19
Published 2015
Table of Contents: ... Inverter Using Particle Swarm Optimization -- Anti-islanding Test results for Multiple PV Inverter...
View full text
Electronic eBook
20
Published 2011
Table of Contents: ... -- Optimal Test Time and Power for System-on-Chip Designs Using Game Theory -- An electrochemical approach...
View full text
Electronic eBook