Computation: finite and infinite machines
Computation: finite and infinite machines
Quantum Convolutional Error Correction Codes
QCQC '98 Selected papers from the First NASA International Conference on Quantum Computing and Quantum Communications
Quantum Computation of Fluid Dynamics
QCQC '98 Selected papers from the First NASA International Conference on Quantum Computing and Quantum Communications
Quantum Computer Can Not Speed Up Iterated Applications of a Black Box
QCQC '98 Selected papers from the First NASA International Conference on Quantum Computing and Quantum Communications
A Diakoptic Approach to Quantum Computation
QCQC '98 Selected papers from the First NASA International Conference on Quantum Computing and Quantum Communications
Time and Space Bounds for Reversible Simulation
ICALP '01 Proceedings of the 28th International Colloquium on Automata, Languages and Programming,
Quantum Cryptanalysis of Hidden Linear Functions (Extended Abstract)
CRYPTO '95 Proceedings of the 15th Annual International Cryptology Conference on Advances in Cryptology
An Execution Architecture for GSL
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
The Quantum Computing Challenge
Informatics - 10 Years Back. 10 Years Ahead.
Fourier Transforms and Quantum Computation
Theoretical Aspects of Computer Science, Advanced Lectures [First Summer School on Theoretical Aspects of Computer Science, Tehran, Iran, July 2000]
FC '00 Proceedings of the 4th International Conference on Financial Cryptography
Quantum Reversibility and a New Model of Quantum Automaton
FCT '01 Proceedings of the 13th International Symposium on Fundamentals of Computation Theory
A Simple Universal Logic Element and Cellular Automata for Reversible Computing
MCU '01 Proceedings of the Third International Conference on Machines, Computations, and Universality
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 Programming With Mixed States
Electronic Notes in Theoretical Computer Science (ENTCS)
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
Exact ESCT minimization for functions of up to six input variables
Integration, the VLSI Journal
Automata theory based on quantum logic: Reversibilities and pushdown automata
Theoretical Computer Science
Quantum conservative many-valued computing
Fuzzy Sets and Systems
Reversible computing and cellular automata—A survey
Theoretical Computer Science
Minimal universal library for n×n reversible circuits
Computers & Mathematics with Applications
From Reversible to Irreversible Computations
Electronic Notes in Theoretical Computer Science (ENTCS)
A DNA computing inspired computational model
Theoretical Computer Science
Synthesis of quaternary reversible/quantum comparators
Journal of Systems Architecture: the EUROMICRO Journal
Fast reversible language recognition using cellular automata
Information and Computation
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
Reversible Flowchart Languages and the Structured Reversible Program Theorem
ICALP '08 Proceedings of the 35th international colloquium on Automata, Languages and Programming, Part II
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
ACRI '08 Proceedings of the 8th international conference on Cellular Automata for Reseach and Industry
Lower Bounds for Generalized Quantum Finite Automata
Language and Automata Theory and Applications
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
Journal of Systems Architecture: the EUROMICRO Journal
Efficient approaches for designing reversible Binary Coded Decimal adders
Microelectronics Journal
The complexity of small universal Turing machines: A survey
Theoretical Computer Science
Efficient Reversible Logic Design of BCD Subtractors
Transactions on Computational Science III
Bidirectional Transformations: A Cross-Discipline Perspective
ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Theory of one-tape linear-time Turing machines
Theoretical Computer Science
Binary Adders on Quantum-Dot Cellular Automata
Journal of Signal Processing Systems
Real-time reversible iterative arrays
Theoretical Computer Science
A Novel RM-Based Algorithm for Reversible Circuits
ISICA '09 Proceedings of the 4th International Symposium on Advances in Computation and Intelligence
Quantum circuit oracles for Abstract Machine computations
Theoretical Computer Science
Electronic Notes in Theoretical Computer Science (ENTCS)
Universality Issues in Reversible Computing Systems and Cellular Automata (Extended Abstract)
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
A universal reversible turing machine
MCU'07 Proceedings of the 5th international conference on Machines, computations, and universality
On the fault testing for reversible circuits
ISAAC'07 Proceedings of the 18th international conference on Algorithms and computation
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
Model theoretic complexity of automatic structures
TAMC'08 Proceedings of the 5th international conference on Theory and applications of models of computation
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
On one application of computations with oracle
Programming and Computing Software
High throughput and low power dissipation in QCA pipelines using Bennett clocking
Proceedings of the 2010 IEEE/ACM International Symposium on Nanoscale Architectures
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
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
Reversibility and determinism in sequential multiset rewriting
UC'10 Proceedings of the 9th international conference on Unconventional computation
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
Transistor realization of reversible "ZS" series gates and reversible array multiplier
Microelectronics Journal
Partial Observation of Quantum Turing Machines and a Weaker Well-Formedness Condition
Electronic Notes in Theoretical Computer Science (ENTCS)
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
Theoretical Computer Science
On the Effect of Quantum Interaction Distance on Quantum Addition Circuits
ACM Journal on Emerging Technologies in Computing Systems (JETC)
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
On quantum one-way permutations
Quantum Information & Computation
The geometry of quantum computation
Quantum Information & Computation
LATA'11 Proceedings of the 5th international conference on Language and automata theory and applications
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
Proceedings of the 9th International Conference on Computational Methods in Systems Biology
Quantum computing: an IBM perspective
IBM Journal of Research and Development
Computational biology: a programming perspective
Formal modeling
How many query superpositions are needed to learn?
ALT'06 Proceedings of the 17th international conference on Algorithmic Learning Theory
The new BCD subtractor and its reversible logic implementation
ACSAC'06 Proceedings of the 11th Asia-Pacific conference on Advances in Computer Systems Architecture
ETRICS'06 Proceedings of the 2006 international conference on Emerging Trends in Information and Communication Security
Reversible conservative rational abstract geometrical computation is turing-universal
CiE'06 Proceedings of the Second conference on Computability in Europe: logical Approaches to Computational Barriers
A design-based model of reversible computation
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
Characterizations of one-way general quantum finite automata
Theoretical Computer Science
Group theory based synthesis of binary reversible circuits
TAMC'06 Proceedings of the Third international conference on Theory and Applications of Models of Computation
Quantum Information Processing
Can quantum entanglement detection schemes improve search?
Quantum Information Processing
DLT'05 Proceedings of the 9th international conference on Developments in Language Theory
Universality and cellular automata
MCU'04 Proceedings of the 4th international conference on Machines, Computations, and Universality
Classification and universality of reversible logic elements with one-bit memory
MCU'04 Proceedings of the 4th international conference on Machines, Computations, and Universality
Universal families of reversible p systems
MCU'04 Proceedings of the 4th international conference on Machines, Computations, and Universality
Sequential and maximally parallel multiset rewriting: reversibility and determinism
Natural Computing: an international journal
ACSAC'05 Proceedings of the 10th Asia-Pacific conference on Advances in Computer Systems Architecture
LATA'10 Proceedings of the 4th international conference on Language and Automata Theory and Applications
Quantum automata theory – a review
Algebraic Foundations in Computer Science
On reversibility and determinism in p systems
WMC'09 Proceedings of the 10th international conference on Membrane Computing
The complexity of small universal turing machines: a survey
SOFSEM'12 Proceedings of the 38th international conference on Current Trends in Theory and Practice of Computer Science
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
Time complexity of tape reduction for reversible turing machines
RC'11 Proceedings of the Third international conference on Reversible Computation
Towards a reversible functional language
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
Reversible multi-head finite automata characterize reversible logarithmic space
LATA'12 Proceedings of the 6th international conference on Language and Automata Theory and Applications
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
Design and implementation of efficient vedic multiplier using reversible logic
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
Two-Way Reversible Multi-Head Finite Automata
Fundamenta Informaticae - Theory that Counts: To Oscar Ibarra on His 70th Birthday
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
On the Circuit Depth of Structurally Reversible Cellular Automata
Fundamenta Informaticae
Fundamenta Informaticae
Design of 1-tape 2-symbol reversible Turing machines based on reversible logic elements
Theoretical Computer Science
Quantum walks: a comprehensive review
Quantum Information Processing
Real-time reversible iterative arrays
FCT'07 Proceedings of the 16th international conference on Fundamentals of Computation Theory
Reversible machine code and its abstract processor architecture
CSR'07 Proceedings of the Second international conference on Computer Science: theory and applications
Describing and optimising reversible logic using a functional language
IFL'11 Proceedings of the 23rd international conference on Implementation and Application of Functional Languages
Quantum speed-up for unsupervised learning
Machine Learning
BDD-Based Synthesis of Reversible Logic
International Journal of Applied Metaheuristic Computing
Reversible spiking neural P systems
Frontiers of Computer Science: Selected Publications from Chinese Universities
Energy recovery and logical reversibility in adiabatic CMOS multiplier
RC'13 Proceedings of the 5th international conference on Reversible Computation
Comparing CMOS-Based and NEMS-Based adiabatic logic circuits
RC'13 Proceedings of the 5th international conference on Reversible Computation
Reversible representation and manipulation of constructor terms in the heap
RC'13 Proceedings of the 5th international conference on Reversible Computation
Universal gates in other universes
RC'13 Proceedings of the 5th international conference on Reversible Computation
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
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
International Journal of Parallel Programming
A novel QCA implementation of MUX-based universal shift register
Journal of Computational Electronics
Arithmetical Analysis of Biomolecular Finite Automaton
Fundamenta Informaticae
Hi-index | 0.01 |
The usual general-purpose computing automaton (e.g.. a Turing machine) is logically irreversible- its transition function lacks a single-valued inverse. Here it is shown that such machines may he made logically reversible at every step, while retainillg their simplicity and their ability to do general computations. This result is of great physical interest because it makes plausible the existence of thermodynamically reversible computers which could perform useful computations at useful speed while dissipating considerably less than kT of energy per logical step. In the first stage of its computation the logically reversible automaton parallels the corresponding irreversible automaton, except that it saves all intermediate results, there by avoiding the irreversible operation of erasure. The second stage consists of printing out the desired output. The third stage then reversibly disposes of all the undesired intermediate results by retracing the steps of the first stage in backward order (a process which is only possible because the first stage has been carried out reversibly), there by restoring the machine (except for the now-written output tape) to its original condition. The final machine configuration thus contains the desired output and a reconstructed copy of the input, but no other undesired data. The foregoing results are demonstrated explicitly using a type of three-tape Turing machine. The biosynthesis of messenger RNA is discussed as a physical example of reversible computation.