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á bibliografie

Vydáno v:	Journal of parallel and distributed computing Ročník 132; s. 331 - 343
Hlavní autor:	Hafaiedh, Imene Ben
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier Inc 01.10.2019
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!