Reversible Computation

1. Front Matter

   PDF

2. Time Complexity of Tape Reduction for Reversible Turing Machines

   • Holger Bock Axelsen

   Pages 1-13

3. Towards a Reversible Functional Language

   • Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glück

   Pages 14-29

4. A Reversible Processor Architecture and Its Reversible Logic Design

   • Michael Kirkedal Thomsen, Holger Bock Axelsen, Robert Glück

   Pages 30-42

5. Optimization of Reversible Circuits Using Reconfigured Templates

   • Md. Mazder Rahman, Gerhard W. Dueck, Anindita Banerjee

   Pages 43-53

6. Hybrid GF(2) – Boolean Expressions ..for Quantum Computing Circuits

   • Claudio Moraga

   Pages 54-63

7. RevKit: An Open Source Toolkit for the Design of Reversible Circuits

   • Mathias Soeken, Stefan Frehse, Robert Wille, Rolf Drechsler

   Pages 64-76

8. Transforming MCT Circuits to NCVW Circuits

   • Zahra Sasanian, D. Michael Miller

   Pages 77-88

9. Changing the Gate Order for Optimal LNN Conversion

   • Atsushi Matsuo, Shigeru Yamashita

   Pages 89-101

10. Towards the Limits of Cascaded Reversible (Quantum-Inspired) Circuits

    • Stéphane Burignat, Mariusz Olczak, Michał Klimczak, Alexis De Vos

    Pages 102-111

11. Interfacing Reversible Pass-Transistor CMOS Chips with Conventional Restoring CMOS Circuits

    • Stéphane Burignat, Michael Kirkedal Thomsen, Michał Klimczak, Mariusz Olczak, Alexis De Vos

    Pages 112-122

12. Back Matter

    PDF

This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Reversible Computation, RC 2011, held in Gent, Belgium, in July 2011. The 10 revised full papers presented were carefully reviewed and selected from 25 initial submissions for inclusion in the book. The papers are devoted to all aspects of reversible computation, ranging from theoretical and experimental aspects to various applications. Topics addressed are: functional language for reversible computations, logic design, reversible circuits designed by a software toolkit called RevKit, application of reversible computation to the domain of quantum circuits, and physical realizations of reversible circuits in CMOS technologies.

• logic synthesis
• process algebras
• program debugging
• quantum computing
• testing
• algorithm analysis and problem complexity

• University of Gent, Gent, Belgium

  Alexis Vos

• University of Bremen, Bremen, Germany

  Robert Wille

Policies and ethics