Abstract
Bennett has shown how to simulate arbitrary forwards-only computations by fully reversible computation. In particular he has given a space-efficient linear time simulation. After describing a different linear-time reversible simulation with improved space efficiency, we initiate the study of real-time simulations. In addition to being linear-time, these must offer continuous progress, meaning that the delay between successive forward events must be bounded by a constant.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bennett, C.: Logical reversibility of computation. IBM Journal of Research and Development 17, 525–532 (1973)
Bennett, C.: Time/space trade-offs for reversible computation. SIAM Journal on Computing 18(4), 766–776 (1989)
Buhrman, H., Tromp, J., Vitányi, P.: Time and space bounds for reversible simulation. In: Orejas, F., Spirakis, P.G., van Leeuwen, J. (eds.) ICALP 2001. LNCS, vol. 2076, pp. 1017–1027. Springer, Heidelberg (2001)
Landauer, R.: Irreversibility and heat generation in the computing process. IBM Journal of Research and Development 5, 183–191 (1961)
Lange, K., McKenzie, P., Tapp, A.: Reversible space equals deterministic space. Journal of Computer and System Sciences 60(2), 354–367 (2000)
Lecerf, Y.: Machines de Turing réversibles. Récursive insolubilité en \(n \in N\) de l’équation \(u = \theta ^n u\), où \(\theta \) est un "isomorphisme de codes". Comptes Rendus 257, 2597–2600 (1963)
Levine, R., Sherman, A.: A note on Bennett’s time-space tradeoff for reversible computation. SIAM Journal on Computing 19(4), 673–677 (1990)
Li, M., Vitányi, P.: Reversibility and adiabatic computation: trading time and space for energy. Proc. Royal Society of London, Series A 452, 769–789 (1996)
Vitányi, P.: Time, space, and energy in reversible computing. In: Proceedings of the Second Conference on Computing Frontiers, 2005, Ischia, Italy, May 4–6, 2005, pp. 435–444. ACM (2005)
Williams, R.: Space-efficient reversible simulations (2000). http://www.stanford.edu/ rrwill/spacesim9_22.pdf
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Pesu, T., Phillips, I. (2015). Real-Time Methods in Reversible Computation. In: Krivine, J., Stefani, JB. (eds) Reversible Computation. RC 2015. Lecture Notes in Computer Science(), vol 9138. Springer, Cham. https://doi.org/10.1007/978-3-319-20860-2_3
Download citation
DOI: https://doi.org/10.1007/978-3-319-20860-2_3
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-20859-6
Online ISBN: 978-3-319-20860-2
eBook Packages: Computer ScienceComputer Science (R0)