Name
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. |
Year | DOI | Venue |
|---|---|---|
2004 | 10.1109/PADS.2004.1301289 | PADS |
Keywords | Field | DocType |
discrete event simulation,performance evaluation,set theory,event dependency,formal framework,parallel simulation,physical system,sequential simulation,set theory,simulation development process boundaries,simulation event orderings,simulation model,simulation performance,simulator implementation | Simulation software,Computer science,Physical system,Network simulation,Real-time computing,Theoretical computer science,Logic simulation,Simulation language,Network traffic simulation,Dynamic simulation,Discrete event simulation | Conference |
ISSN | ISBN | Citations |
1087-4097 | 0-7695-2111-8 | 0 |
PageRank | References | Authors |
0.34 | 11 | 2 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Teo, Y.M. | 1 | 0 | 0.34 |
| B S S Onggo | 2 | 82 | 14.17 |