1
von Levitin, Gregory., Levitin, Gregory.
Veröffentlicht 2005
Inhaltsangabe: ...-state Systems -- Universal Generating Function in Optimization of Series-Parallel Multi-state Systems...
Volltext
Elektronisch E-Book
2
Veröffentlicht 2007
Inhaltsangabe: ... -- Optimized Parallel Approach for 3D Modelling of Forest Fire Behaviour -- A High-Level Toolkit...
Volltext
Elektronisch E-Book
3
Veröffentlicht 2010
Inhaltsangabe: ...The 2010 International Symposium on Frontiers of Parallel and Distributed Computing (FPDC 2010...
Volltext
Elektronisch E-Book
4
von Applebaum, Benny., Applebaum, Benny.
Veröffentlicht 2014
Inhaltsangabe: ...Introduction -- Preliminaries and Definitions -- Randomized Encoding of Functions -- Cryptography...
Volltext
Elektronisch E-Book
5
Veröffentlicht 2013
Inhaltsangabe: ...Interleaving Innovization with Evolutionary Multi-Objective Optimization in Production System...
Volltext
Elektronisch E-Book
6
Veröffentlicht 2015
Inhaltsangabe: ... -- HyComp: An SMT-Based Model Checker for Hybrid Systems -- C2E2: A Verification Tool for Stateflow Models...
Volltext
Elektronisch E-Book
7
Veröffentlicht 2008
Inhaltsangabe: ...Keynotes -- Synthesizing FPGA Circuits from Parallel Programs -- From Silicon to Science: The Long...
Volltext
Elektronisch E-Book
8
Veröffentlicht 2010
Inhaltsangabe: ... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...
Volltext
Elektronisch E-Book
9
Veröffentlicht 2010
Inhaltsangabe: ... and Generalisation: Footprints in Instance Space -- Adaptive Drift Analysis -- Optimizing Monotone Functions Can...
Volltext
Elektronisch E-Book
10
Veröffentlicht 2008
Inhaltsangabe: ... -- A Tool for Optimizing Runtime Parameters of Open MPI -- MADRE: The Memory-Aware Data Redistribution...
Volltext
Elektronisch E-Book
11
Veröffentlicht 2005
Inhaltsangabe: ... Balancing and Computing Strategies in Pipeline Optimization for Parallel Visualization of 3D Irregular...
Volltext
Elektronisch E-Book
12
von Prodan, Radu., Prodan, Radu., Fahringer, Thomas.
Veröffentlicht 2007
Inhaltsangabe: ...The ZEN Experiment Specification Language -- ZENTURIO Experiment Management Tool -- Tool...
Volltext
Elektronisch E-Book
13
Veröffentlicht 2008
Inhaltsangabe: ... and Solving Approaches -- Employing “Particle Swarm Optimization” and “Fuzzy Ranking Functions” for Direct...
Volltext
Elektronisch E-Book
14
Veröffentlicht 2007
Inhaltsangabe: ... Measurements -- A Flexible General-Purpose Parallelizing Architecture for Nested Loops in Reconfigurable...
Volltext
Elektronisch E-Book
15
Veröffentlicht 2008
Inhaltsangabe: ... Differentiation -- Algorithmic Differentiation of Implicit Functions and Optimal Values -- Using Programming...
Volltext
Elektronisch E-Book
16
Veröffentlicht 2013
Inhaltsangabe: ..., by Madhusudan Raghavan -- Part 3 Robotic Systems -- 14. Time-optimal path planning for the general waiter motion...
Volltext
Elektronisch E-Book
17
Veröffentlicht 2012
Inhaltsangabe: ... -- Control-Based Clause Sharing in Parallel SAT Solving -- Learning Feature-Based Heuristic Functions....
Volltext
Elektronisch E-Book
18
Veröffentlicht 2010
Inhaltsangabe: ...Graphs of Grammars – Derivations as Parallel Processes -- MTTool Software Tool and Low Complexity...
Volltext
Elektronisch E-Book
19
Veröffentlicht 2008
Inhaltsangabe: ... Design -- Optimizing Automatic Deployment Using Non-functional Requirement Annotations -- Experiences...
Volltext
Elektronisch E-Book
20
Inhaltsangabe: ...Sets, Relations, Logic, Functions -- Algebraic Structures For Logic Design -- Functional...
Volltext
Elektronisch E-Book