heimdallr: Improving Compile Time Correctness Checking for Message Passing with Rust.
Michael BleselMichael KuhnJannek SquarPublished in: ISC Workshops (2021)
Keyphrases
- message passing
- belief propagation
- distributed systems
- probabilistic inference
- inference in graphical models
- approximate inference
- shared memory
- factor graphs
- integrity constraints
- markov random field
- matrix multiplication
- sum product algorithm
- distributed shared memory
- influence diagrams
- junction tree
- ldpc codes
- computer vision
- linear programming
- graph cuts
- graphical models
- three dimensional