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

Mostrar todas las versiones(3)

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

Descripción completa

Guardado en:

Detalles Bibliográficos
Autores principales:	Braberman, V., Olivero, A., Schapachnik, F.
Formato:	Artículo publishedVersion
Publicado:	2005
Materias:	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 Timed automata ZEUS Distributed computer systems
Acceso en línea:	http://hdl.handle.net/20.500.12110/paper_15710661_v128_n3_p3_Braberman https://repositoriouba.sisbi.uba.ar/gsdl/cgi-bin/library.cgi?a=d&c=artiaex&d=paper_15710661_v128_n3_p3_Braberman_oai
Aporte de:	Repositorio Digital de la Universidad de Buenos Aires (UBA) de Universidad de Buenos Aires

id	I28-R145-paper_15710661_v128_n3_p3_Braberman_oai
record_format	dspace
spelling	I28-R145-paper_15710661_v128_n3_p3_Braberman_oai2024-08-16 Braberman, V. Olivero, A. Schapachnik, F. 2005 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. application/pdf http://hdl.handle.net/20.500.12110/paper_15710661_v128_n3_p3_Braberman info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by/2.5/ar Electron. Notes Theor. Comput. Sci. 2005;128(3):3-18 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 On-the-fly workload prediction and redistribution in the distributed timed model checker zeus info:eu-repo/semantics/article info:ar-repo/semantics/artículo info:eu-repo/semantics/publishedVersion https://repositoriouba.sisbi.uba.ar/gsdl/cgi-bin/library.cgi?a=d&c=artiaex&d=paper_15710661_v128_n3_p3_Braberman_oai
institution	Universidad de Buenos Aires
institution_str	I-28
repository_str	R-145
collection	Repositorio Digital de la Universidad de Buenos Aires (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. Olivero, A. Schapachnik, F. 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.
format	Artículo Artículo publishedVersion
author	Braberman, V. Olivero, A. Schapachnik, F.
author_facet	Braberman, V. Olivero, A. Schapachnik, F.
author_sort	Braberman, V.
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	http://hdl.handle.net/20.500.12110/paper_15710661_v128_n3_p3_Braberman https://repositoriouba.sisbi.uba.ar/gsdl/cgi-bin/library.cgi?a=d&c=artiaex&d=paper_15710661_v128_n3_p3_Braberman_oai
work_keys_str_mv	AT brabermanv ontheflyworkloadpredictionandredistributioninthedistributedtimedmodelcheckerzeus AT oliveroa ontheflyworkloadpredictionandredistributioninthedistributedtimedmodelcheckerzeus AT schapachnikf ontheflyworkloadpredictionandredistributioninthedistributedtimedmodelcheckerzeus
_version_	1809357027329179648

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

Ejemplares similares