1
Publicerad 2007
Innehållsförteckning: ... of Timed Testing Equivalence -- From Unreliable Objects to Reliable Objects: The Case of Atomic Registers...
Hämta fulltext
Elektronisk E-bok
2
Publicerad 2010
Innehållsförteckning: ...The 2010 International Symposium on Frontiers of Parallel and Distributed Computing (FPDC 2010...
Hämta fulltext
Elektronisk E-bok
3
Publicerad 2013
Innehållsförteckning: ... and Placeholder Types -- Concurrency, Parallelism, and Distribution -- Implementing Federated Object Systems...
Hämta fulltext
Elektronisk E-bok
4
Publicerad 2010
Innehållsförteckning: ... for Many-Objective Optimization -- pMODE-LD+SS: An Effective and Efficient Parallel Differential Evolution...
Hämta fulltext
Elektronisk E-bok
5
Innehållsförteckning: ... -- MOEA Test Suites -- MOEA Testing and Analysis -- MOEA Theory and Issues -- Applications -- MOEA...
Hämta fulltext
Elektronisk E-bok
6
Publicerad 2008
Innehållsförteckning: ... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...
Hämta fulltext
Elektronisk E-bok
7
...Given a nonconvex minimization problem where the objective function is nonlinear and twice...
Artikel
8
...Given a nonconvex minimization problem where the objective function is nonlinear and twice...
Artikel
9
Publicerad 2006
Innehållsförteckning: ... the Semantic Domains of Component Contracts -- Model-Based Test Selection for Infinite State Reactive Systems...
Hämta fulltext
Elektronisk E-bok
10
Publicerad 2014
Innehållsförteckning: ...-Programs with Existential Quantification -- Introducing Real Variables and Integer Objective Functions...
Hämta fulltext
Elektronisk E-bok
11
Publicerad 2011
Innehållsförteckning: ... parallel simulation with look up tables applied to the brushless DC motor optimization -- Fast algorithms...
Hämta fulltext
Elektronisk E-bok
12
Publicerad 2015
Innehållsförteckning: ... Genetic Programming -- Automatic Derivation of Search Objectives for Test-Based Genetic Programming...
Hämta fulltext
Elektronisk E-bok
13
Publicerad 2010
Innehållsförteckning: ... -- Research Issues in the Automated Testing of Ajax Applications -- Essential Performance Drivers in Native...
Hämta fulltext
Elektronisk E-bok
14
Publicerad 2006
Innehållsförteckning: ... Computational Scheme for Testing Admissibility of Nilpotent Orbits of Real Lie Groups of Inner Type -- Efficient...
Hämta fulltext
Elektronisk E-bok
15
av Plattner, Hasso., Plattner, Hasso.
Publicerad 2013
Innehållsförteckning: ... Functions -- Parallel Select -- Workload Management and Scheduling -- Parallel Join -- Parallel Aggregation...
Hämta fulltext
Elektronisk E-bok
16
Publicerad 2010
Innehållsförteckning: ... Functions by Generic Symbolic Convexity Tests -- Term Cancellations in Computing Floating-Point Gröbner...
Hämta fulltext
Elektronisk E-bok
17
Publicerad 2007
Innehållsförteckning: ... Algorithm for Dynamic Multi-Objective TSP -- The Construction of Dynamic Multi-objective Optimization Test...
Hämta fulltext
Elektronisk E-bok
18
Publicerad 2005
Innehållsförteckning: ... Parallel Automata -- Optimal State Assignment of Asynchronous Parallel Automata -- Design of Embedded...
Hämta fulltext
Elektronisk E-bok
19
Publicerad 2005
Innehållsförteckning: ... programs on high-performance computers in FPGAs -- gridlib: A Parallel, Object-oriented Framework...
Hämta fulltext
Elektronisk E-bok
20
av Kozen, Dexter C., Kozen, Dexter C.
Publicerad 2006
Innehållsförteckning: ... -- The Polynomial-Time Hierarchy -- More on the Polynomial-Time Hierarchy -- Parallel Complexity -- Relation of NC...
Hämta fulltext
Elektronisk E-bok