1
Publicado em 2005
Sumário: ... on the InfiniBand-Based Distributed Virtual Shared Memory System -- Fast and Scalable Startup of MPI Programs...
Obter o texto integral
Recurso Electrónico livro electrónico
2
Publicado em 2014
Sumário: ...Classifying and Solving Horn Clauses for Verification -- Static Analysis of Programs with Imprecise...
Obter o texto integral
Recurso Electrónico livro electrónico