Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
function function » function functional, functions functional, function dysfunction
debugging tests » debugging test, debugging best, debugging testing
tests function » testis function, tests functional, test functions
function https » functions https, fiction https
function function » function functional, functions functional, function dysfunction
debugging tests » debugging test, debugging best, debugging testing
tests function » testis function, tests functional, test functions
function https » functions https, fiction https
1
Published 2008
Table of Contents:
“... Using Compiled Code -- Debugging Lazy Functional Programs by Asking the Oracle -- Uniqueness Typing...”View full text
Electronic
eBook
2
Published 2007
Table of Contents:
“... of Timed Testing Equivalence -- From Unreliable Objects to Reliable Objects: The Case of Atomic Registers...”View full text
Electronic
eBook
3
Table of Contents:
“... Tasks -- Parallel Loops -- Parallel LINQ -- Testing and Debugging -- Common Parallel Algorithms....”
View full text
View full text
Electronic
eBook
4
Published 2008
Table of Contents:
“... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...”View full text
Electronic
eBook
5
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
6
Table of Contents:
“... -- Regression Management -- Revision Control and Change Integration -- Debug -- Executing The Verification...”
View full text
View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“..., and Complexity -- Distinguished Papers -- Testing Expressibility Is Hard -- Applying Constraint Programming...”View full text
Electronic
eBook
8
by Juneau, Josh., Juneau, Josh., Baker, Jim., Wierzbicki, Frank., Soto Muoz, Leo., Ng, Victor., Ng, Alex., Baker, Donna L.
Published 2010
Table of Contents:
“... -- Operators, Expressions, and Program Flow -- Defining Functions and Using Built-ins -- Input and Output...”Published 2010
View full text
Electronic
eBook
9
Published 2010
Table of Contents:
“... for Debugging Speech Recognition Systems -- Automatic Lip Reading in the Dutch Language Using Active Appearance...”View full text
Electronic
eBook
10
Subjects:
“...Microsoft and .NET. https://scigraph.springernature.com/ontologies/product-market-codes/I29030...”
View full text
View full text
Electronic
eBook