A Type Discipline for Message Passing Parallel Programs.
Vasco T. VasconcelosFrancisco MartinsHugo-Andrés LópezNobuko YoshidaPublished in: ACM Trans. Program. Lang. Syst. (2022)
Keyphrases
- message passing
- shared memory
- belief propagation
- distributed shared memory
- message passing interface
- distributed systems
- probabilistic inference
- approximate inference
- markov random field
- sum product algorithm
- factor graphs
- distributed memory
- inference in graphical models
- parallel computing
- graphical models
- sum product
- parallel processing
- parallel architectures
- parallel algorithm
- loopy belief propagation
- pairwise
- preprocessing
- multithreading
- matrix multiplication
- ldpc codes
- bayesian networks
- image segmentation