A generic formal model for the comparison and analysis of distributed job-scheduling algorithms in grid environment

Nowadays, high-end Systems consist of thousands of individual devices which are in general heterogeneous. Grid computing environments are an example of high-end systems which are composed of many diverse and heterogeneous resources distributed within multiple geographical areas. The performance of s...

Full description

Saved in:

Bibliographic Details
Published in:	Journal of parallel and distributed computing Vol. 132; pp. 331 - 343
Main Author:	Hafaiedh, Imene Ben
Format:	Journal Article
Language:	English
Published:	Elsevier Inc 01.10.2019
Subjects:	Distributed scheduling Formal verification Grid computing environment Load balancing algorithms Distributed scheduling Load balancing algorithms Grid computing environment Formal verification
ISSN:	0743-7315, 1096-0848
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!