Formally Verified Scalable Look Ahead Planning For Cloud Resource Management.

Farzin Zaker Marin Litoiu Mark Shtern

Published in: ACM Trans. Auton. Adapt. Syst. (2022)

Keyphrases

resource management
resource allocation
management system
quality of service
computing resources
resource utilization
power control
grid computing
cloud computing
resource usage
grid systems
intelligent agents
admission control
resource manager
natural resources
channel assignment