1
Published 2006
Table of Contents: ... Versions -- Efficient Computation of May-Happen-in-Parallel Information for Concurrent Java Programs...
View full text
Electronic eBook
2
Published 2005
Table of Contents: ... Programs -- The Use of Traces for Inlining in Java Programs -- A Practical MHP Information Analysis...
View full text
Electronic eBook
3
Published 2006
Table of Contents: ... Rendering -- Architectures -- Controller Synthesis for Mapping Partitioned Programs on Array Architectures...
View full text
Electronic eBook
4
Published 2005
Table of Contents: ... Production on the Grid -- High Throughput Computing for Spatial Information Processing (HIT-SIP) System...
View full text
Electronic eBook
5
Published 2005
Table of Contents: ... Applications -- A Case for Visualization-Integrated System-Level Design Space Exploration -- Mixed Virtual/Real...
View full text
Electronic eBook
6
Published 2010
Table of Contents: ... of Causality Requirements in Java Memory Model Is Undecidable -- A Team Object for CoArray Fortran...
View full text
Electronic eBook