1
Published 2006
Table of Contents: ... Advantages of Partitioned Global Address Space Languages -- Tutorials -- Using MPI-2: A Problem-Based...
View full text
Electronic eBook
2
Published 2007
Table of Contents: ... -- Session VI: Shapes -- Shape Analysis for Composite Data Structures -- Array Abstractions from Proofs...
View full text
Electronic eBook