1
Published 2013
Table of Contents: ... in Programming Languages Based on Virtual Execution Machines -- Modular Bialgebraic Semantics and Algebraic Laws...
View full text
Electronic eBook
2
Published 2006
Table of Contents: ... and Pipelined Assembly Code -- Applying Data Copy to Improve Memory Performance of General Array Computations...
View full text
Electronic eBook
3
Published 2010
Table of Contents: ... -- Generic Systolic Array for Run-Time Scalable Cores -- Virtualization within a Parallel Array...
View full text
Electronic eBook
4
Published 2010
Table of Contents: ... Augmented Lagrangian Method for Computationally Fast Constrained Optimization -- Evolutionary Programming...
View full text
Electronic eBook
5
Published 2010
Table of Contents: ... Texture and Shape -- Constraints on Haptic Short-Term Memory -- Virtual Reality -- Design and Development...
View full text
Electronic eBook
6
Published 2005
Table of Contents: ... for Dynamic Virtual Organizations -- Heterogeneity of Computing Nodes for Grid Computing -- Effective Job...
View full text
Electronic eBook
7
Table of Contents: ... Your Java Virtual Machine: Finding Your Ideal JVM Settings Through Metrics Log Analysis...
View full text
Electronic eBook
8
Published 2014
Table of Contents: ...Classifying and Solving Horn Clauses for Verification -- Static Analysis of Programs with Imprecise...
View full text
Electronic eBook
9
Published 2005
Table of Contents: ... Performance Computing -- A New Approach to Programming and Prototyping Parallel Systems -- The Changing...
View full text
Electronic eBook
10
Published 2010
Table of Contents: ... Interactive Evolution -- Jive: A Generative, Interactive, Virtual, Evolutionary Music System -- A Neural...
View full text
Electronic eBook
11
Published 2008
Table of Contents: ... Procedures -- Session 2: Specific Theories -- Proving Bounds on Real-Valued Functions with Computations...
View full text
Electronic eBook
12
Published 2010
Table of Contents: ... Tolerant Virtual Organization File System for Grids -- The Fourth Workshop on Large Scale Computations...
View full text
Electronic eBook
13
Published 2006
Table of Contents: ... Reconfigurable Gate Array VLSI -- PISC: Polymorphic Instruction Set Computers -- Networks and Communication...
View full text
Electronic eBook
14
Published 2010
Table of Contents: ... for Visual Computing -- Architectural Support for Concurrency -- Remote Store Programming -- Low-Overhead...
View full text
Electronic eBook
15
Published 2008
Table of Contents: ...Invited Program -- Supercomputing for the Future, Supercomputing from the Past (Keynote) -- I...
View full text
Electronic eBook
16
Published 2005
Table of Contents: ... Generation for ASIP Programming Support -- Sandbridge Software Tools -- Architectures and Implementations...
View full text
Electronic eBook
17
Published 2007
Table of Contents: ... Network on Chip -- System Modeling and Simulation -- Communication Architecture Simulation on the Virtual...
View full text
Electronic eBook
18
Published 2013
Table of Contents: ... System Based on Virtual Reality Technology -- Super Sparse Projection Reconstruction of Computed...
View full text
Electronic eBook
19
Published 2015
Table of Contents: ... -- Obtaining agents and entities from natural language -- A New Methodology based on Cloud Computing...
View full text
Electronic eBook
20
Published 2010
Table of Contents: ... Discovery in Cellular Automata -- Constraint Programming to Solve Maximal Density Still Life -- Asynchronous...
View full text
Electronic eBook