Computing Race Variants in Message-Passing Concurrent Programming with Selective Receives.
Germán VidalPublished in: CoRR (2022)
Keyphrases
- message passing
- concurrent programming
- belief propagation
- distributed systems
- probabilistic inference
- factor graphs
- approximate inference
- programming language
- shared memory
- inference in graphical models
- sum product
- sum product algorithm
- distributed shared memory
- markov random field
- graphical models
- query language
- three dimensional