Please use this identifier to cite or link to this item: https://doi.org/10.1109/PADS.2004.1301289
Title: Formalization and strictness of simulation event orderings
Authors: Teo, Y.M. 
Onggo, B.S.S. 
Issue Date: 2004
Source: Teo, Y.M., Onggo, B.S.S. (2004). Formalization and strictness of simulation event orderings. Proceedings - Workshop on Parallel and Distributed Simulation 18 : 89-96. ScholarBank@NUS Repository. https://doi.org/10.1109/PADS.2004.1301289
Abstract: This paper advocates the use of a formal framework for analyzing simulation performance. Simulation performance is characterized based on the three simulation development process boundaries: physical system, simulation model, and simulator implementation. Firstly, we formalize simulation event ordering using partially ordered set theory. A simulator implements a simulation event ordering, and incurs implementation overheads when enforcing event ordering at runtime. Secondly, we apply our formalism to extract and formalize the simulation event orderings of both sequential and parallel simulations. Thirdly, we propose the relation stricter and a measure called strictness for comparing and quantifying the degree of event dependency of simulation event orderings respectively.
Source Title: Proceedings - Workshop on Parallel and Distributed Simulation
URI: http://scholarbank.nus.edu.sg/handle/10635/42003
ISBN: 0769521118
DOI: 10.1109/PADS.2004.1301289
Appears in Collections:Staff Publications

Show full item record
Files in This Item:
There are no files associated with this item.

SCOPUSTM   
Citations

1
checked on Dec 14, 2017

Page view(s)

49
checked on Dec 10, 2017

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.