Computing Race Variants in Message-Passing Concurrent Programming with Selective Receives.
Germán VidalPublished in: FORTE (2022)
Keyphrases
- message passing
- concurrent programming
- belief propagation
- probabilistic inference
- distributed systems
- inference in graphical models
- shared memory
- markov random field
- distributed shared memory
- factor graphs
- graphical models
- approximate inference
- sum product algorithm
- sum product
- programming language
- relational databases
- software engineering
- general purpose
- loopy belief propagation
- stereo matching
- bayesian networks
- max product
- computer vision