Resource Bound Certification for a Tail-Recursive Virtual Machine.
Silvano Dal-ZilioRégis GasconPublished in: APLAS (2005)
Keyphrases
- virtual machine
- cloud computing environment
- operating system
- data center
- distributed computing
- computing resources
- upper bound
- lower bound
- worst case
- resource allocation
- resource management
- virtual memory
- low latency
- cloud computing
- third party
- resource sharing
- data sets
- resource constraints
- database systems
- grid computing
- database
- multi tasking