Bounded Phase Analysis of Message-Passing Programs.

Ahmed Bouajjani Michael Emmi

Published in: TACAS (2012)

Keyphrases

message passing
belief propagation
distributed systems
approximate inference
factor graphs
preprocessing
post processing
ldpc codes