On-the-fly workload prediction and redistribution in the distributed timed model checker zeus
In this work we present the on-the-fly workload prediction and redistribution techniques used in Zeus [12, 13], a Distributed Model Checker that evolves from the tool Kronos [14]. After reviewing why it is so hard to have good speedups in distributed timed model checking, we present the methods used...
Guardado en:
Autores principales: | , |
---|---|
Publicado: |
2005
|
Materias: | |
Acceso en línea: | https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_15710661_v128_n3_p3_Braberman http://hdl.handle.net/20.500.12110/paper_15710661_v128_n3_p3_Braberman |
Aporte de: |
id |
paper:paper_15710661_v128_n3_p3_Braberman |
---|---|
record_format |
dspace |
spelling |
paper:paper_15710661_v128_n3_p3_Braberman2023-06-08T16:24:32Z On-the-fly workload prediction and redistribution in the distributed timed model checker zeus Braberman, Víctor Adrián Schapachnik, Fernando Pablo Distributed Timed Model Checking Kronos Load-Balance Prediction Reachability Reconfiguration Redistribution Timed Automata Zeus Algorithms Automata theory Computer workstations Data storage equipment Mathematical models Program processors Distributed timed model checking KRONOS Load-balance Prediction Reachability Reconfiguration Redistribution Timed automata ZEUS Distributed computer systems In this work we present the on-the-fly workload prediction and redistribution techniques used in Zeus [12, 13], a Distributed Model Checker that evolves from the tool Kronos [14]. After reviewing why it is so hard to have good speedups in distributed timed model checking, we present the methods used to get promising results when verifying reachability properties over timed automata [3]. © 2005 Elsevier B.V. Fil:Braberman, V. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. Fil:Schapachnik, F. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. 2005 https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_15710661_v128_n3_p3_Braberman http://hdl.handle.net/20.500.12110/paper_15710661_v128_n3_p3_Braberman |
institution |
Universidad de Buenos Aires |
institution_str |
I-28 |
repository_str |
R-134 |
collection |
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) |
topic |
Distributed Timed Model Checking Kronos Load-Balance Prediction Reachability Reconfiguration Redistribution Timed Automata Zeus Algorithms Automata theory Computer workstations Data storage equipment Mathematical models Program processors Distributed timed model checking KRONOS Load-balance Prediction Reachability Reconfiguration Redistribution Timed automata ZEUS Distributed computer systems |
spellingShingle |
Distributed Timed Model Checking Kronos Load-Balance Prediction Reachability Reconfiguration Redistribution Timed Automata Zeus Algorithms Automata theory Computer workstations Data storage equipment Mathematical models Program processors Distributed timed model checking KRONOS Load-balance Prediction Reachability Reconfiguration Redistribution Timed automata ZEUS Distributed computer systems Braberman, Víctor Adrián Schapachnik, Fernando Pablo On-the-fly workload prediction and redistribution in the distributed timed model checker zeus |
topic_facet |
Distributed Timed Model Checking Kronos Load-Balance Prediction Reachability Reconfiguration Redistribution Timed Automata Zeus Algorithms Automata theory Computer workstations Data storage equipment Mathematical models Program processors Distributed timed model checking KRONOS Load-balance Prediction Reachability Reconfiguration Redistribution Timed automata ZEUS Distributed computer systems |
description |
In this work we present the on-the-fly workload prediction and redistribution techniques used in Zeus [12, 13], a Distributed Model Checker that evolves from the tool Kronos [14]. After reviewing why it is so hard to have good speedups in distributed timed model checking, we present the methods used to get promising results when verifying reachability properties over timed automata [3]. © 2005 Elsevier B.V. |
author |
Braberman, Víctor Adrián Schapachnik, Fernando Pablo |
author_facet |
Braberman, Víctor Adrián Schapachnik, Fernando Pablo |
author_sort |
Braberman, Víctor Adrián |
title |
On-the-fly workload prediction and redistribution in the distributed timed model checker zeus |
title_short |
On-the-fly workload prediction and redistribution in the distributed timed model checker zeus |
title_full |
On-the-fly workload prediction and redistribution in the distributed timed model checker zeus |
title_fullStr |
On-the-fly workload prediction and redistribution in the distributed timed model checker zeus |
title_full_unstemmed |
On-the-fly workload prediction and redistribution in the distributed timed model checker zeus |
title_sort |
on-the-fly workload prediction and redistribution in the distributed timed model checker zeus |
publishDate |
2005 |
url |
https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_15710661_v128_n3_p3_Braberman http://hdl.handle.net/20.500.12110/paper_15710661_v128_n3_p3_Braberman |
work_keys_str_mv |
AT brabermanvictoradrian ontheflyworkloadpredictionandredistributioninthedistributedtimedmodelcheckerzeus AT schapachnikfernandopablo ontheflyworkloadpredictionandredistributioninthedistributedtimedmodelcheckerzeus |
_version_ |
1768543343491416064 |