Buch, Englisch, Band 9138, 291 Seiten, Paperback, Format (B × H): 155 mm x 235 mm, Gewicht: 4569 g
7th International Conference, RC 2015, Grenoble, France, July 16-17, 2015, Proceedings
Buch, Englisch, Band 9138, 291 Seiten, Paperback, Format (B × H): 155 mm x 235 mm, Gewicht: 4569 g
Reihe: Programming and Software Engineering
ISBN: 978-3-319-20859-6
Verlag: Springer International Publishing
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
Weitere Infos & Material
Invited Paper.- Moment Semantics for Reversible Rule-Based Systems.- Reversible machines.- A Hierarchy of Fast Reversible Turing Machines.- Real-time methods in reversible computation.- Reversible Ordered Restarting Automata.- Reversible Languages.- Garbage Collection for Reversible Functional Languages.- Reverse Code Generation for Parallel Discrete Event Simulation.- Towards a Domain-Specific Language for Reversible Assembly Sequences.- Design and verification of quantum circuits.- Reversibility in Extended Measurement-based Quantum Computation.- A Fully Fault-Tolerant Representation of Quantum Circuits.- Equational reasoning about quantum protocols.- Design of reversible circuits.- Design and Fabrication of a Microprocessor using Adiabatic CMOS and Bennett Clocking.- Improved Algorithms for Debugging Problems on Erroneous Reversible Circuits.- Ricercar: A Language for Describing and Rewriting Reversible Circuits with Ancillae and its Permutation Semantics.- Circuit Synthesis.- Technology Mapping for Single Target Gate based Circuits using Boolean Functional Decomposition.- Towards Code Optimization for Line-aware HDL-based Synthesis of Reversible Circuits.- Synthesis of Quantum Circuits for Dedicated Physical Machine Descriptions.- Short Papers.- Power-Clock Generator Impact on the Performance of NEM-Based Adiabatic Logic Circuits.- A Cost Metric for the Design of Nearest Neighbor Quantum Circuits at the Reversible Logic Level.- Towards modelling of local reversibility.- Application of Functional Decomposition in Synthesis of Reversible Circuits.