[BOOK][B] Introduction to reversible computing

KS Perumalla - 2013 - books.google.com
Few books comprehensively cover the software and programming aspects of reversible
computing. Filling this gap, Introduction to Reversible Computing offers an expanded view of …

Foundations of generalized reversible computing

MP Frank - International Conference on Reversible Computation, 2017 - Springer
Abstract Information loss from a computation implies energy dissipation due to Landauer's
Principle. Thus, increasing the amount of useful computational work that can be …

Time, space, and energy in reversible computing

P Vitányi - Proceedings of the 2nd conference on Computing …, 2005 - dl.acm.org
Time, Space, and Energy in Reversible Computing Page 1 Time, Space, and Energy in
Reversible Computing Paul Vitányi ∗ CWI University of Amsterdam National ICT of Australia …

[BOOK][B] Reversible computing: fundamentals, quantum computing, and applications

A De Vos - 2011 - books.google.com
Written by one of the few top internationally recognized experts in the field, this book
concentrates on those topics that will remain fundamental, such as low power computing …

Introduction to reversible computing: motivation, progress, and challenges

MP Frank - Proceedings of the 2nd Conference on Computing …, 2005 - dl.acm.org
Reversible computing is motivated by the von Neumann-Landauer (VNL) principle, a
theorem of modern physics telling us that ordinary irreversible logic operations (which …

[PDF][PDF] Reversibility for efficient computing

MP Frank, TF Knight Jr - 1999 - eng-web1.eng.famu.fsu.edu
Today's computers are based on irreversible logic devices, which have been known to be
fundamentally energy-inefficient for several decades. Recently, alternative reversible logic …

[PDF][PDF] Foundations of reversible computation

B Aman, G Ciobanu, R Glück… - … Extending Horizons of …, 2020 - library.oapen.org
Reversible computation allows computation to proceed not only in the standard, forward
direction, but also backward, recovering past states. While reversible computation has …

[BOOK][B] Theory of reversible computing

K Morita - 2017 - Springer
A reversible computing system is a “backward deterministic” system such that every state of
the system has at most one predecessor. Hence, there is no pair of distinct states that go to …

A note on Bennett's time-space tradeoff for reversible computation

RY Levine, AT Sherman - SIAM Journal on Computing, 1990 - SIAM
Given any irreversible program with running time T and space complexity S, and given any
ε>0, Bennett shows how to construct an equivalent reversible program with running time …

A reversible processor architecture and its reversible logic design

MK Thomsen, HB Axelsen, R Glück - … , RC 2011, Gent, Belgium, July 4-5 …, 2012 - Springer
We describe the design of a purely reversible computing architecture, Bob, and its
instruction set, BobISA. The special features of the design include a simple, yet expressive …