1 |
Y. G. Kim and T. G. Kim, "Optimization of Model Execution Time in the DEVSim++ Environment". In Proc. of 1997 European Simulation Symposium, pp. 215-219, Oct. 1997, Passau, Germany
|
2 |
J. W. J. Williams. Algorithm 232 - Heapsort, Communications of the ACM 7(6): 347-348, 1964
|
3 |
A. I. Concepcion, and B. F. Zeigler, "DEVS Formalism: A Framework for Hierarchical Model Development", IEEE Trans. on Software Engineering, vol. 14, no. 2, Feb. 1988
|
4 |
T. G. Kim, and S. B. Park, "The DEVS Formalism: Hierarchical Modular Systems Specification in C++" In Proceedings of the 1992 European Simulation Multiconference, pp.152-156, 1992
|
5 |
B. P. Zeigler, Multifacetted Modelling and Discrete Event Simulation. Academic Press. 1984
|
6 |
K. J. Hong and T. G. Kim, "DEVSIF : Relational Algebraic DEVS Intermediate Format," Proceedings of AIS'2000, Tucson, Arizona, U.S.A., 2000
|
7 |
G. P. Hong and Tag G. Kim, "A Framework for Verifying Discrete Event Models Within a DEVS-Based System Development Methodology," Transactions of the Society for Computer Simulation, vol. 13, no. 1, pp.19-34, 1996
|
8 |
C. Thomas, H. Luckhoff, and T. G. Kim, "OpenDEVS: A Proposal for a Standardized DEVS Model Exchange Format", Proc. of AIS '96, pp. 371-377
|
9 |
D. Baezner, G. Lomow, and B.W. Unger. "Sim++: The Transition to Distributed Simulation." In Proceedings of the SCS Multiconference on Distributed Simulation, 1990
|
10 |
D. M. Lewis, "A hierarchical compiled code even-driven logic simulator," IEEE Transactions on Computer-Aided Design, vol. 10, no. 6, pp. 726-737, 1991
DOI
ScienceOn
|
11 |
W. B. Lee, T. G. Kim, "Performance Evaluation of Concurrent System Using Formal Model: Simulation Speedup", IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, vol. E86-A, no. 11, pp: 755-2766, Nov. 2003
|