1
Publicado 2006
Tabla de Contenidos: ... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...
Enlace del recurso
Electrónico eBook
2
Publicado 2005
Tabla de Contenidos: ... for Concurrent Java Programs -- Efficient Computation of Communicator Variables for Programs with Unstructured...
Enlace del recurso
Electrónico eBook
3
Publicado 2005
Tabla de Contenidos: ... for Dynamic Virtual Organizations -- Heterogeneity of Computing Nodes for Grid Computing -- Effective Job...
Enlace del recurso
Electrónico eBook
4
Publicado 2006
Tabla de Contenidos: ... -- Symbolic Analysis of Imperative Programming Languages -- Array-Structured Object Types for Mathematical...
Enlace del recurso
Electrónico eBook
5
Publicado 2005
Tabla de Contenidos: ... Performance Computing -- A New Approach to Programming and Prototyping Parallel Systems -- The Changing...
Enlace del recurso
Electrónico eBook
6
Publicado 2006
Tabla de Contenidos: ... Rendering -- Architectures -- Controller Synthesis for Mapping Partitioned Programs on Array Architectures...
Enlace del recurso
Electrónico eBook
7
Publicado 2005
Tabla de Contenidos: ... Multiple Operation Array -- RAPANUI: Rapid Prototyping for Media Processor Architecture Exploration -- Data...
Enlace del recurso
Electrónico eBook
8
Publicado 2007
Tabla de Contenidos: ... Network on Chip -- System Modeling and Simulation -- Communication Architecture Simulation on the Virtual...
Enlace del recurso
Electrónico eBook
9
Publicado 2006
Tabla de Contenidos: ... Implementation -- Scalable Parallel Suffix Array Construction -- Formal Verification of Programs That Use MPI One...
Enlace del recurso
Electrónico eBook
10
Tabla de Contenidos: ... Your Java Virtual Machine: Finding Your Ideal JVM Settings Through Metrics Log Analysis...
Enlace del recurso
Electrónico eBook
11
Publicado 2008
Tabla de Contenidos: ... Architecture -- Code Arrangement of Embedded Java Virtual Machine for NAND Flash Memory -- Aggressive Function...
Enlace del recurso
Electrónico eBook
12
Publicado 2010
Tabla de Contenidos: ... of Causality Requirements in Java Memory Model Is Undecidable -- A Team Object for CoArray Fortran...
Enlace del recurso
Electrónico eBook
13
Publicado 2008
Tabla de Contenidos: ... Systems -- Preservation of Proof Obligations from Java to the Java Virtual Machine -- Efficient Well...
Enlace del recurso
Electrónico eBook