Skip to main content
SpringerLink
Log in
Book cover

Reversible Computation

6th International Conference, RC 2014, Kyoto, Japan, July 10-11, 2014. Proceedings

  • Conference proceedings
  • © 2014

Overview

Editors:
  1. Shigeru Yamashita

    1. College of Information Science and Engineering, Ritsumeikan University, Kusatsu, Japan

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Shin-ichi Minato

    1. Graduate School of Information Science and Technology, Hokkaido University, Sapporo, Japan

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

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

Included in the following conference series:

Conference proceedings info: RC 2014.

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 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.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 (17 papers)

  1. Front Matter

    Download chapter PDF

  2. Invited Talks

    1. Concurrency and Reversibility

      • Irek Ulidowski, Iain Phillips, Shoji Yuen
      Pages 1-14

    2. Reversible Computing Using Adiabatic Superconductor Logic

      • Naoki Takeuchi, Yuki Yamanashi, Nobuyuki Yoshikawa
      Pages 15-25

    3. Classical Control of Large-Scale Quantum Computers

      • Simon J. Devitt
      Pages 26-39

  3. Automata for Reversible Computation

    1. Degrees of Reversibility for DFA and DPDA

      • Martin Kutrib, Thomas Worsch
      Pages 40-53

    2. Trace Complexity of Chaotic Reversible Cellular Automata

      • Jarkko Kari, Ville Salo, Ilkka Törmä
      Pages 54-66

  4. Notation and Languages for Reversible Computation

    1. Arbitration and Reversibility of Parallel Delay-Insensitive Modules

      • Daniel Morrison, Irek Ulidowski
      Pages 67-81

    2. Reference Counting for Reversible Languages

      • Torben Ægidius Mogensen
      Pages 82-94

  5. Synthesis and Optimization of Reversible Circuits

    1. Constructive Reversible Logic Synthesis for Boolean Functions with Special Properties

      • Anupam Chattopadhyay, Soumajit Majumder, Chander Chandak, Nahian Chowdhury
      Pages 95-110

    2. RevVis: Visualization of Structures and Properties in Reversible Circuits

      • Robert Wille, Jannis Stoppe, Eleonora Schönborn, Kamalika Datta, Rolf Drechsler
      Pages 111-124

    3. Templates for Positive and Negative Control Toffoli Networks

      • Md Zamilur Rahman, Jacqueline E. Rice
      Pages 125-136

    4. Minimal Designs of Reversible Sequential Elements

      • Anindita Banerjee, Anirban Pathak, Gerhard W. Dueck
      Pages 137-148

  6. Synthesis and Optimization of Quantum Circuits

    1. Quantum Circuit Optimization by Hadamard Gate Reduction

      • Nabila Abdessaied, Mathias Soeken, Rolf Drechsler
      Pages 149-162

    2. Mapping NCV Circuits to Optimized Clifford+T Circuits

      • D. Michael Miller, Mathias Soeken, Rolf Drechsler
      Pages 163-175

    3. 2D Qubit Layout Optimization for Topological Quantum Computation

      • Nurul Ain Binti Adnan, Shigeru Yamashita, Simon J. Devitt, Kae Nemoto
      Pages 176-188

  7. Validation and Representation of Quantum Logic

    1. Cross-Level Validation of Topological Quantum Circuits

      • Alexandru Paler, Simon Devitt, Kae Nemoto, Ilia Polian
      Pages 189-200

    2. Equivalence Checking in Multi-level Quantum Systems

      • Philipp Niemann, Robert Wille, Rolf Drechsler
      Pages 201-215

    3. BDD Operations for Quantum Graph States

      • Hidefumi Hiraishi, Hiroshi Imai
      Pages 216-229

  8. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Reversible Computation

Keywords

About this book

This book constitutes the refereed proceedings of the 6th International Conference on Reversible Computation, RC 2014, held in Kyoto, Japan, in July 2014. The 14 contributions presented together with three invited talks were carefully reviewed and selected from 27 submissions. The papers are organized in topical sections on automata for reversible computation; notation and languages for reversible computation; synthesis and optimization for reversible circuits; validation and representation of quantum logic.

Editors and Affiliations

  • College of Information Science and Engineering, Ritsumeikan University, Kusatsu, Japan

    Shigeru Yamashita

  • Graduate School of Information Science and Technology, Hokkaido University, Sapporo, Japan

    Shin-ichi Minato

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation