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