A Framework For Formalization And Strictness Analysis Of Simulation Event Orderings  

Oleh:

Teo, Y. M. ; Onggo, B. S. S.

Jenis: Article from Journal - ilmiah internasional
Dalam koleksi: Simulation vol. 81 no. 4 (Apr. 2005), page 325-335.
Topik: Parallel and distributed simulation; formalization; event ordering; strictness; partially ordered set
Fulltext: 325.pdf (320.85KB)

Isi artikel

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.

Opini Anda

Klik untuk menuliskan opini Anda tentang koleksi ini!

Kembali