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