On constructing optimistic simulation algorithms for the discrete event system specification
暂无分享,去创建一个
[1] Satish K. Tripathi,et al. Parallel and distributed simulation of discrete event systems , 1994 .
[2] David Bruce. The treatment of state in optimistic systems , 1995, PADS.
[3] Frederick Wieland. The threshold of event simultaneity , 1997, Workshop on Parallel and Distributed Simulation.
[4] Gabriel A. Wainer,et al. Parallel Environment for DEVS and Cell-DEVS Models , 2007, Simul..
[5] B.P. Zeigler,et al. Abstract simulator for the parallel DEVS formalism , 1994, Fifth Annual Conference on AI, and Planning in High Autonomy Systems.
[6] Stephen John Turner,et al. Batch based cancellation: a rollback optimal cancellation scheme in time warp simulations , 2004, 18th Workshop on Parallel and Distributed Simulation, 2004. PADS 2004..
[7] Philip A. Wilsey,et al. Dynamically switching between lazy and aggressive cancellation in a Time Warp parallel simulator , 1995, Proceedings of Simulation Symposium.
[8] Bernard P. Zeigler,et al. Parallel DEVS: a parallel, hierarchical, modular modeling formalism , 1994, Proceedings of Winter Simulation Conference.
[9] Bernard P. Zeigler,et al. Parallel discrete event simulation with application to continuous systems , 2003 .
[10] Gabriel A. Wainer,et al. New parallel simulation techniques of DEVS and Cell-DEVS in CD++ , 2006, 39th Annual Simulation Symposium (ANSS'06).
[11] Robert Rönngren,et al. On event ordering in parallel discrete event simulation , 1999, Proceedings Thirteenth Workshop on Parallel and Distributed Simulation. PADS 99. (Cat. No.PR00155).
[12] R.M. Fujimoto,et al. Parallel and distributed simulation systems , 2001, Proceeding of the 2001 Winter Simulation Conference (Cat. No.01CH37304).
[13] Friedemann Mattern,et al. Efficient Algorithms for Distributed Snapshots and Global Virtual Time Approximation , 1993, J. Parallel Distributed Comput..
[14] Zohar Manna,et al. Verifying Hybrid Systems , 1992, Hybrid Systems.
[15] Hussam M. Soliman. On the Selection of the State Saving Strategy In Time Warp Parallel Simulations , 1999, Simul..
[16] Bernard P. Zeigler,et al. Implementation of the DEVS Formalism over the HLA/RTI: Problems and Solutions , 1999 .
[17] Mihajlo D. Mesarovic,et al. Abstract Systems Theory , 1989 .
[18] Bernard P. Zeigler,et al. Theory of modeling and simulation , 1976 .
[19] Nael B. Abu-Ghazaleh,et al. OFC: A Distributed Fossil-Collection Algorithm for Time-Warp , 1998, DISC.
[20] Bernard P. Zeigler,et al. Hierarchical optimistic distributed simulation: combining devs and time warp , 1990 .
[21] Hessam S. Sarjoughian,et al. Design of Distributed Simulation Environments: A Unified System-Theoretic and Logical Processes Approach , 2004, Simul..
[22] Ronald J. Watro,et al. Mathematical foundations for time warp systems , 1993, TOPL.
[23] Zohar Manna,et al. From Timed to Hybrid Systems , 1991, REX Workshop.
[24] Carl Tropper,et al. XTW, a parallel and distributed logic simulator , 2005, Workshop on Principles of Advanced and Distributed Simulation (PADS'05).
[25] Richard M. Fujimoto,et al. Parallel and Distribution Simulation Systems , 1999 .