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. |
Year | DOI | Venue |
---|---|---|
2005 | 10.1177/0037549705054930 | Simulation |
Keywords | Field | DocType |
Strictness Analysis,simulation event,Simulation Event Orderings,simulation model,event parallelism measure,simulator implementation,event dependency,simulation event ordering,simulation development process boundary,incurs implementation overhead,parallel simulation,simulation performance | Strictness analysis,Parallel algorithm,Computer science,Physical system,Algorithm,Theoretical computer science,Real-time computing,Formal methods,Formalism (philosophy),Partially ordered set | Journal |
Volume | Issue | ISSN |
81 | 4 | 0037-5497 |
Citations | PageRank | References |
0 | 0.34 | 21 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Y. M. Teo | 1 | 17 | 2.87 |
B S S Onggo | 2 | 82 | 14.17 |