Uniqueness Typing for Resource Management in Message-Passing Concurrency
Edsko de VriesAdrian FrancalanzaMatthew HennessyPublished in: LINEARITY (2009)
Keyphrases
- message passing
- resource management
- belief propagation
- management system
- resource allocation
- computing resources
- distributed systems
- factor graphs
- probabilistic inference
- shared memory
- graphical models
- quality of service
- database systems
- grid computing
- intelligent agents
- resource utilization
- resource usage
- inference in graphical models
- markov random field
- graph cuts
- approximate inference
- sum product
- distributed shared memory
- expert systems
- optimal solution
- artificial intelligence