Transaction Flows and Executable Models: Formalization and Analysis of Message passing Protocols.

Murali Talupur Sandip Ray John Erickson

Published in: FMCAD (2015)

Keyphrases

message passing
belief propagation
inference in graphical models
markov random field
distributed systems
shared memory
factor graphs
high quality
dynamic programming
model selection
probabilistic inference
approximate inference
matrix multiplication
distributed shared memory