A framework for formalization and strictness analysis of simulation event orderings
10.1177/0037549705054930
Saved in:
Main Authors: | Teo, Y.M., Onggo, B.S.S. |
---|---|
Other Authors: | COMPUTER SCIENCE |
Format: | Article |
Published: |
2013
|
Subjects: | |
Online Access: | http://scholarbank.nus.edu.sg/handle/10635/39791 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | National University of Singapore |
Similar Items
-
A framework for formalization and characterization of simulation performance
by: BHAKTI SATYABUDHI STEPHAN ONGGO
Published: (2010) -
A study of simulation performance based on event orderings
by: HU YANJUN
Published: (2010) -
Formalization and strictness of simulation event orderings
by: Teo, Y.M., et al.
Published: (2013) -
Templates and program extraction from proofs in higher order systems
by: Pimpen Vejjajiva
Published: (2008) -
Relative Ageing for Two Parallel Systems and Related Problems
by: Lai, C.D., et al.
Published: (2014)