Reversible Computation
14th International Conference, RC 2022, Urbino, Italy, July 5-6, 2022, Proceedings
(Sprache: Englisch)
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...
The 10 full papers and 6 short papers included in this book were...
Voraussichtlich lieferbar in 3 Tag(en)
versandkostenfrei
Buch (Kartoniert)
69.54 €
- Lastschrift, Kreditkarte, Paypal, Rechnung
- Kostenlose Rücksendung
- Ratenzahlung möglich
Produktdetails
Produktinformationen zu „Reversible Computation “
Klappentext zu „Reversible Computation “
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.
Inhaltsverzeichnis zu „Reversible Computation “
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.
Bibliographische Angaben
- 2022, 1st ed. 2022, X, 239 Seiten, 22 farbige Abbildungen, Maße: 15,5 x 23,5 cm, Kartoniert (TB), Englisch
- Herausgegeben: Claudio Antares Mezzina, Krzysztof Podlaski
- Verlag: Springer, Berlin
- ISBN-10: 3031090047
- ISBN-13: 9783031090042
Sprache:
Englisch
Kommentar zu "Reversible Computation"
0 Gebrauchte Artikel zu „Reversible Computation“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Reversible Computation".
Kommentar verfassen