Efficient Verification Solutions for Message Passing Systems.

Subodh Sharma Ganesh Gopalakrishnan

Published in: IPDPS Workshops (2011)

Keyphrases

message passing
distributed systems
belief propagation
probabilistic inference
approximate inference
shared memory
distributed shared memory
markov random field
graphical models
inference in graphical models
conditional random fields
sum product algorithm