1
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
2
Published 2006
Table of Contents: ... to Code Optimization -- Testing Speculative Work in a Lazy/Eager Parallel Functional Language -- Loop...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ...The 2010 International Symposium on Frontiers of Parallel and Distributed Computing (FPDC 2010...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...
View full text
Electronic eBook
5
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
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 2013
Table of Contents: ... Clause Learning for Quantified Boolean Formulas via QBF Pseudo Unit Propagation -- Parallel Solving...
View full text
Electronic eBook
8
Published 2012
Subjects: ...Computation by Abstract Devices. https://scigraph.springernature.com/ontologies/product-market...
View full text
Electronic eBook
9
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
10
Published 2015
Table of Contents: ... Genetic Programming -- Automatic Derivation of Search Objectives for Test-Based Genetic Programming...
View full text
Electronic eBook
11
Published 2008
Table of Contents: ... and First-Order Logic -- Derandomizing Graph Tests for Homomorphism -- Definable Filters in the Structure...
View full text
Electronic eBook
12
Published 2014
Table of Contents: ... Matchgates -- Testing Probability Distributions Underlying Aggregated Data -- Parallel Repetition...
View full text
Electronic eBook
13
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
14
Published 2014
Table of Contents: ... Approach to Analyzing Utility Functions -- Towards the Typing of Resource Deployment -- Static Inference...
View full text
Electronic eBook
15
Published 2010
Table of Contents: ... Discriminant Analysis and RBF Neural Network -- Parallel Enumeration Sort on OTIS-Hypercube -- A Robust Trust...
View full text
Electronic eBook
16
Published 2013
Table of Contents: ....- Unambiguous Automata Denoting Finitely Sequential Functions.- Duplication-Loss Genome Alignment: Complexity...
View full text
Electronic eBook
17
Published 2007
Table of Contents: ... Between Knowledges -- On Three Closely Related Rough Inclusion Functions -- Rough Set Theory from a Math...
View full text
Electronic eBook
18
Published 2012
Table of Contents: ... for Detection of Macula in Fundus Images -- The Brain’s Sequential Parallelism: Perceptual Decision-Making...
View full text
Electronic eBook
19
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
20
Published 2005
Table of Contents: ... Parallel Automata -- Optimal State Assignment of Asynchronous Parallel Automata -- Design of Embedded...
View full text
Electronic eBook