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