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: | Braberman, V., Olivero, A., Schapachnik, F. |
|---|---|
| Formato: | JOUR |
| Materias: | |
| Acceso en línea: | http://hdl.handle.net/20.500.12110/paper_15710661_v128_n3_p3_Braberman |
| Aporte de: |
Ejemplares similares
Ejemplares similares
-
On-the-fly workload prediction and redistribution in the distributed timed model checker zeus
por: Braberman, Víctor Adrián, et al.
Publicado: (2005) -
On-the-fly workload prediction and redistribution in the distributed timed model checker zeus
por: Braberman, V., et al.
Publicado: (2005) -
On-the-fly workload prediction and redistribution in the distributed timed model checker zeus
por: Braberman, V., et al.
Publicado: (2005) -
Dealing with practical limitations of distributed timed model checking for timed automata
por: Braberman, Víctor Adrián, et al.
Publicado: (2006) -
Dealing with practical limitations of distributed timed model checking for timed automata
por: Braberman, V., et al.