Hybrid reliable load balancing with MOSIX as middleware and its formal verification using process algebra-Reference-Cited by-同舟云学术

Hybrid reliable load balancing with MOSIX as middleware and its formal verification using process algebra

Published:2011-05 Issue:5 Volume:27 Page:506-526
ISSN:0167-739X
Container-title:Future Generation Computer Systems
language:en
Short-container-title:Future Generation Computer Systems

Author:

Mishra Shakti,Kushwaha D.S.,Misra A.K.

Publisher

Elsevier BV

Subject

Computer Networks and Communications,Hardware and Architecture,Software

Reference67 articles.

1. Process migration;Millojicic;ACM Computing Surveys,2000

2. Calculus for Communicating System;Milner,1980

3. H. Liang, M. Faner, H. Ming, A dynamic load balancing system based on data migration, in: 8th IEEE International Conference on CSCW in Design Proceedings, 2003.

4. C. Hagen, G. Alonso, Backup and process migration mechanism in process support systems, Technical Report No. 304, ETH Zurich, Institute of Information Systems, August 1998.

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Task Scheduling Algorithm for Hierarchical Hybrid Semi-Distributed System for Balancing Load;2023 International Conference on Integration of Computational Intelligent System (ICICIS);2023-11-01

2. A dynamic file replication based on CPU load and consistency mechanism in a trusted distributed environment;Tehnicki vjesnik - Technical Gazette;2017-02

3. Load Balancing and Job Migration Techniques in Grid: A Survey of Recent Trends;Wireless Personal Communications;2014-08-20

4. Model checking grid security;Future Generation Computer Systems;2013-03

5. A safety-focused verification using software fault trees;Future Generation Computer Systems;2012-10