A model-based approach for formal verification and performance analysis of dynamic load-balancing protocols in cloud environment
Published 2021 View Full Article
- Home
- Publications
- Publication Search
- Publication Details
Title
A model-based approach for formal verification and performance analysis of dynamic load-balancing protocols in cloud environment
Authors
Keywords
-
Journal
Cluster Computing-The Journal of Networks Software Tools and Applications
Volume -, Issue -, Pages -
Publisher
Springer Science and Business Media LLC
Online
2021-05-29
DOI
10.1007/s10586-021-03305-4
References
Ask authors/readers for more resources
Related references
Note: Only part of the references are listed.- An efficient load balancing system using adaptive dragonfly algorithm in cloud computing
- (2020) P. Neelima et al. Cluster Computing-The Journal of Networks Software Tools and Applications
- Towards decomposition based multi-objective workflow scheduling for big data processing in clouds
- (2020) Emmanuel Bugingo et al. Cluster Computing
- Analysis of load balancing in cloud data centers
- (2019) Sweekriti M. Shetty et al. Journal of Ambient Intelligence and Humanized Computing
- Dynamic provisioning of resources based on load balancing and service broker policy in cloud computing
- (2019) Amrita Jyoti et al. Cluster Computing-The Journal of Networks Software Tools and Applications
- A hybrid formal verification approach for QoS-aware multi-cloud service composition
- (2019) Alireza Souri et al. Cluster Computing-The Journal of Networks Software Tools and Applications
- An improved formalization analysis approach to determine schedulability of global multiprocessor scheduling based on symbolic safety analysis and statistical model checking in smartphone systems
- (2018) Haibin Cai et al. Cluster Computing-The Journal of Networks Software Tools and Applications
- A symmetric cryptographic scheme for data integrity verification in cloud databases
- (2018) Luca Ferretti et al. INFORMATION SCIENCES
- Adaptive Dispatching of Tasks in the Cloud
- (2018) Lan Wang et al. IEEE Transactions on Cloud Computing
- A cloud server energy consumption measurement system for heterogeneous cloud environments
- (2018) Weiwei Lin et al. INFORMATION SCIENCES
- Exploiting CloudSim in a multiformalism modeling approach for cloud based systems
- (2018) Enrico Barbierato et al. SIMULATION MODELLING PRACTICE AND THEORY
- Task scheduling techniques in cloud computing: A literature survey
- (2018) AR. Arunarani et al. Future Generation Computer Systems-The International Journal of eScience
- Towards Long-View Computing Load Balancing in Cluster Storage Systems
- (2017) Guoxin Liu et al. IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS
- Multi-resource scheduling and power simulation for cloud computing
- (2017) Weiwei Lin et al. INFORMATION SCIENCES
- A taxonomic survey on load balancing in cloud
- (2017) Avnish Thakur et al. JOURNAL OF NETWORK AND COMPUTER APPLICATIONS
- Load-balancing algorithms in cloud computing: A survey
- (2017) Einollah Jafarnejad Ghomi et al. JOURNAL OF NETWORK AND COMPUTER APPLICATIONS
- Statistical model checking QoS properties of systems with SBIP
- (2014) Ayoub Nouri et al. International Journal on Software Tools for Technology Transfer
- Rigorous Component-Based System Design Using the BIP Framework
- (2011) Ananda Basu et al. IEEE SOFTWARE
- Building Distributed Controllers for Systems with Priorities
- (2010) Imene Ben-Hafaiedh et al. JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING
- The Algebra of Connectors—Structuring Interaction in BIP
- (2008) Simon Bliudze et al. IEEE TRANSACTIONS ON COMPUTERS
Discover Peeref hubs
Discuss science. Find collaborators. Network.
Join a conversationPublish scientific posters with Peeref
Peeref publishes scientific posters from all research disciplines. Our Diamond Open Access policy means free access to content and no publication fees for authors.
Learn More