Publikation: Teil einer Monographie/eines Konferenzbandes

A bounded-optimistic, parallel Beta-binders simulator

Grunddaten
Links
Abstract
Autoren
Einrichtung

Grunddaten

Titel	A bounded-optimistic, parallel Beta-binders simulator
Veröffentlicht in	12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications, 2008 : DS-RT 2008 ; 27 - 29 October 2008, Vancouver, Canada. - Los Alamitos, Calif. [u.a.] : IEEE Computer Society
Erscheinungsjahr	2008
Seiten (von – bis)	139 – 148
Jahr	2008
Publikationsform	Elektronische Ressource
Publikationsart	Teil einer Monographie/eines Konferenzbandes
Sprache	Englisch
DOI	10.1109/DS-RT.2008.32
Letzte Änderung	17.05.2019 14:27:56
Bearbeitungsstatus	durch UB Rostock abschließend validiert
Dauerhafte URL	http://purl.uni-rostock.de/fodb/pub/31154
Links zu Katalogen

Abstract

Compartments play an important role in molecular and cell biology modeling, which motivated the development of BETA-BINDERS, a formalism that forms an extension of the pi-CALCULUS. To execute BETA-BINDERS models, sophisticated simulators are required to ensure a sound and efficient execution. Parallel and distributed simulation represents one means to achieve the later. However, stochastically scheduled events hamper the definition of look aheads for a conservative parallel synchronization scheme, while an optimistic parallel simulation implies expensive rollback operations due to the dynamic structures of BETA-BINDERS models. Therefore, a time-bounded window approach is suggested, which allows the different logical processes to proceed optimistically up to a barrier. Rollbacks are thus temporally constrained. In addition, the dynamic structure of BETA-BINDERS models requires a special state handling. BETA-BINDERS models and states are represented as tree structures to facilitate state updates and rollbacks by the simulation engine.

Autoren

Leye, Stefan
Uhrmacher, Adelinde
Priami, Corrado

Externe Links

Beschreibung	Link
Link zur Online-Ressource	http://www.ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=4700114&isnumber=4700087
Link zur Online-Ressource	http://dx.doi.org/10.1109/DS-RT.2008.32

Einrichtung

IEF/Bereich Informatik