Login / Signup
Order types: static reasoning about message races in asynchronous message passing concurrency.
Mehdi Bagherzadeh
Hridesh Rajan
Published in:
AGERE!@SPLASH (2017)
Keyphrases
</>
message passing
belief propagation
markov random field
inference in graphical models
three dimensional
graphical models
approximate inference
factor graphs
sum product algorithm