1
Published 2005
Table of Contents: ... on the InfiniBand-Based Distributed Virtual Shared Memory System -- Fast and Scalable Startup of MPI Programs...
View full text
Electronic eBook
2
Published 2014
Table of Contents: ...Classifying and Solving Horn Clauses for Verification -- Static Analysis of Programs with Imprecise...
View full text
Electronic eBook