Permission-Based Separation Logic for Message-Passing Concurrency
Adrian FrancalanzaJulian RathkeVladimiro SassonePublished in: Log. Methods Comput. Sci. (2011)
Keyphrases
- message passing
- belief propagation
- shared memory
- distributed systems
- inference in graphical models
- markov random field
- probabilistic inference
- sum product algorithm
- factor graphs
- distributed shared memory
- graphical models
- access control
- ldpc codes
- sum product
- stereo matching
- higher order
- matrix multiplication
- high quality
- lp relaxation
- image matching
- energy function
- logic programming