Reversible Computation
Springer International Publishing (Verlag)
978-3-031-09004-2 (ISBN)
The 10 full papers and 6 short papers included in this book were carefully reviewed and selected from 20 submissions.
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.
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.
| Erscheinungsdatum | 23.06.2022 |
|---|---|
| Reihe/Serie | Lecture Notes in Computer Science |
| Zusatzinfo | X, 239 p. 82 illus., 22 illus. in color. |
| Verlagsort | Cham |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Gewicht | 391 g |
| Themenwelt | Mathematik / Informatik ► Informatik ► Software Entwicklung |
| Mathematik / Informatik ► Informatik ► Theorie / Studium | |
| Schlagworte | Applications • Artificial Intelligence • Computer Hardware • Computer Networks • computer programming • Computer Science • Computer systems • conference proceedings • distributed computer systems • Distributed Systems • Embedded Systems • Field Programmable Gate Array (FPGA) • Formal Logic • Informatics • object-oriented programming • parallel processing systems • program compilers • Programming Languages • Research • reversible circuits • Software Design • Software engineering • theoretical computer science |
| ISBN-10 | 3-031-09004-7 / 3031090047 |
| ISBN-13 | 978-3-031-09004-2 / 9783031090042 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
