1
Published 2010
Table of Contents: ... for Tera-Scale Multi-core Microprocessors -- Process Variability and Degradation: New Frontier...
View full text
Electronic eBook
2
Published 2015
Table of Contents: ... of Dynamic Process Networks -- MULTIGAIN: A Controller Synthesis Tool for MDPs with Multiple Mean-Payoff...
View full text
Electronic eBook
3
Published 2007
Table of Contents: ... for Executing Scenario-Based Programs, -- motor:The modest Tool Environment -- Syntactic Optimizations for PSL...
View full text
Electronic eBook
4
Published 2015
Table of Contents: ... Tools Infrastructures -- Low-Overhead Detection of Memory Access Patterns and Their Time Evolution...
View full text
Electronic eBook
5
Published 2013
Table of Contents: ... Based on Popular Data Backup for RAID4 SSD Arrays -- Load and Thermal-aware VM Scheduling on the Cloud...
View full text
Electronic eBook
6
Published 2013
Table of Contents: ... Based on Popular Data Backup for RAID4 SSD Arrays -- Load and Thermal-aware VM Scheduling on the Cloud...
View full text
Electronic eBook
7
Published 2010
Table of Contents: ...) Integration Technology -- Mixed Signal Techniques -- Programming and Simulation Tools Managing Editor: Rainer...
View full text
Electronic eBook
8
Published 2008
Table of Contents: ... and the OpenMP Performance -- Exploiting Loop-Level Parallelism for SIMD Arrays Using OpenMP -- OpenMP Extensions...
View full text
Electronic eBook
9
Table of Contents: ... Processes -- C Markov Chains, Martingales and Ergodic Processes -- D Markov Decision Theory and Optimality...
View full text
Electronic eBook
10
Published 2013
Table of Contents: ... Programming Model for Heterogeneous Systems -- Compiler Optimizations for Industrial Unstructured Mesh CFD...
View full text
Electronic eBook
11
Published 2015
Table of Contents: .... Higher Order Hybrid Invexity Frameworks and Discrete Multiobjective Fractional Programming Problems...
View full text
Electronic eBook
12
Published 2015
Table of Contents: ... Colony Algorithm Guided by Lévy Flights Disturbance Strategy for Global Optimization -- Modeling...
View full text
Electronic eBook
13
Published 2015
Table of Contents: ...BORM-II and UML as accessibility process in knowledge and business modelling -- Planning-Context...
View full text
Electronic eBook
14
Published 2005
Table of Contents: ... of an Evolutionary Tool for Antenna Array Synthesis -- EvoIASP Contributions -- A Coevolutionary Approach...
View full text
Electronic eBook
15
Published 2013
Table of Contents: ... Neural Network Classifier -- Optimization Path Programming Using Improved Multi-Group Ant Colony...
View full text
Electronic eBook
16
Published 2014
Table of Contents: ... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...
View full text
Electronic eBook
17
Published 2006
Table of Contents: ... Approach -- Performance Tools for Parallel Programming -- High-Performance Parallel I/O -- Hybrid MPI...
View full text
Electronic eBook
18
Published 2006
Table of Contents: ... Programming System -- optsat: A Tool for Solving SAT Related Optimization Problems -- Automated Reasoning...
View full text
Electronic eBook
19
Table of Contents: ...1. Introduction to computing with Python -- 2. Vectors, matrices and multidimensional arrays -- 3...
View full text
Electronic eBook
20
Published 2014
Table of Contents: ...Using the SSA-Form in a Code Generator -- Program Analysis and Optimization Parameterized...
View full text
Electronic eBook