1
Published 2010
Table of Contents: ... for Analyzing Running Times of Parallel Evolutionary Algorithms -- Negative Drift in Populations -- Log...
View full text
Electronic eBook
2
Published 2005
Table of Contents: ... -- Components of Systems Software for Parallel Systems -- Virtualization in Parallel Distributed Computing...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ...Techniques for Resource-Intensive Problems -- A Survey of Fitness Approximation Methods Applied...
View full text
Electronic eBook
4
Table of Contents: ... Parallelization -- Multi-Criteria Decision Making -- Alternative Metaheuristics....
View full text
Electronic eBook
5
Published 2015
Table of Contents: ... -- Hierarchical Dynamic Power-Gating in FPGAs -- Tools and Compilers -- Hardware Synthesis from Functional...
View full text
Electronic eBook
6
Published 2015
Table of Contents: ... for Type-Unsafe Operations Detection -- Running Probabilistic Programs Backwards -- A Verified Compiler...
View full text
Electronic eBook
7
Published 2015
Table of Contents: ... -- Strategy Synthesis for Stochastic Games with Multiple Long-Run Objectives -- FAUST2: Formal Abstractions...
View full text
Electronic eBook
8
Published 2010
Table of Contents: ... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...
View full text
Electronic eBook
9
Published 2006
Table of Contents: ... for Uncapacitated Facility Location Problem -- A Direct Application of Ant Colony Optimization to Function...
View full text
Electronic eBook
10
Published 2014
Table of Contents: ... and Certified Linked Implementation Using Orbits -- A Verified Generate-Test-Aggregate Coq Library for Parallel...
View full text
Electronic eBook
11
Published 2005
Table of Contents: ... Dynamically Updated Estimates in Solving the Longest Common Subsequence Problem -- Computing Similarity of Run...
View full text
Electronic eBook
12
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
13
Published 2006
Table of Contents: ... and Artificial Life -- Using Computational Intelligence and Parallelism to Solve an Industrial Design Problem...
View full text
Electronic eBook
14
Published 2006
Table of Contents: ...Cryptanalysis -- Security Analysis of the Strong Diffie-Hellman Problem -- Cryptography in Theory...
View full text
Electronic eBook
15
Published 2015
Table of Contents: ...: Analysis of Configurations Energy Efficiency -- Functional Readiness of the Security Control System...
View full text
Electronic eBook
16
Published 2010
Table of Contents: ... Preconditioners for Heterogeneous Helmholtz Problems -- On Numerical Issues in Time Accurate Laminar Reacting Gas...
View full text
Electronic eBook
17
Published 2008
Table of Contents: ...Keynotes -- Synthesizing FPGA Circuits from Parallel Programs -- From Silicon to Science: The Long...
View full text
Electronic eBook
18
Published 2013
Table of Contents: ... and MoCap Data, by M.J. Tsai, Allen Lee, H.W. Lee -- 25. Lower-limb muscle function in human running...
View full text
Electronic eBook
19
Published 2006
Table of Contents: ... Runs of Automata -- The Power of Linear Functions -- Logical Omniscience Via Proof Complexity...
View full text
Electronic eBook
20
Published 2008
Table of Contents: ... of the Tiling Problem -- Remote Entrusting by Run-Time Software Authentication -- Trusted Computing — Special...
View full text
Electronic eBook