Time/space trade-offs for reversible computation
SIAM Journal on Computing
Low-power digital systems based on adiabatic-switching principles
IEEE Transactions on Very Large Scale Integration (VLSI) Systems - Special issue on low-power design
Feynman and computation: exploring the limits of computers
Feynman and computation: exploring the limits of computers
Feynman Lectures on Computation
Feynman Lectures on Computation
Introduction to VLSI Systems
Design principles for achieving high-performance submicron digital technologies
Collision-based computing
Reversible Space Equals Deterministic Space
CCC '97 Proceedings of the 12th Annual IEEE Conference on Computational Complexity
Reversibility for efficient computing
Reversibility for efficient computing
Reversible computer engineering and architecture
Reversible computer engineering and architecture
Theory of Self-Reproducing Automata
Theory of Self-Reproducing Automata
Power-constrained CMOS scaling limits
IBM Journal of Research and Development
Six Synthesis Methods for Reversible Logic
Open Systems & Information Dynamics
From molecular interactions to gates: a systematic approach
Proceedings of the 2006 IEEE/ACM international conference on Computer-aided design
A reversible programming language and its invertible self-interpreter
Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Formal methods for the analysis and synthesis of nanometer-scale cellular arrays
ACM Journal on Emerging Technologies in Computing Systems (JETC)
Principles of a reversible programming language
Proceedings of the 5th conference on Computing frontiers
Disappearing Cryptography: Information Hiding: Steganography & Watermarking
Disappearing Cryptography: Information Hiding: Steganography & Watermarking
Binary Adders on Quantum-Dot Cellular Automata
Journal of Signal Processing Systems
Reversible Computation and Reversible Programming Languages
Electronic Notes in Theoretical Computer Science (ENTCS)
Reversible online BIST using bidirectional BILBO
Proceedings of the 7th ACM international conference on Computing frontiers
High throughput and low power dissipation in QCA pipelines using Bennett clocking
Proceedings of the 2010 IEEE/ACM International Symposium on Nanoscale Architectures
Design of reversible sequential circuits optimizing quantum cost, delay, and garbage outputs
ACM Journal on Emerging Technologies in Computing Systems (JETC)
A reversible abstract machine and its space overhead
FMOODS'12/FORTE'12 Proceedings of the 14th joint IFIP WG 6.1 international conference and Proceedings of the 32nd IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems
Journal of Computer and System Sciences
RC'13 Proceedings of the 5th international conference on Reversible Computation
Online Testable Approaches in Reversible Logic
Journal of Electronic Testing: Theory and Applications
Hi-index | 0.00 |
Reversible computing is motivated by the von Neumann-Landauer (VNL) principle, a theorem of modern physics telling us that ordinary irreversible logic operations (which destructively overwrite previous outputs) incur a fundamental minimum energy cost. Such operations typically dissipate roughly the logic signal energy, itself irreducible due to thermal noise. This fact threatens to end improvements in practical computer performance within the next few decades. However, computers based mainly on reversible logic operations can reuse a fraction of the signal energy that theoretically can approach arbitrarily near to 100% as the quality of the hardware is improved, reopening the door to arbitrarily high computer performance at a given level of power dissipation. In the 32 years since the theoretical possibility of this approach was first shown by Bennett, our understanding of how to design and engineer practical machines based on reversible logic has improved dramatically, but a number of significant research challenges remain, e.g., (1) the development of fast and cheap switching devices with adiabatic energy coefficients well below those of transistors, (2) and of clocking systems that are themselves of very high reversible quality; and (3) the design of highly-optimized reversible logic circuits and algorithms. Finally, the field faces an uphill social battle in overcoming the enormous inertia of the established semiconductor industry, with its extreme resistance to revolutionary change. A more evolutionary strategy that aims to introduce reversible computing concepts only very gradually might well turn out to be more successful. This talk explains these basic issues, to set the stage for the rest of the workshop, which aims to address them in more detail