Please use this identifier to cite or link to this item: https://doi.org/10.1177/0037549705054930
Title: A framework for formalization and strictness analysis of simulation event orderings
Authors: Teo, Y.M. 
Onggo, B.S.S. 
Keywords: Event ordering
Formalization
Parallel and distributed simulation
Partially ordered set
Strictness
Issue Date: 2005
Source: Teo, Y.M., Onggo, B.S.S. (2005). A framework for formalization and strictness analysis of simulation event orderings. Simulation 81 (4) : 325-335. ScholarBank@NUS Repository. https://doi.org/10.1177/0037549705054930
Abstract: This article 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. First, the authors 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. Second, they apply their formalism to extract and formalize the simulation event orderings of both sequential and parallel simulations. Third, they propose the relation stricter and a measure called strictness for comparing and quantifying the degree of event dependency of simulation event orderings, respectively. In contrast to the event parallelism measure, strictness is independent of time. © 2005 The Society for Modeling and Simulation International.
Source Title: Simulation
URI: http://scholarbank.nus.edu.sg/handle/10635/39791
ISSN: 00375497
DOI: 10.1177/0037549705054930
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 11, 2017

WEB OF SCIENCETM
Citations

1
checked on Dec 11, 2017

Page view(s)

51
checked on Dec 9, 2017

Google ScholarTM

Check

Altmetric


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