Detecting MPI Zero Buffer Incompatibility by SMT Encoding.

Yu Huang Eric Mercer

Published in: NFM (2015)

Keyphrases

message passing
parallel implementation
general purpose
parallel algorithm
automatic detection
high performance computing
natural language processing
encoding scheme
statistical machine translation
fractal image compression
virtual memory
buffer size