Wir verwenden Cookies und Analyse-Tools, um die Nutzerfreundlichkeit der Internet-Seite zu verbessern und für Marketingzwecke. Wenn Sie fortfahren, diese Seite zu verwenden, nehmen wir an, dass Sie damit einverstanden sind. Zur Datenschutzerklärung.
Reversible Computation
Details
This book constitutes the refereed proceedings of the 14th International Conference on Reversible Computation, RC 2022, which was held in Urbino, Italy, during July 5-6, 2021.
The 10 full papers and 6 short papers included in this book were carefully reviewed and selected from 20 submissions. They were organized in topical sections named: Reversible and Quantum Circuits; Applications of quantum Computing; Foundations and Applications.
Inhalt
Reversible and Quantum Circuits.- Reversible computation in integrated photonics.- Optimization of Quantum Boolean Circuits by Relative-Phase Toffoli Gates.- Constructing all qutrit controlled Clifford+T gates in Clifford+T.- Fast Control for Reversible Processors.- Designing a Reversible Stack Machine.- Applications of Quantum Computing.- Directed Graph Encoding in Quantum Computing supporting Edge-Failures.- Reordering Decision Diagrams for Quantum Computing Is Harder Than You Might Think.- Foundations and Applications.- Certifying algorithms and relevant properties of Reversible Primitive Permutations with Lean.- Algeo: An Algebraic Approach to Reversibility.- Concurrencies in Reversible Concurrent Calculi.- The @-Calculus.- Formal Translation from Reversing Petri Nets to Coloured Petri Nets.- Reversibility in Erlang: Imperative Constructs.- A Reversible Debugger for Imperative Parallel Programs with Contracts.- Towards Causal-consistent Reversibility of Imperative Concurrent Programs.
Weitere Informationen
- Allgemeine Informationen
- GTIN 09783031090042
- Genre Information Technology
- Auflage 1st edition 2022
- Editor Krzysztof Podlaski, Claudio Antares Mezzina
- Lesemotiv Verstehen
- Anzahl Seiten 252
- Größe H235mm x B155mm x T14mm
- Jahr 2022
- EAN 9783031090042
- Format Kartonierter Einband
- ISBN 3031090047
- Veröffentlichung 18.06.2022
- Titel Reversible Computation
- Untertitel 14th International Conference, RC 2022, Urbino, Italy, July 5-6, 2022, Proceedings
- Gewicht 388g
- Herausgeber Springer International Publishing
- Sprache Englisch