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...

Celý popis

Podrobná bibliografia

Vydané v:	Journal of parallel and distributed computing Ročník 132; s. 331 - 343
Hlavný autor:	Hafaiedh, Imene Ben
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Elsevier Inc 01.10.2019
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!