Efficient race detection for message-passing programs with nonblocking sends and receives.

Robert Cypher Eric Leu

Published in: SPDP (1995)

Keyphrases

message passing
belief propagation
distributed systems
probabilistic inference
shared memory
factor graphs
markov random field
approximate inference
high quality
object recognition
np hard
first order logic
sum product
distributed shared memory