Login / Signup
A mechanized semantics for C++ object construction and destruction, with applications to resource management.
Tahina Ramananandro
Gabriel Dos Reis
Xavier Leroy
Published in:
POPL (2012)
Keyphrases
</>
resource management
management system
resource allocation
computing resources
quality of service
grid computing
power control
resource usage
intelligent agents
peer to peer
resource manager
data objects
natural resources
admission control
real time
end to end
databases