Formal specification of basic mechanisms of a message passing kernel.
Janusz GórskiHenryk J. NapiatekPublished in: Microprocess. Microprogramming (1987)
Keyphrases
- message passing
- formal specification
- belief propagation
- model checking
- specification languages
- object oriented design
- distributed systems
- factor graphs
- shared memory
- process algebra
- formal methods
- distributed shared memory
- reverse engineering
- inference in graphical models
- probabilistic inference
- approximate inference
- sum product algorithm
- junction tree
- markov random field
- concurrent systems
- protocol specification
- sum product
- temporal logic
- building blocks
- graphical models
- loopy belief propagation
- pairwise
- image processing
- machine learning