Trace-Based Run-time Analysis of Message-Passing Go Programs.

Martin Sulzmann Kai Stadtmüller

Published in: CoRR (2017)

Keyphrases

message passing
belief propagation
probabilistic inference
three dimensional
markov random field
graphical models
distributed systems