Uniqueness Typing for Resource Management in Message-Passing Concurrency

Edsko de Vries Adrian Francalanza Matthew Hennessy

Published 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