The MPI/SX Collectives Verification Library.

Jesper Larsson Träff Joachim Worringen

Published in: PARCO (2005)

Keyphrases

message passing
model checking
parallel algorithm
collective intelligence
shared memory
signature verification
verification method
message passing interface
concurrent systems
machine learning
parallel implementation
artificial intelligence
high performance computing
parallel programming
parallelization strategy