Efficient Reachability Testing of Asynchronous Message-Passing Programs.

Yu Lei Kuo-Chung Tai

Published in: ICECCS (2002)

Keyphrases

message passing
belief propagation
probabilistic inference
distributed systems
shared memory
graphical models
approximate inference
factor graphs
state space
distributed shared memory
inference in graphical models
image processing
three dimensional
markov random field
markov chain
sum product algorithm