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 2010
Table of Contents: ...The 2010 International Symposium on Frontiers of Parallel and Distributed Computing (FPDC 2010...
View full text
Electronic eBook
3
Published 2013
Table of Contents: ... and Placeholder Types -- Concurrency, Parallelism, and Distribution -- Implementing Federated Object Systems...
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
Table of Contents: ... -- MOEA Test Suites -- MOEA Testing and Analysis -- MOEA Theory and Issues -- Applications -- MOEA...
View full text
Electronic eBook
6
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
7
...Given a nonconvex minimization problem where the objective function is nonlinear and twice...
Article
8
...Given a nonconvex minimization problem where the objective function is nonlinear and twice...
Article
9
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
10
Published 2014
Table of Contents: ...-Programs with Existential Quantification -- Introducing Real Variables and Integer Objective Functions...
View full text
Electronic eBook
11
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
12
Published 2015
Table of Contents: ... Genetic Programming -- Automatic Derivation of Search Objectives for Test-Based Genetic Programming...
View full text
Electronic eBook
13
Published 2005
Table of Contents: ... Parallel Automata -- Optimal State Assignment of Asynchronous Parallel Automata -- Design of Embedded...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ... -- Research Issues in the Automated Testing of Ajax Applications -- Essential Performance Drivers in Native...
View full text
Electronic eBook
15
Published 2006
Table of Contents: ... Computational Scheme for Testing Admissibility of Nilpotent Orbits of Real Lie Groups of Inner Type -- Efficient...
View full text
Electronic eBook
16
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
17
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
18
Published 2010
Table of Contents: ... Functions by Generic Symbolic Convexity Tests -- Term Cancellations in Computing Floating-Point Gröbner...
View full text
Electronic eBook
19
Published 2012
Subjects: ...Neurosciences. https://scigraph.springernature.com/ontologies/product-market-codes/B18006...
View full text
Electronic eBook
20
Published 2005
Table of Contents: ... programs on high-performance computers in FPGAs -- gridlib: A Parallel, Object-oriented Framework...
View full text
Electronic eBook