Actor Services - Modular Verification of Message Passing Programs.

Alexander J. Summers Peter Müller

Published in: ESOP (2016)

Keyphrases

message passing
belief propagation
probabilistic inference
factor graphs
distributed systems
shared memory
markov random field
approximate inference
sum product
inference in graphical models
graphical models
sum product algorithm
distributed shared memory
graph cuts
computer vision