|
ABSTRACT
Virtual time is a new paradigm for organizing and synchronizing distributed systems which can be applied to such problems as distributed discrete event simulation and distributed database concurrency control. Virtual time provides a flexible abstraction of real time in much the same way that virtual memory provides an abstraction of real memory. It is implemented using the Time Warp mechanism, a synchronization protocol distinguished by its reliance on lookahead-rollback, and by its implementation of rollback via antimessages.
REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
 |
1
|
|
| |
2
|
|
| |
3
|
BERRY, O., AND JEFFERSON, D.R. Critical path analysis of distributed simulation. In 1985 Society for Computer Simulation Multiconference (San Diego, Calif., Jan. 1985).
|
| |
4
|
BRYANT, R. E. Simulation of packet communication architecture computer systems. Ph.D. dissertation, M.I.T., Nov. 1977.
|
| |
5
|
CALTECH. ,4nnual Report 1983-1984 and Recent Documentation. Caltech Concurrent Computation Project, Jet Propulsion Laboratory, Pasadena, Calif., Aug. 30, 1984.
|
 |
6
|
|
 |
7
|
|
| |
8
|
CHANDY, K. M., AND MISRA, J. Distributed simulation: A case study in design! and verification of distributed programs. IEEE Trans. Softw. Eng. SE-5, 5 (Sept. 1979), 440-452.
|
| |
9
|
DIJKSTRA, E. W., AND SCHOLTEN, C.S. Termination detection in diffusing computations. Inf. Process. Lett. 11, 1 (Aug. 29, 1980).
|
| |
10
|
FOX, G. C., AND OTTO, S.W. Algorithms for concurrent processors. Phys. Today (May, 1984), 50.
|
 |
11
|
|
| |
12
|
JEffERSON, D. R., AND SOWIZRAL, H.A. Fast concurrent simulation using the Time Warp mechanism, part I: Local control. Rand Note N-1906AF, the Rand Corp.; Santa Monica, Calif., Dec. 1982.
|
| |
13
|
JEFFERSON, D. R., AND SOWIZRAL, $. A. Fast concurrent simulation using the Time Warp mechanism. In Proceedings of the SCS Distributed Simulation Conference (San Diego, Calif., Jan. 1985).
|
| |
14
|
JEFrERS0N, D. R., ET AL. Implementation of Time Warp on the Caltech Hypercube. In 1985 Society for ComPuter Simulation Multiconference (San Diego, Calif., Jan. 1985).
|
 |
15
|
|
| |
16
|
JEFFERSON, D. R., AND MOTRO, A. The Time Warp mechanism for database concurrency control. U.S.C. Tech. Rep., Dept. of Computer Science, Univ. of Southern California, Los Angeles, June 1983.
|
 |
17
|
|
| |
18
|
LAVENBERG, S., MUNTZ, R., AND SAMADI, B. Performance analysis of a rollback method for distributed simulation. Dept. of Computer Science, U.C.L.A., 1982.
|
 |
19
|
|
 |
20
|
|
| |
21
|
J. Kent Peacock , J. W. Wong , Eric Manning, A distributed approach to queueing network simulation, Proceedings of the 11th conference on Winter simulation, p.399-406, December 03-05, 1979, San Diego, CA, United States
|
| |
22
|
PEACOCK, J. K., MANNING, E. G., AND WONG, J.W. Synchronization of distributed simulation using broadcast algorithms. Comput. Networks 4, I (Feb. 1980), 3-10.
|
| |
23
|
PEACOCK, J. K., WONG, J. W., AND MANNING, E.G. Distributed simulation using a network of processors. Comput. Networks 3, I (Feb. 1979), 44-56.
|
 |
24
|
|
| |
25
|
RUSSELL, D.L. State restoration in systems of communicating processes. IEEE Trans. Softw. Eng. SE-6, 2 (Mar. 1980), 183-194.
|
| |
26
|
SAMADI, B. Distributed simulation: Performance and analysis. Ph.D. dissertation, Dept. of Computer Science, UCLA, Los Angeles, 1985.
|
 |
27
|
|
 |
28
|
|
| |
29
|
SOWlZRAL, H.A. The Time Warp simulation system and its performance. In 1985 Society for Computer Simulation Multiconference (San Diego, Calif., Jan. 1985).
|
| |
30
|
SWAN, a., FULLER, S., AND S1EWIOREK, D. CM*--A modular multimicrocomputer. In Proceedings of the 1977 National Computer Con{erence (Apr. 1981), AFIPS Press, Baltimore, Md., 198- 206.
|
| |
31
|
WULF, W. A., LEVlN, R., ^NO H^RBISON, S. P. Hydra/C. mmp: An Experimental Computer System. McGraw-Hill, New York, 1981.
|
| |
32
|
Dana L. Wyatt , Sallie Sheppard , Robert E. Young, An experiment in microprocessor-based distributed digital simulation, Proceedings of the 15th conference on Winter simulation, p.271-278, December 12-14, 1983, Arlington, Virginia, United States
|
CITED BY 516
|
|
|
|
|
Masahiro Yasugi , Satoshi Matsuoka , Akinori Yonezawa, ABCL/onEM-4: a new software/hardware architecture for object-oriented concurrent computing on an extended dataflow supercomputer, Proceedings of the 6th international conference on Supercomputing, p.93-103, July 19-24, 1992, Washington, D. C., United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
R. Rönngren , H. Rajaei , A. Popescu , M. Liljenstam , Y. Ismailov , R. Ayani, Parallel simulation of a high speed LAN, ACM SIGSIM Simulation Digest, v.24 n.1, p.132-138, July 1994
|
|
|
|
|
|
|
|
|
Brian W. Unger , John G. Cleary , Alan Covington , Darrin West, An external state management system for optimistic parallel simulation, Proceedings of the 25th conference on Winter simulation, p.750-755, December 12-15, 1993, Los Angeles, California, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Matthew T. Presley , Peter L. Reiher , Steven F. Bellenot, A time warp implementation of Sharks World, Proceedings of the 22nd conference on Winter simulation, p.199-203, December 09-12, 1990, New Orleans, Louisiana, United States
|
|
|
Steven K. Reinhardt , Mark D. Hill , James R. Larus , Alvin R. Lebeck , James C. Lewis , David A. Wood, The Wisconsin Wind Tunnel: virtual prototyping of parallel computers, ACM SIGMETRICS Performance Evaluation Review, v.21 n.1, p.48-60, June 1993
|
|
|
Albert G. Greenberg , Boris D. Lubachevsky , Isi Mitrani, Unboundedly parallel simulations via recurrence relations for network and reliability problems, Proceedings of the 22nd conference on Winter simulation, p.731-733, December 09-12, 1990, New Orleans, Louisiana, United States
|
|
|
|
|
|
Rajive Bagrodia , Zheng Li , Vikas Jha , Yuan Chen , Jason Cong, Parallel logic level simulation of VLSI circuits, Proceedings of the 26th conference on Winter simulation, p.1354-1361, December 11-14, 1994, Orlando, Florida, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Anthony P. Galluscio , John T. Douglass , Brian A. Malloy , A. Joe Turner, A comparison of two methods for advancing time in parallel discrete event simulation, Proceedings of the 27th conference on Winter simulation, p.650-657, December 03-06, 1995, Arlington, Virginia, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Christopher D. Carothers , Kalyan S. Perumalla , Richard M. Fujimoto, The effect of state-saving in optimistic simulation on a cache-coherent non-uniform memory access architecture, Proceedings of the 31st conference on Winter simulation: Simulation---a bridge to the future, p.1624-1633, December 05-08, 1999, Phoenix, Arizona, United States
|
|
|
|
|
|
Christopher D. Carothers , Brad Topol , Richard M. Fujimoto , John T. Stasko , Vaidy Sunderam, Visualizing parallel simulations in network computing environments: a case study, Proceedings of the 29th conference on Winter simulation, p.110-117, December 07-10, 1997, Atlanta, Georgia, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Paul F. Reynolds, Jr. , Carmen M. Pancerella , Sudhir Srinivasan, Making parallel simulations go fast, Proceedings of the 24th conference on Winter simulation, p.646-656, December 13-16, 1992, Arlington, Virginia, United States
|
|
|
|
|
|
Karim Djemame , Mohamed Bettaz , Dennis C. Gilles , Lewis M. Mackenzie, Performance comparison of high-level algebraic nets distributed simulation protocols, Proceedings of the 28th conference on Winter simulation, p.621-628, December 08-11, 1996, Coronado, California, United States
|
|
|
|
|
|
Eric L. Blair , Frederick P. Wieland , Anthony E. Zukas, A distributed simulation model of air traffic in the national airspace system, Proceedings of the 27th conference on Winter simulation, p.1116-1123, December 03-06, 1995, Arlington, Virginia, United States
|
|
|
John G. Holm , John A. Chandy , Steven Parkes , Sumit Roy , Venkatram Krishnaswamy , Gagan Hasteer , Prithviraj Banerjee, Performance evaluation of message-driven parallel VLSI CAD applications on general purpose multiprocessors, Proceedings of the 11th international conference on Supercomputing, p.172-179, July 07-11, 1997, Vienna, Austria
|
|
|
|
|
|
|
|
|
|
|
|
Samir Das , Richard Fujimoto , Kiran Panesar , Don Allison , Maria Hybinette, GTW: a time warp system for shared memory multiprocessors, Proceedings of the 26th conference on Winter simulation, p.1332-1339, December 11-14, 1994, Orlando, Florida, United States
|
|
|
|
|
|
Edward Mascarenhas , Felipe Knop , Vernon Rego, ParaSol: a multithreaded system for parallel simulation based on mobile threads, Proceedings of the 27th conference on Winter simulation, p.690-697, December 03-06, 1995, Arlington, Virginia, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Fang Hao , Karen Wilson , Richard Fujimoto , Ellen Zegura, Logical process size in parallel simulations, Proceedings of the 28th conference on Winter simulation, p.645-652, December 08-11, 1996, Coronado, California, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Brian W. Unger , Fabian Gomes , Xiao Zhonge , Pawel Gburzynski , Theodore Ono-Tesfaye , Srinivasan Ramaswamy , Carey Williamson , Alan Covington, A high fidelity ATM traffic and network simulator, Proceedings of the 27th conference on Winter simulation, p.996-1003, December 03-06, 1995, Arlington, Virginia, United States
|
|
|
|
|
|
|
|
|
Stephen J. Turner , Wentong Cai , Chu Cheow Lin , Yoke Hean Low , Wen Jing Hsu , Shell Ying Huang, A methodology for automating the parallelization of manufacturing simulations, ACM SIGSIM Simulation Digest, v.28 n.1, p.126-133, July 1998
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Bruno R. Preiss , Wayne M. Loucks , V. Carl Hamacher, A unified modeling methodology for performance evaluation of distributed discrete event simulation mechanisms, Proceedings of the 20th conference on Winter simulation, p.315-324, December 12-14, 1988, San Diego, California, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Milo M. K. Martin , Daniel J. Sorin , Anastassia Ailamaki , Alaa R. Alameldeen , Ross M. Dickson , Carl J. Mauer , Kevin E. Moore , Manoj Plakal , Mark D. Hill , David H. Wood, Timestamp snooping: an approach for extending SMPs, ACM SIGPLAN Notices, v.35 n.11, p.25-36, Nov. 2000
|
|
|
|
|
|
|
|
|
Chris J. M. Booth , David I. Bruce , Peter R. Hoare , Michael J. Kirton , K. Roy Milner , Ian J. Relf, Dynamic memory usage in parallel simulation: a case study of a large-scale military logistics application, Proceedings of the 28th conference on Winter simulation, p.975-982, December 08-11, 1996, Coronado, California, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Ewa Deelman , Boleslaw K. Szymanski , Thomas Caraco, Simulating Lyme disease using parallel discrete event simulation, Proceedings of the 28th conference on Winter simulation, p.1191-1198, December 08-11, 1996, Coronado, California, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Jason Liu , David M. Nicol , King Tan, Lock-free scheduling of logical processes in parallel simulation, Proceedings of the fifteenth workshop on Parallel and distributed simulation, p.22-31, May 15-18, 2001, Lake Arrowhead, California, United States
|
|
|
|
|
|
|
|
|
|
|
|
B. J. Overeinder , A. Schoneveld , P. M. A. Sloot, Spatio-temporal correlations and rollback distributions in optimistic simulations, Proceedings of the fifteenth workshop on Parallel and distributed simulation, p.145-152, May 15-18, 2001, Lake Arrowhead, California, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
G. Post , A. Müller , T. Grötker, A system-level co-verification environment for ATM hardware design, Proceedings of the conference on Design, automation and test in Europe, p.424-428, February 23-26, 1998, Le Palais des Congrés de Paris, France
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Sudhir Srinivasan , Paul F. Reynolds, Jr., Adaptive algorithms vs. Time Warp: an analytical comparison, Proceedings of the 27th conference on Winter simulation, p.666-673, December 03-06, 1995, Arlington, Virginia, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Dirk Baezner , Chuck Rohs , Harry Jones, U.S. Army ModSim on Jade's timewarp, Proceedings of the 24th conference on Winter simulation, p.665-671, December 13-16, 1992, Arlington, Virginia, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Susumu Fujii , Haruhisa Tsunoda , Atsusi Ogita , Yasusi Kidani, Distributed simulation model for computer integrated manufacturing, Proceedings of the 26th conference on Winter simulation, p.946-953, December 11-14, 1994, Orlando, Florida, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
A. Mahmood , W. I. Baker , J. Herath , A. Jayasumana, A logic simulation engine based on a modified data flow architecture, Proceedings of the 1992 IEEE/ACM international conference on Computer-aided design, p.377-380, November 1992, Santa Clara, California, United States
|
|
|
Aman Singla , Umakishore Ramachandran , Jessica Hodgins, Temporal notions of synchronization and consistency in Beehive, Proceedings of the ninth annual ACM symposium on Parallel algorithms and architectures, p.211-220, June 23-25, 1997, Newport, Rhode Island, United States
|
|
|
|
|
|
D. Jefferson , B. Beckman , L. Blume , M. Diloreto , P. Hontalas , P. Reiher , K. Sturdevant , J. Tupman , J. Wedel , F. Wieland , H. Younger, The status of the time warp operating system, Proceedings of the third conference on Hypercube concurrent computers and applications: Architecture, software, computer systems, and general issues, p.738-744, January 19-20, 1988, Pasadena, California, United States
|
|
|
|
|
|
Sudhir Srinivasan , Paul F. Reynolds, Jr., Non-interfering GVT computation via asynchronous global reductions, Proceedings of the 25th conference on Winter simulation, p.740-749, December 12-15, 1993, Los Angeles, California, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Fabian Gomes , Brian Unger , John Cleary, Language based state saving extensions for optimistic parallel simulation, Proceedings of the 28th conference on Winter simulation, p.794-800, December 08-11, 1996, Coronado, California, United States
|
|
|
|
|
|
Jack V. Briner, Jr. , John L. Ellis , Gershon Kedem, Breaking the barrier of parallel simulation of digital systems, Proceedings of the 28th conference on ACM/IEEE design automation, p.223-226, June 17-22, 1991, San Francisco, California, United States
|
|
|
Roy P. Pargas , John C. Peck , Prashant K. Khambekar , Satish K. Dharmaraj, Near-term distributed simulation of apparel manufacturing, Proceedings of the 22nd conference on Winter simulation, p.614-618, December 09-12, 1990, New Orleans, Louisiana, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Janche Sang , Edward Mascarenhas , Vernon Rego, Process mobility in distributed-memory simulation systems, Proceedings of the 25th conference on Winter simulation, p.722-730, December 12-15, 1993, Los Angeles, California, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Azzedine Boukerche , Sajal K. Das , Alessandro Fabbri , Oktay Yildiz, Exploiting model independence for parallel PCS network simulation, Proceedings of the thirteenth workshop on Parallel and distributed simulation, p.166-173, May 01-04, 1999, Atlanta, Georgia, United States
|
|
|
|
|
|
Christoper H. Young , Radharamanan Radhakrishnan , Philip A. Wilsey, Optimism: not just for event execution anymore, Proceedings of the thirteenth workshop on Parallel and distributed simulation, p.136-143, May 01-04, 1999, Atlanta, Georgia, United States
|
|
|
|
|
|
|
|
|
|
|
|
John Penix , Dale Martin , Peter Frey , Ramanan Radhakrishnan , Perry Alexander , Philip A. Wilsey, Experiences in verifying parallel simulation algorithms, Proceedings of the second workshop on Formal methods in software practice, p.16-23, March 04-05, 1998, Clearwater Beach, Florida, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Kai H. Chang , Yu Gong , Tim Dollar , Shefali Gajiwala , Byong Lee , A. Wesley Wear, On computer supported collaborative writing tools for distributed environments, Proceedings of the 1995 ACM 23rd annual conference on Computer science, p.222-229, February 28-March 02, 1995, Nashville, Tennessee, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Yiqing Huang , Zbigniew Kalbarczyk , Ravishankar K. Iyer, A speculation-based approach for performance and dependability analysis: a case study, Proceedings of the 30th conference on Winter simulation, p.475-482, December 13-16, 1998, Washington, D.C., United States
|
|
|
|
|
|
Dohyung Kim , Chan-Eun Rhee , Youngmin Yi , Sungchan Kim , Hyunguk Jung , Soonhoi Ha, Virtual synchronization for fast distributed cosimulation of dataflow task graphs, Proceedings of the 15th international symposium on System Synthesis, October 02-04, 2002, Kyoto, Japan
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Nancy Lynch , Barbara Blaustein , Michael Siegel, Correctness conditions for highly available replicated databases, Proceedings of the fifth annual ACM symposium on Principles of distributed computing, p.11-28, August 11-13, 1986, Calgary, Alberta, Canada
|
|
|
|
|
|
|
|
|
Christopher D. Carothers , Richard M. Fujimoto , Richard M. Weatherly , Annette L. Wilson, Design and implementation of HLA time management in the RTI version F.0, Proceedings of the 29th conference on Winter simulation, p.373-380, December 07-10, 1997, Atlanta, Georgia, United States
|
|
|
|
|
|
|
|
|
Phillip M. Dickens , Paul F. Reynolds, Jr., A performance model for parallel simulation, Proceedings of the 23rd conference on Winter simulation, p.618-626, December 08-11, 1991, Phoenix, Arizona, United States
|
|
|
|
|
|
|
|
|
|
|
|
Christopher D. Carothers , Yi-Bing Lin , Richard M. Fujimoto, Simulating population dependent PCS network models using time warp, Proceedings of the 27th conference on Winter simulation, p.555-562, December 03-06, 1995, Arlington, Virginia, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Lisa M. Sokol , Jon B. Weissman , Paula A. Mutchler, MTW: an empirical performance study, Proceedings of the 23rd conference on Winter simulation, p.557-563, December 08-11, 1991, Phoenix, Arizona, United States
|
|
|
|
|
|
|
|
|
T. C. Hartrum , B. J. Donlan, Hypersim: distributed discrete-event simulation on an iPSC, Proceedings of the third conference on Hypercube concurrent computers and applications: Architecture, software, computer systems, and general issues, p.745-747, January 19-20, 1988, Pasadena, California, United States
|
|
|
|
|
|
|
|
|
Girindra D. Sharma , Radharamanan Radhakrishnan , Umesh Kumar V. Rajasekaran , Nael Abu-Ghazaleh , Philip A. Wilsey, Time Warp simulation on clumps, Proceedings of the thirteenth workshop on Parallel and distributed simulation, p.174-181, May 01-04, 1999, Atlanta, Georgia, United States
|
|
|
|
|
|
Edward Mascarenhas , Felipe Knop , Vernon Rego, Minimum cost adaptive synchronization: experiments with the ParaSol system, Proceedings of the 29th conference on Winter simulation, p.389-396, December 07-10, 1997, Atlanta, Georgia, United States
|
|
|
|
|
|
|
|
|
Dhananjai Madhava Rao , Narayanan V. Thondugulam , Radharamanan Radhakrishnan , Philip A. Wilsey, Unsynchronized parallel discrete event simulation, Proceedings of the 30th conference on Winter simulation, p.1563-1570, December 13-16, 1998, Washington, D.C., United States
|
|
|
Dale E. Martin , Radharamanan Radhakrishnan , Dhananjai M. Rao , Malolan Chetlur , Krishnan Subramani , Philip A. Wilsey, Analysis and simulation of mixed-technology VLSI Systems, Journal of Parallel and Distributed Computing, v.62 n.3, p.468-493, March 2002
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
J. W. Smith , K. S. Smith , R. J. Smith, II, Faster architectural simulation through parallelism, Proceedings of the 24th ACM/IEEE conference on Design automation, p.189-194, June 28-July 01, 1987, Miami Beach, Florida, United States
|
|
|
|
|
|
Vijay Balakrishnan , Peter Frey , Nael B. Abu-Ghazaleh , Philip A. Wilsey, A framework for performance analysis of parallel discrete event simulators, Proceedings of the 29th conference on Winter simulation, p.429-436, December 07-10, 1997, Atlanta, Georgia, United States
|
|
|
Meng-Lin Yu , Sumit Ghosh , Erik DeBenedictis, A provably correct, non-deadlocking parallel event simulation algorithm, Proceedings of the 24th annual symposium on Simulation, p.100-111, April 1991, New Orleans, Louisiana, United States
|
|
|
|
|
|
|
|
|
Phillip M. Dickens , David M. Nicol , Paul F. Reynolds, Jr. , John Mark Duva, The impact of adding aggressiveness to a non-aggressive windowing protocol, Proceedings of the 25th conference on Winter simulation, p.731-739, December 12-15, 1993, Los Angeles, California, United States
|
|
|
Fabian Gomes , John Cleary , Alan Covington , Steve Franks , Brian Unger , Zhong-e Ziao, SimKit: a high performance logical process simulation class library in C++, Proceedings of the 27th conference on Winter simulation, p.706-713, December 03-06, 1995, Arlington, Virginia, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Sudhir Srinivasan , Paul F. Reynolds, Jr., NPSI adaptive synchronization algorithms for PDES, Proceedings of the 27th conference on Winter simulation, p.658-665, December 03-06, 1995, Arlington, Virginia, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Z. Xiao , B. Unger , R. Simmonds , J. Cleary, Scheduling critical channels in conservative parallel discrete event simulation, Proceedings of the thirteenth workshop on Parallel and distributed simulation, p.20-28, May 01-04, 1999, Atlanta, Georgia, United States
|
|
|
Judith S. Dahmann , Richard M. Fujimoto , Richard M. Weatherly, The Department of Defense High Level Architecture, Proceedings of the 29th conference on Winter simulation, p.142-149, December 07-10, 1997, Atlanta, Georgia, United States
|
|
|
|
|
|
|
|
|
S. Schmerler , Y. Tanurhan , K. D. Müller-Glaser, Advanced optimistic approaches in logic simulation, Proceedings of the conference on Design, automation and test in Europe, p.362-369, February 23-26, 1998, Le Palais des Congrés de Paris, France
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Milo M. K. Martin , Daniel J. Sorin , Anatassia Ailamaki , Alaa R. Alameldeen , Ross M. Dickson , Carl J. Mauer , Kevin E. Moore , Manoj Plakal , Mark D. Hill , David A. Wood, Timestamp snooping: an approach for extending SMPs, ACM SIGARCH Computer Architecture News, v.28 n.5, p.25-36, Dec. 2000
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Nasim Mahmood , Yusheng Feng , James C. Browne, Evolutionary performance-oriented development of parallel programs by composition of components, Proceedings of the 5th international workshop on Software and performance, p.239-248, July 12-14, 2005, Palma, Illes Balears, Spain
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Xiaoguang Wang , Stephen John Turner , Malcolm Yoke , Hean Low , Boon Ping Gan, Optimistic synchronization in HLA based distributed simulation, Proceedings of the eighteenth workshop on Parallel and distributed simulation, May 16-19, 2004, Kufstein, Austria
|
|
|
Rajive Bagrodia , Richard Meyer , Mineo Takai , Yu-an Chen , Xiang Zeng , Jay Martin , Ha Yoon Song, Parsec: A Parallel Simulation Environment for Complex Systems, Computer, v.31 n.10, p.77-85, October 1998
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Yarong Tang , Kalyan S. Perumalla , Richard M. Fujimoto , Homa Karimabadi , Jonathan Driscoll , Yuri Omelchenko, Optimistic Simulations of Physical Systems Using Reverse Computation, Simulation, v.82 n.1, p.61-73, January 2006
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Mashhuda Glencross , Alan G. Chalmers , Ming C. Lin , Miguel A. Otaduy , Diego Gutierrez, Exploiting perception in high-fidelity virtual environmentsAdditional presentations from the 24th course are available on the citation page, ACM SIGGRAPH 2006 Courses, July 30-August 03, 2006, Boston, Massachusetts
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Dale E. Martin , Philip A. Wilsey , Robert J. Hoekstra , Eric R. Keiter , Scott A. Hutchinson , Thomas V. Russo , Lon J. Waters, Redesigning the WARPED Simulation Kernel for Analysis and Application Development, Proceedings of the 36th annual symposium on Simulation, p.216, March 30-April 02, 2003
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Yarong Tang , Kalyan S. Perumalla , Richard M. Fujimoto , Homa Karimabadi , Jonathan Driscoll , Yuri Omelchenko, Optimistic Parallel Discrete Event Simulations of Physical Systems Using Reverse Computation, Proceedings of the 19th Workshop on Principles of Advanced and Distributed Simulation, p.26-35, June 01-03, 2005
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Craig A. Lee , Nikos Chrisochoides, A (condensed) parametric study of optimistic computation in wide-area, distributed environments, Proceedings of the 15th ACM Mardi Gras conference: From lightweight mash-ups to lambda grids: Understanding the spectrum of distributed computing requirements, applications, tools, infrastructures, interoperability, and the incremental adoption of key capabilities, January 29-February 03, 2008, Baton Rouge, Louisiana
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Cássio M. M. Pereira , Daniel C. Lobato , César A. C. Teixeira , Maria G. Pimentel, Achieving causal and total ordering in publish/subscribe middleware with DSM, Proceedings of the 3rd workshop on Middleware for service oriented computing, p.61-66, December 01-05, 2008, Leuven, Belgium
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Haris Volos , Andres Jaan Tack , Neelam Goyal , Michael M. Swift , Adam Welc, xCalls: safe I/O in memory transactions, Proceedings of the fourth ACM european conference on Computer systems, April 01-03, 2009, Nuremberg, Germany
|
|
|
Michael Hunter , Hoe Kyoung Kim , Wonho Suh , Richard Fujimoto , Jason Sirichoke , Mahesh Palekar, Ad Hoc Distributed Dynamic Data-Driven Simulations of Surface Transportation Systems, Simulation, v.85 n.4, p.243-255, April 2009
|
|
|
|
|
|
|
|
|
|
|
|
|
REVIEW
"Michael J. Manthey : Reviewer"
This is a conceptually interesting paper which describes what appears to be an
elegant and efficient solution to problems of synchronization, error recovery,
and the realization of atomic actions in all kinds of distributed systems. The
author s
more...
|