Reversible Computation

5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings

  • Gerhard W. Dueck
  • D. Michael Miller
Conference proceedings RC 2013
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7948)

Table of contents

  1. Front Matter
  2. Invited Address

  3. Physical Implementation

    1. Daniel Morrison, Irek Ulidowski
      Pages 11-24
    2. Ismo Hänninen, Hao Lu, Craig S. Lent, Gregory L. Snider
      Pages 25-35
    3. Samer Houri, Alexandre Valentian, Hervé Fanet
      Pages 36-45
  4. Arithmetic

    1. Eva Rotenberg, James Cranch, Michael Kirkedal Thomsen, Holger Bock Axelsen
      Pages 46-57
    2. Mehdi Saeedi, Alireza Shafaei, Massoud Pedram
      Pages 58-69
  5. Programming and Data Structures

    1. Holger Bock Axelsen, Robert Glück
      Pages 96-109
    2. Alexander S. Green, Peter LeFanu Lumsdaine, Neil J. Ross, Peter Selinger, Benoît Valiron
      Pages 110-124
  6. Modelling

    1. Iain Phillips, Irek Ulidowski, Shoji Yuen
      Pages 141-154
    2. Jonathan A. Poritz
      Pages 155-167
    3. Martin Kutrib, Thomas Worsch
      Pages 168-181
  7. Synthesis and Optimization

    1. Arighna Deb, Debesh K. Das, Hafizur Rahaman, Bhargab B. Bhattacharya, Robert Wille, Rolf Drechsler
      Pages 182-195
    2. Mathias Soeken, Michael Kirkedal Thomsen
      Pages 196-208
    3. Kamalika Datta, Gaurav Rathi, Robert Wille, Indranil Sengupta, Hafizur Rahaman, Rolf Drechsler
      Pages 209-220
    4. Nabila Abdessaied, Robert Wille, Mathias Soeken, Rolf Drechsler
      Pages 221-233
  8. Alternative Technologies

    1. Sonja Franke-Arnold, Simon J. Gay, Ittoop V. Puthoor
      Pages 234-246

About these proceedings

Introduction

This book constitutes the refereed proceedings of the 5th International Conference on Reversible Computation, RC 2013, held in Victoria, BC, Canada, in July 2013. The 19 contributions presented together with one invited paper were carefully reviewed and selected from 37 submissions. The papers are organized in topical sections on physical implementation; arithmetic; programming and data structures; modelling; synthesis and optimization; and alternative technologies.

Keywords

circuit optimization formal methods probabilistic computation quantum computing reversible circuits

Editors and affiliations

  • Gerhard W. Dueck
    • 1
  • D. Michael Miller
    • 2
  1. 1.Faculty of Computer ScienceUniversity of New BrunswickFrederictonCanada
  2. 2.Department of Computer ScienceUniversity of Victoria,VictoriaCanada

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-38986-3
  • Copyright Information Springer-Verlag Berlin Heidelberg 2013
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-38985-6
  • Online ISBN 978-3-642-38986-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book