default search action
RC 2013: Victoria, BC, Canada
- Gerhard W. Dueck, D. Michael Miller:
Reversible Computation - 5th International Conference, RC 2013, Victoria, BC, Canada, July 4-5, 2013. Proceedings. Lecture Notes in Computer Science 7948, Springer 2013, ISBN 978-3-642-38985-6
Invited Address
- Barry C. Sanders:
Efficient Algorithms for Universal Quantum Simulation. 1-10
Physical Implementation
- Daniel Morrison, Irek Ulidowski:
Reversible Delay-Insensitive Distributed Memory Modules. 11-24 - Ismo Hänninen, Hao Lu, Craig S. Lent, Gregory L. Snider:
Energy Recovery and Logical Reversibility in Adiabatic CMOS Multiplier. 25-35 - Samer Houri, Alexandre Valentian, Hervé Fanet:
Comparing CMOS-Based and NEMS-Based Adiabatic Logic Circuits. 36-45
Arithmetic
- Eva Rotenberg, James Cranch, Michael Kirkedal Thomsen, Holger Bock Axelsen:
Strength of the Reversible, Garbage-Free 2 k ±1 Multiplier. 46-57 - Mehdi Saeedi, Alireza Shafaei, Massoud Pedram:
Constant-Factor Optimization of Quantum Adders on 2D Quantum Architectures. 58-69 - Torben Æ. Mogensen:
Garbage-Free Reversible Constant Multipliers for Arbitrary Integers. 70-83 - Peter M. Hines:
Identities in Modular Arithmetic from Reversible Coherence Operations. 84-95
Programming and Data Structures
- Holger Bock Axelsen, Robert Glück:
Reversible Representation and Manipulation of Constructor Terms in the Heap. 96-109 - Alexander S. Green, Peter LeFanu Lumsdaine, Neil J. Ross, Peter Selinger, Benoît Valiron:
An Introduction to Quantum Programming in Quipper. 110-124 - Philipp Niemann, Robert Wille, Rolf Drechsler:
On the "Q" in QMDDs: Efficient Representation of Quantum Functionality in the QMDD Data-Structure. 125-140
Modelling
- Iain Phillips, Irek Ulidowski, Shoji Yuen:
Modelling of Bonding with Processes and Events. 141-154 - Jonathan A. Poritz:
Universal Gates in Other Universes. 155-167 - Martin Kutrib, Thomas Worsch:
Time-Symmetric Machines. 168-181
Synthesis and Optimization
- Arighna Deb, Debesh K. Das, Hafizur Rahaman, Bhargab B. Bhattacharya, Robert Wille, Rolf Drechsler:
Reversible Circuit Synthesis of Symmetric Functions Using a Simple Regular Structure. 182-195 - Mathias Soeken, Michael Kirkedal Thomsen:
White Dots do Matter: Rewriting Reversible Logic Circuits. 196-208 - Kamalika Datta, Gaurav Rathi, Robert Wille, Indranil Sengupta, Hafizur Rahaman, Rolf Drechsler:
Exploiting Negative Control Lines in the Optimization of Reversible Circuits. 209-220 - Nabila Abdessaied, Robert Wille, Mathias Soeken, Rolf Drechsler:
Reducing the Depth of Quantum Circuits Using Additional Circuit Lines. 221-233
Alternative Technologies
- Sonja Franke-Arnold, Simon J. Gay, Ittoop Vergheese Puthoor:
Quantum Process Calculus for Linear Optical Quantum Computing. 234-246 - Chris Thachuk:
Logically and Physically Reversible Natural Computing: A Tutorial. 247-262
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.