Scholarlink

<p>Load balancing plays a crucial role in distributed and cloud computing by evenly distributing workloads across multiple servers or network resources, ensuring optimal performance and resource utilization. It improves system reliability, fault tolerance, and response time by preventing overloading and rerouting tasks from failed or underperforming resources. This paper explores advanced load balancing techniques, focusing on machine learning integration for better handling of imbalanced data and task distribution. We introduce an Effective Probabilistic Neural Network (EPNN) model that selects the best cluster for load distribution. Complementing this, we propose a Round Robin Assigning Algorithm (RRAA) for task allocation and a Data Discovery Algorithm (DDA) for identifying optimal nodes or clusters. The EPNN model’s accuracy is verified through formal modeling using the Event-B tool, ensuring the correctness of the algorithm via automated and manual proof generation. This research aims to optimize load balancing in neural network environments, offering the highest probability algorithm for efficient resource management.</p>

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

Formal modelling and verification of effective probabilistic neural networks for load balancing in a cloud environment

  • 期刊论文

  • 出版模式：

    开放获取

  • 发表日期：

    2025年10月15日

查看全文
  • Shantanu Shukla,
  • Vibhash Yadav

摘要

Load balancing plays a crucial role in distributed and cloud computing by evenly distributing workloads across multiple servers or network resources, ensuring optimal performance and resource utilization. It improves system reliability, fault tolerance, and response time by preventing overloading and rerouting tasks from failed or underperforming resources. This paper explores advanced load balancing techniques, focusing on machine learning integration for better handling of imbalanced data and task distribution. We introduce an Effective Probabilistic Neural Network (EPNN) model that selects the best cluster for load distribution. Complementing this, we propose a Round Robin Assigning Algorithm (RRAA) for task allocation and a Data Discovery Algorithm (DDA) for identifying optimal nodes or clusters. The EPNN model’s accuracy is verified through formal modeling using the Event-B tool, ensuring the correctness of the algorithm via automated and manual proof generation. This research aims to optimize load balancing in neural network environments, offering the highest probability algorithm for efficient resource management.