Skip to main content
SpringerLink
Log in
Book cover

Reversible Computation

Third International Workshop, Gent, Belgium, July 4-5, 2011, Revised Papers

  • Conference proceedings
  • © 2012

Overview

Editors:
  1. Alexis Vos

    1. University of Gent, Gent, Belgium

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Robert Wille

    1. University of Bremen, Bremen, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Up-to-date results
  • Fast track conference proceedings
  • State-of-the-art report

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 7165)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: RC 2011.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (10 papers)

  1. Front Matter

    Download chapter 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

    Download chapter PDF
Back to top

Other volumes

  1. Reversible Computation

Keywords

About this book

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.

Editors and Affiliations

  • University of Gent, Gent, Belgium

    Alexis Vos

  • University of Bremen, Bremen, Germany

    Robert Wille

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation