1
Table of Contents: ...-state Systems -- Universal Generating Function in Optimization of Series-Parallel Multi-state Systems...
View full text
Electronic eBook
2
Published 2007
Table of Contents: ... -- Optimized Parallel Approach for 3D Modelling of Forest Fire Behaviour -- A High-Level Toolkit...
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
Table of Contents: ...Introduction -- Preliminaries and Definitions -- Randomized Encoding of Functions -- Cryptography...
View full text
Electronic eBook
5
Published 2013
Table of Contents: ...Interleaving Innovization with Evolutionary Multi-Objective Optimization in Production System...
View full text
Electronic eBook
6
Published 2008
Table of Contents: ...Keynotes -- Synthesizing FPGA Circuits from Parallel Programs -- From Silicon to Science: The Long...
View full text
Electronic eBook
7
Published 2015
Table of Contents: ... -- HyComp: An SMT-Based Model Checker for Hybrid Systems -- C2E2: A Verification Tool for Stateflow Models...
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 2010
Table of Contents: ... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...
View full text
Electronic eBook
10
Published 2008
Table of Contents: ... -- A Tool for Optimizing Runtime Parameters of Open MPI -- MADRE: The Memory-Aware Data Redistribution...
View full text
Electronic eBook
11
Published 2005
Table of Contents: ... Balancing and Computing Strategies in Pipeline Optimization for Parallel Visualization of 3D Irregular...
View full text
Electronic eBook
12
Published 2008
Table of Contents: ... and Solving Approaches -- Employing “Particle Swarm Optimization” and “Fuzzy Ranking Functions” for Direct...
View full text
Electronic eBook
13
Published 2007
Table of Contents: ... Measurements -- A Flexible General-Purpose Parallelizing Architecture for Nested Loops in Reconfigurable...
View full text
Electronic eBook
14
Table of Contents: ...The ZEN Experiment Specification Language -- ZENTURIO Experiment Management Tool -- Tool...
View full text
Electronic eBook
15
Published 2013
Table of Contents: ..., by Madhusudan Raghavan -- Part 3 Robotic Systems -- 14. Time-optimal path planning for the general waiter motion...
View full text
Electronic eBook
16
Published 2008
Table of Contents: ... Differentiation -- Algorithmic Differentiation of Implicit Functions and Optimal Values -- Using Programming...
View full text
Electronic eBook
17
Table of Contents: ...Sets, Relations, Logic, Functions -- Algebraic Structures For Logic Design -- Functional...
View full text
Electronic eBook
18
Published 2012
Table of Contents: ... -- Control-Based Clause Sharing in Parallel SAT Solving -- Learning Feature-Based Heuristic Functions....
View full text
Electronic eBook
19
Published 2008
Table of Contents: ... Design -- Optimizing Automatic Deployment Using Non-functional Requirement Annotations -- Experiences...
View full text
Electronic eBook
20
Published 2010
Table of Contents: ...Graphs of Grammars – Derivations as Parallel Processes -- MTTool Software Tool and Low Complexity...
View full text
Electronic eBook