A framework for formalization and characterization of simulation performance
Ph.D
Saved in:
Main Author: | BHAKTI SATYABUDHI STEPHAN ONGGO |
---|---|
Other Authors: | COMPUTER SCIENCE |
Format: | Theses and Dissertations |
Language: | English |
Published: |
2010
|
Subjects: | |
Online Access: | https://scholarbank.nus.edu.sg/handle/10635/14620 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | National University of Singapore |
Language: | English |
Similar Items
-
A framework for formalization and strictness analysis of simulation event orderings
by: Teo, Y.M., et al.
Published: (2013) -
A study of simulation performance based on event orderings
by: HU YANJUN
Published: (2010) -
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) -
Causal Message Sequence Charts
by: Gazagnaire, T., et al.
Published: (2013)