Concept

Reversible computing

Related publications (45)

Mediatorless, Reversible Optical Nanosensor Enabled through Enzymatic Pocket Doping

Ardemis Anoush Boghossian, Benjamin Paul Johanès Gabriel Lambert, Vitalijs Zubkovs, Esra Ahunbay

This study presents a reversible, mediatorless, near-infrared glucose sensor based on glucose oxidase-wrapped SWCNTs. A combination of fluorescence, absorption, and Raman spectroscopy measurements suggest a fluorescence enhancement mechanism based on local ...

Wiley-Blackwell2017

Cryo-CMOS Electronic Control for Scalable Quantum Computing

Edoardo Charbon, Harald Arjan Robert Homulle, Fabio Sebastiano

Quantum computers1 could revolutionize computing in a profound way due to the massive speedup they promise. A quantum computer comprises a cryogenic quantum processor and a classical electronic controller. When scaling up the cryogenic quantum processor to ...

2017

SyReC: A hardware description language for the specification and synthesis of reversible circuits

Mathias Soeken

Although researchers and engineers originally focused on a preponderantly irreversible computing paradigm, alternative models receive more and more attention. Reversible computation is a promising example which has applications in many emerging technologie ...

2016

Exploiting Inherent Characteristic of Reversible Circuits for Faster Combinational Equivalence Checking

Giovanni De Micheli, Pierre-Emmanuel Julien Marc Gaillardon, Luca Gaetano Amarù

Reversible circuits implement invertible logic functions. They are of great interest to cryptography, coding theory, interconnect design, computer graphics, quantum computing, and many other fields. As for conventional circuits, checking the combinational ...

Ieee2016

Ancilla-free synthesis of large reversible functions using binary decision diagrams

Mathias Soeken

The synthesis of reversible functions has been an intensively studied research area in the last decade. Since almost all proposed approaches rely on representations of exponential size (such as truth tables and permutations), they cannot be applied efficie ...

Elsevier2016

An Extension of Transformation-based Reversible and Quantum Circuit Synthesis

Mathias Soeken

Transformation-based synthesis is a well established systematic approach to determine a circuit implementation from a reversible function specification. Due to the inherent bidirectionality of reversible circuits the basic method can be applied in a bidire ...

IEEE2016

Complexity of reversible circuits and their quantum implementations

Mathias Soeken, Nabila Abdessaied

We provide an extensive overview of upper bounds on the number of gates needed in reversible and quantum circuits. As reversible gate libraries we consider single-target gates, mixed-polarity multiple-controlled Toffoli gates, and the set consisting of the ...

2016

Enumeration of reversible functions and its application to circuit complexity

Giovanni De Micheli, Mathias Soeken, Nabila Abdessaied

We review combinational results to enumerate and classify reversible functions and investigate the application to circuit complexity. In particularly, we consider the effect of negating and permuting input and output variables and the effect of applying li ...

Springer2016

Technology mapping of reversible circuits to Clifford+T quantum circuits

Mathias Soeken, Nabila Abdessaied

The Clifford+T quantum gate library has attracted much interest in the design of quantum circuits, particularly since the contained operations can be implemented in a fault-tolerant manner. Since fault tolerant implementations of the T gate have very high ...

IEEE2016

Robotic rescue simulation for computing teaching in the UK: A case study

Josephine Anna Eleanor Hughes

Physical computing, and robotics in particular, is an excellent tool which can be used to help students understand many aspects of Engineering and Computer Science. However, obtaining and using suitable kits or hardware can involve significant financial ou ...

Institute of Electrical and Electronics Engineers Inc.2016

Graph Chatbot

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.