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 checking, we present the methods used...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Braberman, V., Olivero, A., Schapachnik, F.
Formato: JOUR
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
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires
Descripción
Sumario: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.

Ejemplares similares