Login / Signup
Bounded phase analysis of message-passing programs.
Ahmed Bouajjani
Michael Emmi
Published in:
Int. J. Softw. Tools Technol. Transf. (2014)
Keyphrases
</>
message passing
belief propagation
distributed systems
probabilistic inference
three dimensional
multi view
particle filter
factor graphs
ldpc codes
distributed shared memory