Correctly Implementing Synchronous Message Passing in the Pi-Calculus By Concurrent Haskell's MVars.
Manfred Schmidt-SchaußDavid SabelPublished in: EXPRESS/SOS (2020)
Keyphrases
- message passing
- belief propagation
- distributed systems
- programming language
- probabilistic inference
- shared memory
- factor graphs
- markov random field
- inference in graphical models
- sum product algorithm
- functional programming
- approximate inference
- distributed shared memory
- sum product
- graph cuts
- graphical models
- junction tree
- three dimensional
- higher order
- high quality
- image sequences