References

1

H. G. Baker. NREVERSAL of fortune --- the thermodynamics of garbage collection. In Y. Bekkers, editor, International Workshop on Memory Management, pages 507--524. Springer-Verlag, 1992.

2

Edward Barton. A reversible computer using conservative logic. Term paper for 6.895 at MIT, 1978.

3

C. H. Bennett. Logical reversibility of computation. IBM Journal of Research and Development, 6:525--532, 1973.

4

C. H. Bennett. The thermodynamics of computation, a review. International Journal of Theoretical Physics, 21(12):905--940, 1982.

5

C. H. Bennett. Notes on the history of reversible computation. IBM Journal of Research and Development, 32(1):281--288, 1988.

6

C. H. Bennett. Time/space trade-offs for reversible computation. Society for Industrial and Applied Mathematics Journal on Computing, 18(4):766--776, 1989.

7

Isaac L. Chuang and Yoshihisa Yamamoto. Quantum bit regeneration. (unknown journal), September 1995.

8

J. S. Denker, S. C. Avery, A. G. Dickinson, A. Kramer, and T. R. Wik. Adiabatic computing with the 2N-2N2D logic family. In International Workshop on Low Power Design, pages 183--187, 1994.

9

R. P. Feynman. Quantum mechanical computers. Foundations of Physics, 16(6), 1986.

10

E. F. Fredkin and T. Toffoli. Design principles for achieving high-performance submicron digital technologies. DARPA Proposal, November 1978.

11

E. F. Fredkin and T. Toffoli. Conservative logic. International Journal of Theoretical Physics, 21(3/4):219--253, 1982.

12

J. Storrs Hall. An electroid switching model for reversible computer architectures. In Physics and Computation, pages 237--247, October 1992.

13

J. Storrs Hall. A reversible instruction set architecture and algorithms. In Physics and Computation, pages 128--134, November 1994.

14

R. T. Hinman and M. F. Schlecht. Recovered energy logic: A single clock AC logic. In International Workshop on Low Power Design, pages 153--158, 1994.

15

T. Indermaur and M. Horowitz. Evaluation of charge recovery circuits and adiabatic switching for low power CMOS design. In Low Power Electronics, pages 102--103, 1994.

16

Gerry Kane and Joe Heinrich. MIPS RISC Architecture. Prentice Hall, 1992.

17

J. G. Koller and W. C. Athas. Adiabatic switching, low energy computing, and the physics of storing and erasing information. In Physics of Computation Workshop, 1992.

18

R. Landauer. Irreversibility and heat generation in the computing process. IBM Journal of Research and Development, 5:183--191, 1961.

19

R. Landauer. Uncertainty principle and minimal energy dissipation in the computer. International Journal of Theoretical Physics, 21(3/4):283--297, 1982.

20

R. Landauer. Computation: A fundamental physical view. Found. Physics, 16:260--266, 1986.

21

Harvey S. Leff and Andrew F. Rex, editors. Maxwell's demon : entropy, information, computing. Princeton series in physics. Princeton University Press, Princeton, N.J., 1990.

22

Robert Y. Levine and Alan T. Sherman. A note on bennett's time-space tradeoff for reversible computation. Society for Industrial and Applied Mathematics Journal on Computing, 19(4):673--677, 1990.

23

Ming Li and Paul M. B. Vitányi. Reversibility and adiabatic computation: trading time and space for energy. Proc. Royal Society of London, Series A, 452:1--21, 1996.

24

Ming Li and Paul M. B. Vitányi. Reversible simulation of irreversible computation. In Proc. 11th IEEE Conference on Computational Complexity, Philadelphia, Pennsylvania, May 24--27, 1996.

25

K. K. Likharev. Classical and quantum limitations on energy consumption in computation. International Journal of Theoretical Physics, 21(3/4):311--325, 1982.

26

N. H. Margolus. Physics and Computation. PhD thesis, MIT Artificial Intelligence Laboratory, 1988.

27

J. C. Maxwell. Theory of Heat. Longmans, Green & Co., London, 4th edition, 1875.

28

Ralph C. Merkle. Towards practical reversible logic. In Physics and Computation, pages 227--228, October 1992.

29

D. A. Patterson and J. L. Hennessy. Computer Architecture: A Quantitative Approach. Morgan Kaufmann, San Mateo, 1990.

30

D. A. Patterson and J. L. Hennessy. Computer Organization & Design: The Hardware/Software Interface. Morgan Kaufmann, San Mateo, 1993.

31

D. A. Patterson and J. L. Hennessy. Computer Organization & Design: The Hardware/Software Interface. Morgan Kaufmann, San Mateo, beta edition, 1993. From Uncorrected Preliminary Manuscript.

32

A. L. Ressler. Practical circuits using conservative reversible logic. Bachelor's thesis, MIT, 1979.

33

A. L. Ressler. The design of a conservative logic computer and a graphical editor simulator. Master's thesis, MIT Artificial Intelligence Laboratory, 1981.

34

P. W. Shor. Algorithms for quantum computation: Discrete log and factoring. To appear, ACM 1994 Symposium on the Theory of Computers, 1994.

35

Paul M. Solomon and David J. Frank. Power measurements of adiabatic circuits by thermoelectric technique. In Symposium on Low Power Electronics, pages 18--19, 1995.

36

L. Szilard. On the decrease of entropy in a thermodynamic system by the intervention of intelligent beings. Zeitschrift für Physik, 53:840--852, 1929. English translation in Behavioral Science, 9:301-310, 1964.

37

Carlin J. Vieri. Pendulum: A reversible computer architecture. Master's thesis, MIT Artificial Intelligence Laboratory, 1995.

38

J von Neumann. (unknown chapter). In Arthur Burks, editor, Theory of Self-Reproducing Automata. University of Illinois Press, 1966.

39

P. Wayner. Silicon in reverse. Byte, pages 67--74, August 1994.

40

S. G. Younis. Asymptotically Zero Energy Computing Using Split-Level Charge Recovery Logic. PhD thesis, MIT Artificial Intelligence Laboratory, 1994.

41

S. G. Younis and T. F. Knight, Jr. Practical implementation of charge recovering asymptotically zero power CMOS. In Proceedings of the 1993 Symposium in Integrated Systems, pages 234--250. MIT Press, 1993.

42

S. G. Younis and T. F. Knight, Jr. Asymptotically zero energy split-level charge recovery logic. In International Workshop on Low Power Design, pages 177--182, 1994.

43

S. G. Younis and T. F. Knight, Jr. Harmonic resonant rail drivers for adiabatic logic. In Proceedings of the 1995 Symposium on Advanced Research in VLSI. MIT Press, 1995.