On-the-fly workload prediction and redistribution in the distributed timed model checker zeus

Autores
Braberman, V.; Olivero, A.; Schapachnik, F.
Año de publicación
2005
Idioma
inglés
Tipo de recurso
artículo
Estado
versión publicada
Descripción
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.
Fuente
Electron. Notes Theor. Comput. Sci. 2005;128(3):3-18
Materia
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
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by/2.5/ar
Repositorio
Biblioteca Digital (UBA-FCEN)
Institución
Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturales
OAI Identificador
paperaa:paper_15710661_v128_n3_p3_Braberman
Acceder
id BDUBAFCEN_071059b5902d8ba5904dbae2aa318c8d
oai_identifier_str paperaa:paper_15710661_v128_n3_p3_Braberman
network_acronym_str BDUBAFCEN
repository_id_str 1896
network_name_str Biblioteca Digital (UBA-FCEN)
spelling On-the-fly workload prediction and redistribution in the distributed timed model checker zeusBraberman, V.Olivero, A.Schapachnik, F.Distributed Timed Model CheckingKronosLoad-BalancePredictionReachabilityReconfigurationRedistributionTimed AutomataZeusAlgorithmsAutomata theoryComputer workstationsData storage equipmentMathematical modelsProgram processorsDistributed timed model checkingKRONOSLoad-balancePredictionReachabilityReconfigurationRedistributionTimed automataZEUSDistributed computer systemsIn 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.2005info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501info:ar-repo/semantics/articuloapplication/pdfhttp://hdl.handle.net/20.500.12110/paper_15710661_v128_n3_p3_BrabermanElectron. Notes Theor. Comput. Sci. 2005;128(3):3-18reponame:Biblioteca Digital (UBA-FCEN)instname:Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturalesinstacron:UBA-FCENenginfo:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by/2.5/ar2025-09-29T13:43:06Zpaperaa:paper_15710661_v128_n3_p3_BrabermanInstitucionalhttps://digital.bl.fcen.uba.ar/Universidad públicaNo correspondehttps://digital.bl.fcen.uba.ar/cgi-bin/oaiserver.cgiana@bl.fcen.uba.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:18962025-09-29 13:43:07.297Biblioteca Digital (UBA-FCEN) - Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturalesfalse
dc.title.none.fl_str_mv On-the-fly workload prediction and redistribution in the distributed timed model checker zeus
title On-the-fly workload prediction and redistribution in the distributed timed model checker zeus
spellingShingle On-the-fly workload prediction and redistribution in the distributed timed model checker zeus
Braberman, V.
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
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
dc.creator.none.fl_str_mv Braberman, V.
Olivero, A.
Schapachnik, F.
author Braberman, V.
author_facet Braberman, V.
Olivero, A.
Schapachnik, F.
author_role author
author2 Olivero, A.
Schapachnik, F.
author2_role author
author
dc.subject.none.fl_str_mv 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
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
dc.description.none.fl_txt_mv 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.
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.
publishDate 2005
dc.date.none.fl_str_mv 2005
dc.type.none.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
http://purl.org/coar/resource_type/c_6501
info:ar-repo/semantics/articulo
format article
status_str publishedVersion
dc.identifier.none.fl_str_mv http://hdl.handle.net/20.500.12110/paper_15710661_v128_n3_p3_Braberman
url http://hdl.handle.net/20.500.12110/paper_15710661_v128_n3_p3_Braberman
dc.language.none.fl_str_mv eng
language eng
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by/2.5/ar
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by/2.5/ar
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv Electron. Notes Theor. Comput. Sci. 2005;128(3):3-18
reponame:Biblioteca Digital (UBA-FCEN)
instname:Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturales
instacron:UBA-FCEN
reponame_str Biblioteca Digital (UBA-FCEN)
collection Biblioteca Digital (UBA-FCEN)
instname_str Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturales
instacron_str UBA-FCEN
institution UBA-FCEN
repository.name.fl_str_mv Biblioteca Digital (UBA-FCEN) - Universidad Nacional de Buenos Aires. Facultad de Ciencias Exactas y Naturales
repository.mail.fl_str_mv ana@bl.fcen.uba.ar
_version_ 1844618739450904576
score 13.070432

Publicaciones similares