Parallel Composition of Assumption-Commitment Specifications: A Unifying Approach for Shared Variable and Distributed Message Passing Concurrency.
Antonio CauPierre CollettePublished in: Acta Informatica (1996)
Keyphrases
- message passing
- distributed shared memory
- distributed systems
- shared memory
- message passing interface
- belief propagation
- interconnection networks
- probabilistic inference
- parallel execution
- markov random field
- sum product algorithm
- inference in graphical models
- factor graphs
- parallel programming
- parallel processing
- ldpc codes
- high resolution
- distributed memory
- concurrency control
- graphical models
- junction tree
- sum product
- parallel computing
- computing environments
- higher order
- pairwise