1
Published 2008
Table of Contents: ... Parallelization in HPF Programs on the Earth Simulator -- Sampling of Protein Conformations with Computers...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ...-Performance of Multi-core Processors -- Internet-Based Virtual Computing Environment -- Session 1...
View full text
Electronic eBook
3
Published 2007
Table of Contents: ... and Consensus -- A Functional Programming System SFP: Sisal 3.1 Language Structures Decomposition -- Towards a...
View full text
Electronic eBook
4
Published 2015
Table of Contents: ...Part I Introduction -- Programming Interfaces for the TPM -- Part II Application-Use cases...
View full text
Electronic eBook
5
Published 2005
Table of Contents: ... for Hybrid Systems -- Infinity Norms as Lyapunov Functions for Model Predictive Control of Constrained PWA...
View full text
Electronic eBook
6
Published 2008
Table of Contents: ... -- Algebraic Identification of MIMO SARX Models -- Contract-Based Design for Computation and Verification of a...
View full text
Electronic eBook
7
Published 2008
Table of Contents: ... in General-Purpose Computations on Current Graphics Processors -- Optimised Computational Functional Imaging...
View full text
Electronic eBook
8
Published 2006
Table of Contents: ...: Distributed Computing and Algorithms I -- Programmer-Centric Conditions for Itanium Memory Consistency -- A...
View full text
Electronic eBook
9
Published 2006
Table of Contents: ... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ... on the Cyclops-64 Many-Core Processor -- Mapping Streaming Languages to General Purpose Processors through...
View full text
Electronic eBook
11
Published 2006
Table of Contents: ... -- Scientific Computing Applications on the Imagine Stream Processor -- Enhancing Last-Level Cache Performance...
View full text
Electronic eBook
12
Published 2007
Table of Contents: ... Processor Architecture Using Asynchronous Function Units -- A Bypass Mechanism to Enhance Branch Predictor...
View full text
Electronic eBook
13
Published 2012
Table of Contents: ... Algorithms of Computational -- Geometry Blending Functions for Hermite Interpolation by Beta-Function B...
View full text
Electronic eBook
14
Published 2005
Table of Contents: ... in the Network Computing Environments -- A Formal Model for Network Processor Workload -- Coping with Data...
View full text
Electronic eBook
15
Published 2010
Table of Contents: ...Keynotes (Abstracts) -- High-Performance Energy-Efficient Reconfigurable Accelerators/Co-processors...
View full text
Electronic eBook
16
Published 2005
Table of Contents: ... Computing Environment -- GOP: A Graph-Oriented Programming Model for Parallel and Distributed Systems...
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 2007
Table of Contents: ...Power Aware Computing -- Real-Time Loop Scheduling with Energy Optimization Via DVS and ABB...
View full text
Electronic eBook
19
Published 2005
Table of Contents: ... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...
View full text
Electronic eBook
20
Published 2012
Table of Contents: ...-core Processors --  Assessing Software Interference Management When Modifying Safety-Related Software...
View full text
Electronic eBook