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

Ejemplares similares

Ejemplares similares