A Verification Methodology for Infinite-State Message Passing Systems.

Christoph Sprenger Krzysztof Worytkiewicz

Published in: MEMOCODE (2003)

Keyphrases

message passing
distributed systems
distributed shared memory
belief propagation
approximate inference
markov random field
probabilistic inference
shared memory
factor graphs
image processing
ldpc codes