Efficient Verification of Halting Properties for MPI Programs with Wildcard Receives.

Stephen F. Siegel

Published in: VMCAI (2005)

Keyphrases

pattern matching
databases
neural network
general purpose
real time
query processing
lightweight
message passing
parallel computing
high performance computing
signature verification