1
Опубликовано 2006
Оглавление: ... -- Symbolic Analysis of Imperative Programming Languages -- Array-Structured Object Types for Mathematical...
Полный текст
Электронный ресурс eКнига
2
Опубликовано 2006
Оглавление: ... and Pipelined Assembly Code -- Applying Data Copy to Improve Memory Performance of General Array Computations...
Полный текст
Электронный ресурс eКнига
3
Опубликовано 2005
Оглавление: ... for Concurrent Java Programs -- Efficient Computation of Communicator Variables for Programs with Unstructured...
Полный текст
Электронный ресурс eКнига
4
Опубликовано 2005
Оглавление: ... Performance Computing -- A New Approach to Programming and Prototyping Parallel Systems -- The Changing...
Полный текст
Электронный ресурс eКнига
5
Опубликовано 2006
Оглавление: ... Rendering -- Architectures -- Controller Synthesis for Mapping Partitioned Programs on Array Architectures...
Полный текст
Электронный ресурс eКнига
6
Опубликовано 2005
Оглавление: ... Multiple Operation Array -- RAPANUI: Rapid Prototyping for Media Processor Architecture Exploration -- Data...
Полный текст
Электронный ресурс eКнига
7
Опубликовано 2007
Оглавление: ... Network on Chip -- System Modeling and Simulation -- Communication Architecture Simulation on the Virtual...
Полный текст
Электронный ресурс eКнига
8
Опубликовано 2010
Оглавление: ... of Causality Requirements in Java Memory Model Is Undecidable -- A Team Object for CoArray Fortran...
Полный текст
Электронный ресурс eКнига
9
Опубликовано 2008
Оглавление: ... Architecture -- Code Arrangement of Embedded Java Virtual Machine for NAND Flash Memory -- Aggressive Function...
Полный текст
Электронный ресурс eКнига
10
Опубликовано 2008
Оглавление: ... Systems -- Preservation of Proof Obligations from Java to the Java Virtual Machine -- Efficient Well...
Полный текст
Электронный ресурс eКнига