RC C

21 papers

YearTitle / Authors
2015A Fully Fault-Tolerant Representation of Quantum Circuits.
Alexandru Paler, Ilia Polian, Kae Nemoto, Simon J. Devitt
2015A Hierarchy of Fast Reversible Turing Machines.
Holger Bock Axelsen, Sebastian Jakobi, Martin Kutrib, Andreas Malcher
2015Application of Functional Decomposition in Synthesis of Reversible Circuits.
Mariusz Rawski
2015Design and Fabrication of a Microprocessor Using Adiabatic CMOS and Bennett Clocking.
Ismo K. Hänninen, César O. Campos-Aguillón, Rene Celis-Cordova, Gregory L. Snider
2015Equational Reasoning About Quantum Protocols.
Simon J. Gay, Ittoop Vergheese Puthoor
2015Garbage Collection for Reversible Functional Languages.
Torben Ægidius Mogensen
2015Improved Algorithms for Debugging Problems on Erroneous Reversible Circuits.
Yuma Inoue, Shin-ichi Minato
2015Moment Semantics for Reversible Rule-Based Systems.
Vincent Danos, Tobias Heindel, Ricardo Honorato-Zimmer, Sandro Stucki
2015Power-Clock Generator Impact on the Performance of NEM-Based Quasi-Adiabatic Logic Circuits.
Samer Houri, Gérard Billiot, Marc Belleville, Alexandre Valentian, Hervé Fanet
2015Real-Time Methods in Reversible Computation.
Tommi Pesu, Iain Phillips
2015Reverse Code Generation for Parallel Discrete Event Simulation.
Markus Schordan, David R. Jefferson, Peter D. Barnes Jr., Tomas Oppelstrup, Daniel J. Quinlan
2015Reversibility in Extended Measurement-Based Quantum Computation.
Nidhal Hamrit, Simon Perdrix
2015Reversible Computation - 7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings
Jean Krivine, Jean-Bernard Stefani
2015Reversible Ordered Restarting Automata.
Friedrich Otto, Matthias Wendlandt, Kent Kwee
2015Ricercar: A Language for Describing and Rewriting Reversible Circuits with Ancillae and Its Permutation Semantics.
Michael Kirkedal Thomsen, Robin Kaarsgaard, Mathias Soeken
2015Synthesis of Quantum Circuits for Dedicated Physical Machine Descriptions.
Philipp Niemann, Saikat Basu, Amlan Chakrabarti, Niraj K. Jha, Robert Wille
2015Technology Mapping for Single Target Gate Based Circuits Using Boolean Functional Decomposition.
Nabila Abdessaied, Mathias Soeken, Rolf Drechsler
2015Towards Line-Aware Realizations of Expressions for HDL-Based Synthesis of Reversible Circuits.
Zaid Al-Wardi, Robert Wille, Rolf Drechsler
2015Towards Modelling of Local Reversibility.
Stefan Kuhn, Irek Ulidowski
2015Towards a Cost Metric for Nearest Neighbor Constraints in Reversible Circuits.
Abhoy Kole, Kamalika Datta, Indranil Sengupta, Robert Wille
2015Towards a Domain-Specific Language for Reversible Assembly Sequences.
Ulrik Pagh Schultz, Johan Sund Laursen, Lars-Peter Ellekilde, Holger Bock Axelsen