Advertisement

Reversible Computation

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

  • Alexis De Vos
  • Robert Wille
Conference proceedings RC 2011

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

Table of contents

  1. Front Matter
  2. Tetsuo Yokoyama, Holger Bock Axelsen, Robert Glück
    Pages 14-29
  3. Michael Kirkedal Thomsen, Holger Bock Axelsen, Robert Glück
    Pages 30-42
  4. Md. Mazder Rahman, Gerhard W. Dueck, Anindita Banerjee
    Pages 43-53
  5. Mathias Soeken, Stefan Frehse, Robert Wille, Rolf Drechsler
    Pages 64-76
  6. Zahra Sasanian, D. Michael Miller
    Pages 77-88
  7. Atsushi Matsuo, Shigeru Yamashita
    Pages 89-101
  8. Stéphane Burignat, Mariusz Olczak, Michał Klimczak, Alexis De Vos
    Pages 102-111
  9. Stéphane Burignat, Michael Kirkedal Thomsen, Michał Klimczak, Mariusz Olczak, Alexis De Vos
    Pages 112-122
  10. Back Matter

About these proceedings

Introduction

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.

Keywords

logic synthesis process algebras program debugging quantum computing testing

Editors and affiliations

  • Alexis De Vos
    • 1
  • Robert Wille
    • 2
  1. 1.University of GentGentBelgium
  2. 2.University of BremenBremenGermany

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-642-29517-1
  • Copyright Information Springer-Verlag Berlin Heidelberg 2012
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-642-29516-4
  • Online ISBN 978-3-642-29517-1
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Electronics
IT & Software
Aerospace