Real-time Methods in Reversible Computation
File(s)revisedcorrected.pdf (168.4 KB)
Accepted version
Author(s)
Pesu, T
Phillips, ICC
Type
Conference Paper
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.
Date Issued
2015
Date Acceptance
2015-03-31
Citation
Lecture Notes in Computer Science, 2015, 9138, pp.45-59
Publisher
Springer
Start Page
45
End Page
59
Journal / Book Title
Lecture Notes in Computer Science
Volume
9138
Copyright Statement
© 2015, Springer International Publishing Switzerland. The final publication is available at Springer via https://dx.doi.org/10.1007/978-3-319-20860-2_3
Identifier
http://link.springer.com/
Source
7th International Conference on Reversible Computation
Publication Status
Accepted
Publisher URL
Start Date
2015-07-16
Finish Date
2015-07-17
Coverage Spatial
Grenoble