Separation logic and concurrent resource management.

Peter W. O'Hearn

Published in: ISMM (2007)

Keyphrases

resource management
resource allocation
management system
resource utilization
quality of service
computing resources
grid computing
intelligent agents
power control
resource usage
resource manager
artificial intelligence
natural resources
response time
fuzzy logic
cooperative
real time