Time and Space Bounds for Reversible Simulation
ICALP '01 Proceedings of the 28th International Colloquium on Automata, Languages and Programming,
Reversible Computation in Asynchronous Cellular Automata
UMC '02 Proceedings of the Third International Conference on Unconventional Models of Computation
The Quantum Computing Challenge
Informatics - 10 Years Back. 10 Years Ahead.
Reversible Space Equals Deterministic Space
CCC '97 Proceedings of the 12th Annual IEEE Conference on Computational Complexity
Using Reversible Computing To Achieve Fail-Safety
ISSRE '97 Proceedings of the Eighth International Symposium on Software Reliability Engineering
CMOS Realization of Online Testable Reversible Logic Gates
ISVLSI '05 Proceedings of the IEEE Computer Society Annual Symposium on VLSI: New Frontiers in VLSI Design
Quantum ternary parallel adder/subtractor with partially-look-ahead carry
Journal of Systems Architecture: the EUROMICRO Journal
Efficient and exact quantum compression
Information and Computation
Physical Uncertainty and Information
IEEE Transactions on Computers
Physical constraints on hypercomputation
Theoretical Computer Science
Reversible computing and cellular automata—A survey
Theoretical Computer Science
Optimized reversible binary-coded decimal adders
Journal of Systems Architecture: the EUROMICRO Journal
When–and how–can a cellular automaton be rewritten as a lattice gas?
Theoretical Computer Science
Synthesis of quaternary reversible/quantum comparators
Journal of Systems Architecture: the EUROMICRO Journal
Physics and Computation: The Status of Landauer's Principle
CiE '07 Proceedings of the 3rd conference on Computability in Europe: Computation and Logic in the Real World
Arithmetic Design on Quantum-Dot Cellular Automata Nanotechnology
SAMOS '08 Proceedings of the 8th international workshop on Embedded Computer Systems: Architectures, Modeling, and Simulation
Periodicity and Immortality in Reversible Computing
MFCS '08 Proceedings of the 33rd international symposium on Mathematical Foundations of Computer Science
Optics Goes Where No Electronics Can Go: Zero-Energy-Dissipation Logic
OSC '08 Proceedings of the 1st international workshop on Optical SuperComputing
Parallel Optimization of a Reversible (Quantum) Ripple-Carry Adder
UC '08 Proceedings of the 7th international conference on Unconventional Computing
Bijective Digital Error-Control Coding, Part I: The Reversible Viterbi Algorithm
ICIC '08 Proceedings of the 4th international conference on Intelligent Computing: Advanced Intelligent Computing Theories and Applications - with Aspects of Theoretical and Methodological Issues
Bijective Digital Error-Control Coding, Part II: Quantum Viterbi Circuit Synthesis
ICIC '08 Proceedings of the 4th international conference on Intelligent Computing: Advanced Intelligent Computing Theories and Applications - with Aspects of Theoretical and Methodological Issues
Journal of Systems Architecture: the EUROMICRO Journal
Efficient approaches for designing reversible Binary Coded Decimal adders
Microelectronics Journal
What does it mean to say that a physical system implements a computation?
Theoretical Computer Science
Efficient Reversible Logic Design of BCD Subtractors
Transactions on Computational Science III
Minimal energy dissipation in logic
IBM Journal of Research and Development
Binary Adders on Quantum-Dot Cellular Automata
Journal of Signal Processing Systems
Zero-Energy Optical Logic: Can It Be Practical?
OSC '09 Proceedings of the 2nd International Workshop on Optical SuperComputing
Electronic Notes in Theoretical Computer Science (ENTCS)
A Virtual Machine for Supporting Reversible Probabilistic Guarded Command Languages
Electronic Notes in Theoretical Computer Science (ENTCS)
Effect of BDD Optimization on Synthesis of Reversible and Quantum Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Reversible Computation and Reversible Programming Languages
Electronic Notes in Theoretical Computer Science (ENTCS)
A library-based synthesis methodology for reversible logic
Microelectronics Journal
Design of a reversible PLD architecture
ARC'07 Proceedings of the 3rd international conference on Reconfigurable computing: architectures, tools and applications
Enhancing debugging of multiple missing control errors in reversible logic
Proceedings of the 20th symposium on Great lakes symposium on VLSI
Reversible online BIST using bidirectional BILBO
Proceedings of the 7th ACM international conference on Computing frontiers
IITA'09 Proceedings of the 3rd international conference on Intelligent information technology application
On adder design using a reversible logic gate
EHAC'10 Proceedings of the 9th WSEAS international conference on Electronics, hardware, wireless and optical communications
Computing with energy and chemical reactions
Natural Computing: an international journal
Three steps to the thermal noise death of Moore's law
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Reducing the number of lines in reversible circuits
Proceedings of the 47th Design Automation Conference
Adder designs using reversible logic gates
WSEAS Transactions on Circuits and Systems
IEEE Transactions on Information Theory
Reversible logic synthesis through ant colony optimization
Proceedings of the Conference on Design, Automation and Test in Europe
On the physical implementation of logical transformations: Generalized L-machines
Theoretical Computer Science
Proceedings of the Conference on Design, Automation and Test in Europe
Inference concerning physical systems
CiE'10 Proceedings of the Programs, proofs, process and 6th international conference on Computability in Europe
Reversible circuit synthesis using a cycle-based approach
ACM Journal on Emerging Technologies in Computing Systems (JETC)
Design of reversible sequential circuits optimizing quantum cost, delay, and garbage outputs
ACM Journal on Emerging Technologies in Computing Systems (JETC)
The arrow of time through the lens of computing
Time for verification
Preference and non-deterministic choice
ICTAC'10 Proceedings of the 7th International colloquium conference on Theoretical aspects of computing
Universal test sets for reversible circuits
COCOON'10 Proceedings of the 16th annual international conference on Computing and combinatorics
Improving the energy efficiency of reversible logic circuits by the combined use of adiabatic styles
Integration, the VLSI Journal
Integration, the VLSI Journal
Rule-based optimization of reversible circuits
Proceedings of the 2010 Asia and South Pacific Design Automation Conference
Partial evaluation of the reversible language janus
Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation
Transistor realization of reversible "ZS" series gates and reversible array multiplier
Microelectronics Journal
Efficient turing-universal computation with DNA polymers
DNA'10 Proceedings of the 16th international conference on DNA computing and molecular programming
Realization and synthesis of reversible functions
Theoretical Computer Science
Synthesis of fredkin-toffoli reversible networks
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
What do reversible programs compute?
FOSSACS'11/ETAPS'11 Proceedings of the 14th international conference on Foundations of software science and computational structures: part of the joint European conferences on theory and practice of software
Clean translation of an imperative reversible programming language
CC'11/ETAPS'11 Proceedings of the 20th international conference on Compiler construction: part of the joint European conferences on theory and practice of software
Fault diagnosis in reversible circuits under missing-gate fault model
Computers and Electrical Engineering
Novel design of a fast reversible Wallace sign multiplier circuit in nanotechnology
Microelectronics Journal
Improving ESOP-based synthesis of reversible logic using evolutionary algorithms
EvoApplications'11 Proceedings of the 2011 international conference on Applications of evolutionary computation - Volume Part II
ROM-based computation: quantum versus classical
Quantum Information & Computation
A simple and efficient universal reversible turing machine
LATA'11 Proceedings of the 5th international conference on Language and automata theory and applications
Optics goes where no electronics can go: zero-energy-dissipation logic
OSC'10 Proceedings of the Third international conference on Optical supercomputing
Quantum computing: an IBM perspective
IBM Journal of Research and Development
Determining fundamental heat dissipation bounds for transistor-based nanocomputing paradigms
NANOARCH '11 Proceedings of the 2011 IEEE/ACM International Symposium on Nanoscale Architectures
The new BCD subtractor and its reversible logic implementation
ACSAC'06 Proceedings of the 11th Asia-Pacific conference on Advances in Computer Systems Architecture
Reversing algebraic process calculi
FOSSACS'06 Proceedings of the 9th European joint conference on Foundations of Software Science and Computation Structures
A design-based model of reversible computation
UTP'06 Proceedings of the First international conference on Unifying Theories of Programming
UTP'06 Proceedings of the First international conference on Unifying Theories of Programming
POPL '12 Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Group theory based synthesis of binary reversible circuits
TAMC'06 Proceedings of the Third international conference on Theory and Applications of Models of Computation
UPP'04 Proceedings of the 2004 international conference on Unconventional Programming Paradigms
Algebraic characterizations of unitary linear quantum cellular automata
MFCS'06 Proceedings of the 31st international conference on Mathematical Foundations of Computer Science
Introducing reversibility in a high level JJL qubit model according to CAN2 paradigm
ACRI'06 Proceedings of the 7th international conference on Cellular Automata for Research and Industry
Universal families of reversible p systems
MCU'04 Proceedings of the 4th international conference on Machines, Computations, and Universality
Evolving reversible circuits for the even-parity problem
EC'05 Proceedings of the 3rd European conference on Applications of Evolutionary Computing
Dynamics, information and control in physical systems
WAC'04 Proceedings of the First international IFIP conference on Autonomic Communication
ACSAC'05 Proceedings of the 10th Asia-Pacific conference on Advances in Computer Systems Architecture
Ultra-area-efficient reversible multiplier
Microelectronics Journal
An efficient approach for designing and minimizing reversible programmable logic arrays
Proceedings of the great lakes symposium on VLSI
Grand challenge 7: journeys in non-classical computation
VoCS'08 Proceedings of the 2008 international conference on Visions of Computer Science: BCS International Academic Conference
What to do about the end of Moore's law, probably!
Proceedings of the 49th Annual Design Automation Conference
Time complexity of tape reduction for reversible turing machines
RC'11 Proceedings of the Third international conference on Reversible Computation
A reversible processor architecture and its reversible logic design
RC'11 Proceedings of the Third international conference on Reversible Computation
Optimization of reversible circuits using reconfigured templates
RC'11 Proceedings of the Third international conference on Reversible Computation
RevKit: an open source toolkit for the design of reversible circuits
RC'11 Proceedings of the Third international conference on Reversible Computation
Towards the limits of cascaded reversible (quantum-inspired) circuits
RC'11 Proceedings of the Third international conference on Reversible Computation
Interfacing reversible pass-transistor CMOS chips with conventional restoring CMOS circuits
RC'11 Proceedings of the Third international conference on Reversible Computation
Partial evaluation of janus part 2: assertions and procedures
PSI'11 Proceedings of the 8th international conference on Perspectives of System Informatics
On the compact designs of low power reversible decoders and sequential circuits
VDAT'12 Proceedings of the 16th international conference on Progress in VLSI Design and Test
Reversible circuits: recent accomplishments and future challenges for an emerging technology
VDAT'12 Proceedings of the 16th international conference on Progress in VLSI Design and Test
Reversible P Systems to Simulate Fredkin Circuits
Fundamenta Informaticae - SPECIAL ISSUE MCU2004
Cellular Automata: Energy Consumption and Physical Feasibility
Fundamenta Informaticae - Cellular Automata
Journal of Computer and System Sciences
Zero-energy optical logic: can it be practical?
The Journal of Supercomputing
Reversible machine code and its abstract processor architecture
CSR'07 Proceedings of the Second international conference on Computer Science: theory and applications
Integration, the VLSI Journal
Describing and optimising reversible logic using a functional language
IFL'11 Proceedings of the 23rd international conference on Implementation and Application of Functional Languages
BDD-Based Synthesis of Reversible Logic
International Journal of Applied Metaheuristic Computing
Distort one qubit from copying and deleting
Quantum Information Processing
Derivation of test set for detecting multiple missing-gate faults in reversible circuits
Computers and Electrical Engineering
Ten Years of Building Broken Chips: The Physics and Engineering of Inexact Computing
ACM Transactions on Embedded Computing Systems (TECS) - Special Section on Probabilistic Embedded Computing
The robustness of magic state distillation against errors in Clifford gates
Quantum Information & Computation
Reversible spiking neural P systems
Frontiers of Computer Science: Selected Publications from Chinese Universities
Building connections between theories of computing and physical systems
Proceedings of the 2013 ACM international symposium on New ideas, new paradigms, and reflections on programming & software
Energy recovery and logical reversibility in adiabatic CMOS multiplier
RC'13 Proceedings of the 5th international conference on Reversible Computation
RC'13 Proceedings of the 5th international conference on Reversible Computation
White dots do matter: rewriting reversible logic circuits
RC'13 Proceedings of the 5th international conference on Reversible Computation
Exploiting negative control lines in the optimization of reversible circuits
RC'13 Proceedings of the 5th international conference on Reversible Computation
Logically and physically reversible natural computing: a tutorial
RC'13 Proceedings of the 5th international conference on Reversible Computation
On the Origin of Ambiguity in Efficient Communication
Journal of Logic, Language and Information
Online Testable Approaches in Reversible Logic
Journal of Electronic Testing: Theory and Applications
The Thermodynamic Cost of Fast Thought
Minds and Machines
RMDDS: Reed-muller decision diagram synthesis of reversible logic circuits
ACM Journal on Emerging Technologies in Computing Systems (JETC)
Trading off circuit lines and gate costs in the synthesis of reversible logic
Integration, the VLSI Journal
A Revised Attack on Computational Ontology
Minds and Machines
A novel QCA implementation of MUX-based universal shift register
Journal of Computational Electronics
A Compositional Semantics for the Reversible p-Calculus
LICS '13 Proceedings of the 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science
Hi-index | 0.07 |
It is argued that computing machines inevitably involve devices which perform logical functions that do not have a single-valued inverse. This logical irreversibility is associated with physical irreversibility and requires a minimal heat generation, per machine cycle, typically of the order of kT for each irreversible function. This dissipation serves the purpose of standardizing signals and making them independent of their exact logical history. Two simple, but representative, models of bistable devices are subjected to a more detailed analysis of switching kinetics to yield the relationship between speed and energy dissipation, and to estimate the effects of errors induced by thermal fluctuations.