Michael P. Frank  Home/Search
Context
Related
| mit.edu/people/mpf/propos...proposal.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: mit.edu/people/mpf/pro...proposal (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: I propose a program of Ph.D. thesis research on the theory and practice of how to easily and effectively program computers that are either fully or partially reversible, i.e., that either discard no information during their operation, or that do so only occasionally, and in a carefully controlled way. The main reason that reversible computers are interesting is that the fundamental physics of computation teaches us that an increasing degree of reversibility will be essential in future... (Update)
Active bibliography (related documents): More All
0.8: Pendulum: A Reversible Computer Architecture - Vieri (1995) (Correct)
0.7: Reversible Computing for Energy Efficient and Trustable.. - Knight, Jr. (1995) (Correct)
0.4: A Scalable Reversible Computer in Silicon - Ammer, Frank, Knight, Love.. (Correct)
Similar documents based on text: More All
0.5: Notes on Reversible Computation - Smith (1998) (Correct)
0.3: Limitations of Noisy Reversible Computation - Dorit Aharonov Michael (1996) (Correct)
0.3: Reversible Computing and Discrete Reality - Levis (2000) (Correct)
BibTeX entry: (Update)
@misc{ frank-programming,
author = "Michael P. Frank",
title = "Programming Reversible Computers",
url = "citeseer.ist.psu.edu/frank96programming.html" }
Citations (may not include all citations):175 Logical reversibility of computation (context) - Bennett - 1973
27 Computation and construction universality of reversible cell.. (context) - Toffoli - 1977
26 space trade-offs for reversible computation (context) - Bennett - 1989
26 An architecture for mostly functional languages (context) - Knight - 1990
25 Notes on the history of reversible computation (context) - Bennett - 1988
19 A note on Bennett's timespace tradeoff for reversible comput.. (context) - Levine, Sherman - 1990
15 NREVERSAL of fortune --- the thermodynamics of garbage colle.. - Baker - 1992
15 look ma, no garbage (context) - Baker, lisp--- - 1992
10 Asymptotically Zero Energy Computing Using SplitLevel Charge.. - Younis - 1994
8 A reversible instruction set architecture and algorithms - Hall - 1994
8 Pendulum: A reversible computer architecture - Vieri - 1995
7 The design of a conservative logic computer and a graphical .. (context) - Ressler - 1981
3 MIT Artificial Intelligence Laboratory (context) - Margolus, Computation - 1988
2 Practical circuits using conservative reversible logic (context) - Ressler - 1979
Documents on the same site (http://www.ai.mit.edu/people/mpf/proposal/proposal.html):
Programming Reversible Computers - Frank (1996) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC