Uniqueness typing for resource management in message-passing concurrency.
Edsko de VriesAdrian FrancalanzaMatthew HennessyPublished in: J. Log. Comput. (2014)
Keyphrases
- resource management
- message passing
- belief propagation
- resource allocation
- distributed systems
- management system
- computing resources
- grid computing
- probabilistic inference
- factor graphs
- sum product algorithm
- database systems
- resource utilization
- quality of service
- inference in graphical models
- shared memory
- intelligent agents
- graphical models
- distributed shared memory
- approximate inference
- resource usage
- markov random field
- machine learning
- end to end
- reinforcement learning
- computer vision