1
Published 2008
Table of Contents: ... for Structural Testing of PVM Programs -- A Formal Approach to Detect Functionally Irrelevant Barriers in MPI...
View full text
Electronic eBook
2
Published 2005
Table of Contents: ... of Message Passing Parallel Programs on Grids -- MGF: A Grid-Enabled MPI Library with a Delegation Mechanism...
View full text
Electronic eBook
3
Published 2005
Table of Contents: ... Verification of Automotive Systems -- Functional Approaches to Design Description -- Wired: Wire-Aware Circuit...
View full text
Electronic eBook
4
Published 2006
Table of Contents: ... for Coordinating Data-Parallel Programs (Position Statement) -- Implementations of Square-Root and Exponential...
View full text
Electronic eBook