Robust partitioning policies of multiprocessor systems
Performance Evaluation - Special issue: performance modeling of parallel processing systems
Load balancing with network partitioning using host groups
Parallel Computing
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
Heuristics to verify LTL properties of hierarchical systems
VECoS'08 Proceedings of the Second international conference on Verification and Evaluation of Computer and Communication Systems
Hi-index | 0.00 |
A big challenge in designing a distributed application is the partitioning which consists of optimizing the system component inter-communication. In this paper we introduce a new approach of Ad Hoc network group formation based on two level hierarchy structure: many groups with one leader per group at the first level and a super-leader for the whole network at the second one. We worked on the minimization of the communication between nodes by the choice of decent metrics in group formation as well as in leader and super-leader elections. Moreover the designed algorithm is validated by simulation results and then verified by model checking. In addition, a re-organization strategy and the principle of communication protocols will be presented.