Bibliography

1

Akamai - Home Page
http://www.akamai.com

2

H. Avril, and C. Tropper.
``Clustered Time Warp and Logic Simulation''.
In Proceedings of the $9^{th}$ Workshop on Parallel and Distributed Simulation (PADS'95), pages 112-119, June 1995.

3

H. Baker.
NReversal of Fortune--The Thermodynamics of Garbage Collection.
In Proceedings of the International Workshop on Memory Management, Springer Verlag Lecture Notes in Computer Science 637, 1992.

4

Y. Bai, A. Ogielski and G. Wu.
Interactions of TCP and Radio Link ARQ Protocol. Proc.
In Proceedings of the 1999 IEEE Vehicular Technology Conference (VTC'99) Amsterdam, Sept. 1999.

5

Y. Bai, A. T. Ogielski and G. Wu.
TCP over IS-707.
In Proceedings of the 10th International Symposium on Personal Indoor and Mobile Radio Communications (PIMRC'99), Osaka, Japan, Sept. 12-15, 1999.

6

S. Bellenot.
``State Skipping Performance with the Time Warp Operating System''.
In Proceedings of the $6^{th}$ Workshop on Parallel and Distributed Simulation (PADS '92), pages 53-64. January 1992.

7

P. Benioff.
``The computer as a physical system: A mnicroscopic quantum mechanical Hamiltonian model of computers as represented by Turing Machines'',
Journal of Statistical Physics, pages 563-591, volume 22, 1980.

8

P. Benioff.
``Quantum mechanical Hamiltonian models of Turing machines'',
Journal of Statistic Physics, pages 515-46, volume 29, number 3, 1982.

9

Charles Bennett.
Thermodynamics of Computation.
International Journal of Physics, pages 905-940, volume 21, 1982.

10

B. Biswas, R. Mall.
Reverse Execution of Programs.
ACM SIGPLAN Notices, Vol. 34(4), April 1999.

11

P. Bishop.
Using Reversible Computing to Achieve Fail-safety.
ISSRE 97, IEEE Computer Society Press, 1997.

12

N. J. Boden, D. Cohen, R. Felderman, A. E Kulawik, C. L. Setiz, J. N. Seizovic, and W-K. Su.
Myrinet: A gigabit per second local area network.
IEEE-Micro, 15(1):29-36, February 1995.

13

L. Breslau, D. Estrin, K. Fall, S. Floyd, J. Heidemann, A. Helmy, P. Huang, S. McCanne, K. Varadhan, Y. Xu, and H. Yu.
Advances in Network Simulation.
IEEE Computer, pages 59-67, May 2000.

14

R. Brown.
``Calendar Queues: A Fast O(1) Priority Queue Implementation for the Simulation Event Set Problem''.
Communications of the ACM (CACM), volume 31, number 10, pages 1220-1227, October 1988.

15

R. E. Bryant.
Simulation of packet communication architecture computer systems.
MIT-LCS-TR-188, Massachusetts Institute of Technology, Cambridge, Massachusetts, 1977.

16

C. D. Carothers, R. M. Fujimoto, Y-B. Lin and P. England.
Distributed simulation of large-scale PCS networks.
In Proceedings of the Second International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, February 1994, pages 2-6.

17

C. D. Carothers, R. M. Fujimoto and P England.
The Effect of Communication Overheads on Time Warp Performance: An Experimental Study
In Proceedings of the 8th Workshop on Parallel and Distributed Simulation (PADS '94) , July, 1994, pages 118-125.

18

C. D. Carothers, R. M. Fujimoto and Y-B. Lin,
A case study in simulating PCS networks using time warp.
In Proceedings of the 9th Workshop on Parallel and Distributed Simulation, June 1995, pages 87-94.

19

C. D. Carothers, and R. M. Fujimoto.
Efficient execution of Time Warp Programs on Heterogeneous, NOW Platforms.
IEEE Transactions on Parallel and Distributed Systems, pages 299-317, 11(3), March, 2000.

20

C. D. Carothers, K. Perumalla and R. M. Fujimoto.
Efficient Parallel Simulation Using Reverse Computation
In Proceedings of the 13th Workshop on Parallel and Distributed Simulation, pages 126-135, May 1999.

21

C. D. Carothers, K. Perumalla and R. M. Fujimoto.
Efficient Parallel Simulation Using Reverse Computation
ACM Transactions on Modeling and Computer Simulation, volume 9, number 3, pages 224-253, July 1999.

22

C. D Carothers, D. Bauer and S. Pearce.
ROSS: A High-Performance, Low Memory, Modular Time Warp System,
In Proceedings of the 14th Workshop on Parallel and Distributed Simulation, pages 53-60, May 2000.

23

C. D Carothers, D. Bauer and S. Pearce.
ROSS: A High-Performance, Low Memory, Modular Time Warp System,
To appear in Journal of Parallel and Distributed Systems, 2002.

24

K. M. Chandy and J. Misra.
Distributed simulation: A case study in design and verification of distributed programs.
IEEE Transactions on Software Engineering, SE-5(5):440-452, September 1979.

25

W. Chen, J. Udding.
``Program Inversion: More than Fun.''
Elsevier Science Publishers, 1990.

26

K. G. Coffman and A. M. Odlyzko
Internet Growth: Is there a ``Moore's Law'' a Data Traffic?
Preliminary Version, http://www.research.att.com/~amo/doc/internet.moore.ps

27

J. Cowie, H. Liu, J. Liu, D. Nicol and A. Ogielski.
Towards Realistic Million-Node Internet Simulations. In Proceedings of the 1999 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'99), June, 1999, Las Vegas, Nevada.

28

J. Cowie, David M. Nicol and A. Ogielski.
Modeling 100,000 Nodes and Beyond: Self-Validating Design. DARPA/NIST Workshop on Validation of Large Scale Network Simulation Models, May 1999, Reston, VA.

29

S. Das and R. M. Fujimoto.
``A Performance Study of the Cancelback Protocol for Time Warp''.
In Proceedings of the $7^{th}$ Workshop on Parallel and Distributed Simulation (PADS '93), pages 135-142. May 1993.

30

S. Das, and R. M. Fujimoto.
``An Adaptive Memory Management Protocol for Time Warp Parallel Simulator''.
In Proceedings of the ACM Sigmetrics Conferences on Measurement and Modeling of Computer Systems (SIGMETRICS '94), pages 201-210, May 1994.

31

S. Das, R. Fujimoto, K. Panesar, D. Allison, and M. Hybinette.
GTW: A Time Warp system for shared memory multiprocessors.
In 1994 Winter Simulation Conference Proceedings, pages 1332-1339, December 1994.

32

E. Deelman and B. K. Szymanski.
Breadth-First Rollback in Spatially Explicit Simulations,
In Proceedings of the $11^{th}$ Workshop on Parallel and Distributed Simulation (PADS'97), pages 124-131, June 1997.

33

A. Dupuy et al.,
NEST: A Network Simulation and Prototyping Testbed.
Communications of the ACM, pages 64-74, October 1990.

34

D. Eppstein.
A Heuristic Approach to Program Inversion.
$9^{th}$ Int. Joint Conf. Artificial Intelligence, 1985.

35

Richard P. Feyman.
Surely You're Joking Mr. Feynman! Adventures of a Curious Character. pages 165-166.
W.W. Norton and Company, New York, 1985.

36

R. P. Feyman.
``Simulating Physics with Computer'',
International Journal of Theoretical Physics, pages 467-488, volume 21, 1982.

37

S. L. Ferenci, K. S. Perumalla, and R. M. Fujimoto.
An Approach for Federating Parallel Simulators.
In In Proceedings of the $14^{th}$ Workshop on Parallel and Distributed Simulation (PADS 2000), pages 63-70. May 2000.

38

P. A. Fishwick and B. P. Zeigler.
A Multimodel Methodology for Qualitative Model Engineering.
ACM Transactions on Modeling and Computer Simulation, 2(1):52- 81, 1992.

39

Michael Frank.
The R Programming Language and Compiler. http://www.ai.mit.edu/~mpf/rc/home.html

40

Michael Frank.
Reversiblity for Efficient Computing.
Ph.D. thesis, MIT/LCS, 1999.
http://www.www.cise.ufl.edu/~mpf/manuscript

41

R. M. Fujimoto.
Time Warp on a shared memory multiprocessor.
In Proceedings of the 1989 International Conference on Parallel Processing, volume 3, pages 242-249, August 1989.

42

R. M. Fujimoto.
Performance measurements of distributed simulation strategies.
Transactions of the Society for Computer Simulation, 6(2):89-132, April 1989.

43

R. M. Fujimoto.
The virtual time machine. In the International Symposium on Parallel Algorithms and Architectures, pages 199-208, June 1989.

44

R. M. Fujimoto.
Time Warp on a shared memory multiprocessor.
Transactions of the Society for Computer Simulation, 6(3):211-239, July 1989.

45

R. M. Fujimoto.
Parallel discrete-event simulation.
Communications of the ACM, 33(10):30-53, October 1990.

46

R. M. Fujimoto and J. Tsai and G. Gopalakrishnan,
Design and Evaluation of the Rollback Chip: Special Purpose Hardware for Time Warp,
IEEE Transactions on Computers, 41(1):68-82, 1992.

47

R. M. Fujimoto and K. S. Panesar.
Buffer Management in Shared-Memory Time Warp Systems.
In Proceedings of the $9^{th}$ Workshop on Parallel and Distributed Simulation (PADS'95), pages 149-156, June 1995.

48

R. M. Fujimoto and M. Hybinette.
Computing Global Virtual Time in Shared Memory Multiprocessors,
ACM Transactions on Modeling and Computer Simulation, volume 7, number 4, pages 425-446, October 1997.

49

G. Gilder.
Get Ready, Bandwidth will Triple each Year for the Next 25, Forbes, April 7, 1997. Available at http://www.forbes.com/asap/gilder/telecosm10a.htm

50

Gnutella - Home Page. http://www.gnutella.wego.com

51

F. Gomes.
Optimizing Incremental State-Saving and Restoration.
Ph.D. thesis, Dept. of Computer Science, University of Calgary, 1996.

52

A. Griewant, D. Juedos, H. Mitev, J. Utke, O. Vogel and A. Walther.
ADOL-C: A Package for the Automatic Differentiation of Algorithms Written in C/C$++$.
ACM Transactions on Mathematical Software, pages 131-167, volume 22(2), Jan. 1996

53

J. Grimm, L. Pottier, N. Rostiang-Schmidt.
Optimal Time and Minimum Space-Time Product for Reversing a Certain Class of Programs.
Research Report, Institut National de Recherche en Informatique et en Automatique (INRIA), February 1996.

54

M. Gupta, A. Kumar and R. Shorey.
Queueing Models and Stability of Message Flows in Distributed Simulators of Open Queueing Networks.
In Proceedings of the $10^{th}$ on Parallel and Distributed Simulation (PADS '96), pages 162-169, July 1996.

55

The High Level Architecure (HLA) -- Home page. http://www.dmso.mil/hla

56

M. I. Hybinette, and R. M. Fujmoto
Dynamic Virtual Logical Processes. In Proceedings of the $12^{th}$ Workshop on Parallel and Distributed Simulation (PADS-98), Banff, Alberta, pages 100-107, May 1998.

57

itDecisionGuru - Home Page
http://www.opnet.com/products/itdg/home.html

58

Raj Jain,
The Art of Computer Systems Performance Analysis.
John Wiley & Sons, 1991.

59

D. R. Jefferson and H. Sowizral.
Fast concurrent simulation using the Time Warp mechanism, part I: Local control.
Technical Report N-1906-AF, RAND Corporation, December 1982.

60

D. R. Jefferson.
Virtual time.
ACM Transactions on Programming Languages and Systems, 7(3):404-425, July 1985.

61

D. R. Jefferson.
Virtual Time II: The Cancelback Protocol for Storage Management in Distributed Simulation.
In Proceedings of the $9^{th}$ ACM Symposium on Principles of Distributed Computing, pages 75-90, August 1990.

62

S. Keshav.
REAL: A Network Simulator.
Tech Report 88/472, University California, Berkeley, 1988.

63

G. Kesidis and J. Walrand.
Quick Simulation of ATM Buffers with On-Off Multiples Markov Fluid Sources.
ACM Transactions on Modeling and Computer Simulation, pages 269-276, July 1993.

64

J. Laudon and D. Lenoski.
The SGI Origin: a ccNUMA highly scalable server
In Proceedings of the 24th International Symposium on Computer Architecture, pages 241-251, June 1997.

65

P. L'Ecuyer and T. H. Andres.
``A Random Number Generator Based on the Combination of Four LCGs.''
Mathematics and Computers in Simulation, volume 44, pages 99-107, 1997.

66

G. Leeman.
``A Formal Approach to Undo Operations in Programming Languages.''
ACM Transactions on Programming Languages and Systems, pages 50-87, volume 8(1), Jan 1986.

67

Y-B. Lin and B. R. Preiss.
``Optimal Memory Management for Time Warp Parallel Simulation'',
ACM Transactions on Modeling and Computer Simulation, volume 1, number 4, pages 283-307, October 1991.

68

Y-B. Lin, B. R. Press, W. M. Loucks, and E. D. Lazowska.
``Selecting the Checkpoint Interval in Time Warp Simulation''.
In Proceedings of the $7^{th}$ Workshop on Parallel and Distributed Simulation (PADS '92), pages 3-10. May 1993.

69

R. J. Lipton and D. W. Mizell.
Time Warp vs. Chandy-Misra: A worst-case comparison.
In Proceedings of the SCS Multiconference on Distributed Simulation, volume 22, pages 137-143. SCS Simulation Series, January 1990.

70

M. Matsumoto and T. Nishimura.
``Mersenne twister: a 623-dimensionally equidistributed uniform pseudo-random number generator.''
ACM Transactions on Modeling and Computer Simulation (TOMACS), volume 8, Number 1, pages 3-30, January 1998.

71

F. Mattern.
Efficient distributed snapshots and global virtual time algorithms for non-fifo systems.
Journal of Parallel and Distributed Computing, 18(4):423-434, August 1993.

72

R. A. Meyer, and R. L. Bagrodia
Path Lookahead: a Data Flow View of PDES Models.
In In Proceedings of the $13^{th}$ Workshop on Parallel and Distributed Simulation (PADS '99), pages 12-19. May 1999.

73

Napster - Home Page
http://www.napster.com

74

D. Nicol.
``Performance Bounds on Parallel Self-Initiating Discrete-Event Simulations''.
ACM Transactions on Modeling and Computer Simulation (TOMACS), volume 1, number 1, pages 24-50, January 1991.

75

D. Nicol, M. Goldsby and M. Johnson.
Fluid-based Simulation of Communication Networks using SSF.
In Proceedings of the 1999 European Simulation Symposium, 1999.
http://www.cs.dartmouth.edu/~jasonliu/projects/ssf/

76

D. Nicol, and X. Liu.
The Dark Side of Risk - What your mother never told you about Time Warp).
In Proceedings of the $11^{th}$ Workshop on Parallel and Distributed Simulation (PADS '97), pages 188-195, 1997.

77

I. Nikolaidis, R. M. Fujimoto, and A. Cooper,
Time Parallel Simulation of Cascaded Statistical Multiplexers.
In Proceedings of the 1994 ACM SIGMETRICS Conference on Measurement and Modeling of Computer Systems, pages 231-240, May, 1994.

78

NS: Network Simulator - Home Page http://www-mash.cs.berkeley.edu/ns/ns.html

79

A. T. Ogielski.
SSFnet.
Presentation at the DARPA Next Generation Internet Conference, Arlington, VA, Dec. 15 - 17, 1999.

80

J. K. Ousterhout.
Tcl and the Tk Toolkit.
Addision-Wesley, Mass., 1994.

81

D. A. Patterson and J. L. Hennessy.
Computer organization and design: the hardware / software interface.
Morgan Kaufmann Publishers, Inc., San Francisco, California, 1998.

82

K. Perumalla, A. Ogielski, and R. Fujimoto.
TeD -- A Language for Modeling Telecommunication Networks.
In Proceedings of ACM SIGMETRICS Performance Evaluation Review, Vol. 25, No. 4, March 1998.

83

K. S. Perumalla, C. A. Cooper and R. M. Fujimoto.
An Efficiency Prediction Method for ATM Multiplexers.
In Proceedings of Proceedings of the International IFIP-IEEE Conference on Broadband Communications, 477-488, 1996.

84

K. Perumalla.
Techniques for Efficient Parallel Simulation and their Application to Large-scale Telecommunication Network models.
Ph.D Thesis, Georgia Institute of Technology, December, 1999.

85

C. T. Popescu and A. U Shankar
Empirical TCP Profiles and Application http://www.cs.umd.edu/~shankar/Papers/paperTCP.ps

86

A. Poplawski and D. M. Nicol.
Nops: A Conservative Parallel Simulation Engine for TeD.
In Proceedings of the $12^{th}$ Workshop on Parallel and Distributed Simulation (PADS '98), volume 23, pages 180-187, May 1998.

87

The Reversible Computing Home Page at MIT, http://www.ai.mit.edu/~cvieri/reversible.html

88

C. Sassenrath.
The REBOL Scripting Lanaguage.
Dr. Dobbs Journal, pages 64-69, July, 2000.

89

Seti@Home Project - Home Page
http://setiathome.ssl.berkeley.edu/

90

G. D. Sharma et al.
``Time Warp Simulation on Clumps''.
In Proceedings of the $13^{th}$ Workshop on Parallel and Distributed Simulation (PADS '99), 1999, pages 174-181.

91

R. Simmonds, R. Bradford, and B. Unger.
Applying Parallel Discrete Event Simulation to Network Emulation
In In Proceedings of the $14^{th}$ Workshop on Parallel and Distributed Simulation (PADS 2000), pages 15-22. May 2000.

92

D. D. Sleator and R. E. Tarjan.
Self-adjusting binary search trees.
Journal of the ACM, 32(3):652-686, July 1985.

93

D. D. Sleator and R. E. Tarjan.
Self-adjusting binary heaps.
SIAM Journal of Computing, 15(1):52-69, Feburary 1986.

94

R. Smith, R. Andress and G. M. Parsons.
``Experience in Retrofitting a Large Sequential Ada Simulator to Two Versions of Time Warp''.
In Proceedings of the $13^{th}$ Workshop on Parallel and Distributed Simulation (PADS'99), pages 74-81, May 1999.

95

R. Sosic.
``History Cache: Hardware Support for Reverse Execution.''
Computer Architecture News, pages 11-18, volume 22,5, December 1994.

96

SSFNet - Home Page. http://www.ssfnet.org

97

J. S. Steinman.
``SPEEDES: Synchronous Parallel Environment for Emulation and Discrete-event Simulation''.
In Advances in Parallel and Distributed Simulation, volume 23, pages 95-103, SCS Simulation Series, January 1991.

98

J. S. Steinman.
``Breathing Time Warp''.
In Proceedings of the $7^{th}$ Workshop on Parallel and Distributed Simulation (PADS '93), pages 109-118, May 1993.

99

J. S. Steinman.
``Incremental state-saving in SPEEDES using C++.''
In Proceedings of the 1993 Winter Simulation Conference, December 1993, pages 687-696.

100

B. K. Szymanski, C. D. Carothers, S. Kalyanaraman, and K. Vastola.
Scalable Online Network Modeling and Simulation.
DARPA NMS funded project. Web page: http://www.cs.rpi.edu/~szymanski/sonms.html

101

R. Uhlig, D. Nagle, T. Stanley, T. Mudge.
Design Tradeoffs for Software-Managed TLBs.
In ACM Transactions on Computer Systems, volume 12, number 3, pages 175-205, August 1994.

102

K. Umamageswaran, K. Subramani, P. A. Wilsey, P. Alexander.
``Formal Verification and Empirical Analysis of Rollback Relaxation.''
The Elsevier Science Journal of Systems Architecture, number 44, pages 473-495, 1998.

103

C. Vanden Eynden
``Elementary Number Theory.''
page 141, Random House, New York, 1987.

104

Jim Waldo
The Jini architecture for network-centric computing
In Communications of the ACM, volume 42, number 7, pages 76-82, July 1999.

105

D. Wetherall, and C. J. Linblad.
Extending Tcl for Dynamic Object-Oriented Programming.
In Proceedings of 1995 Usenix Tcl/Tk Workshop, page 288, Berkeley, California, 1995.

106

C. H. Young, R. Radhakrishnan, and P. A. Wilsey.
``Optimism: Not Just for Event Execution Anymore'',
In Proceedings of the $13^{th}$ Workshop on Parallel and Distributed Simulation (PADS '99), pages 136-143, May 1999.

107

Z. Xiao, B. Unger, R. Simmonds and J. Cleary.
Scheduling Critical Channels in Conservative Parallel Discrete Event Simulation.
In Proceedings of the $13^{th}$ Workshop on Parallel and Distributed Simulation (PADS '99), pages 20-28, May 1999.

108

G. Yaun, C. D. Carothers, S. Adali and D. Spooner.
Optimistic Simulation of A Large-Scale View Storage System. To appear in Proceedings of the 2001 Winter Simulation Conference, December 2001.

109

B. P Zeigler and D. Kim.
Design of a High Level Modeling / High Performance Simulation Environments.
In Proceedings of the $10^{th}$ Workshop on Parallel and Distributed Simulation (PADS '96), pages 154-161, May 1996.

110

B. P. Zeigler, H. Praehofer, T. G Kim.
Theory of Modeling and Simulation, $2^{nd}$ Edition.
Acadmic Press, 2000.