Bibtex de la publication

@InProceedings{ MaQuPa2007.1,
author = {Mauran, Philippe and Quéinnec, Philippe and Padiou, Gérard},
title = "{Separability to help Parallel Simulation of Distributed Computations}",
booktitle = "{International Conference On Principles Of Distributed Systems (OPODIS), Guadeloupe, 17/12/2007-20/12/2007}",
editor = {Fouchal, Hacene and Tovar, Eduardo and Tsigas, Philippas},
year = {2007},
publisher = {Springer-Verlag},
address = {},
series = {LNCS},
pages = {358--371},
language = {anglais},
keywords = {parallel discrete event simulation, causality, scheduling, separability},
abstract = {We consider the parallel simulation of distributed systems based upon the notion of separability. We define a model of distributed systems that integrates a limited set of temporal properties, from which we deduce specific parallel simulation strategies avoiding rollback and dynamic scheduling which are often necessary to obtain an optimal rate of parallelism in parallel and/or distributed simulations. In particular, we present strategies that enable to compute the simulation schedule in advance, or even statically. This approach appears to be relevant for a large class of distributed computations, inasmuch as it relies upon a limited set of temporal properties of the simulated systems. }