Insights into cloud autoscaling: a unique perspective through MDP and DTMC formal models
Cloud autoscaling is an important mechanism to dynamically manage cloud system resources with uncertain workload demands. The common goal in developing such a mechanism is to produce correct-by-design scaling policies that contribute to a reliable autoscaling component. A promising approach is forma...
Published in: | Journal of Supercomputing |
---|---|
Main Author: | Agos Jawaddi S.N.; Ismail A.; Mohammad Hatta M.N.H.; Kamarulzaman A.F. |
Format: | Article |
Language: | English |
Published: |
Springer
2024
|
Online Access: | https://www.scopus.com/inward/record.uri?eid=2-s2.0-85171969551&doi=10.1007%2fs11227-023-05665-7&partnerID=40&md5=49a8d6792c79839a568415b56997650d |
Similar Items
-
A review of microservices autoscaling with formal verification perspective
by: Jawaddi S.N.A.; Johari M.H.; Ismail A.
Published: (2022) -
Integrating OpenAI Gym and CloudSim Plus: A simulation environment for DRL Agent training in energy-driven cloud scaling
by: Jawaddi, et al.
Published: (2024) -
Enhancing energy efficiency in cloud scaling: A DRL-based approach incorporating cooling power
by: Agos Jawaddi S.N.; Ismail A.; Shafian S.
Published: (2023) -
Enhancing energy efficiency in cloud scaling: A DRL-based approach incorporating cooling power
by: Jawaddi, et al.
Published: (2023) -
Energy efficient task scheduling based on deep reinforcement learning in cloud environment: A specialized review
by: Hou H.; Agos Jawaddi S.N.; Ismail A.
Published: (2024)