Publications

BibTex format

@inproceedings{Pesu:2015:10.1007/978-3-319-20860-2_3,
author = {Pesu, T and Phillips, ICC},
doi = {10.1007/978-3-319-20860-2_3},
pages = {45--59},
publisher = {Springer},
title = {Real-time Methods in Reversible Computation},
url = {http://dx.doi.org/10.1007/978-3-319-20860-2_3},
year = {2015}
}

Download

RIS format (EndNote, RefMan)

TY  - CPAPER
AB  - 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.
AU  - Pesu,T
AU  - Phillips,ICC
DO  - 10.1007/978-3-319-20860-2_3
EP  - 59
PB  - Springer
PY  - 2015///
SP  - 45
TI  - Real-time Methods in Reversible Computation
UR  - http://dx.doi.org/10.1007/978-3-319-20860-2_3
UR  - http://link.springer.com/
UR  - http://hdl.handle.net/10044/1/23351
ER  -

Download

DrIainPhillips

Contact

Location

Summary

Citation

BibTex format

RIS format (EndNote, RefMan)