Reversible Computation : 15th International Conference, RC 2023, Giessen, Germany, July 18–19, 2023, Proceedings / / edited by Martin Kutrib, Uwe Meyer
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
Kutrib Martin
|
| Titolo: |
Reversible Computation : 15th International Conference, RC 2023, Giessen, Germany, July 18–19, 2023, Proceedings / / edited by Martin Kutrib, Uwe Meyer
|
| Pubblicazione: | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
| Edizione: | 1st ed. 2023. |
| Descrizione fisica: | 1 online resource (250 pages) |
| Disciplina: | 621.395 |
| Soggetto topico: | Logic design |
| Logic Design | |
| Altri autori: |
MeyerUwe
|
| Nota di contenuto: | Invited Paper -- Energy complexity of computation -- Foundations -- Replications in Reversible Concurrent Calculi -- Towards a Taxonomy for Reversible Computation Approaches -- Computational Complexity of Reversible Reaction Systems -- Reversible Programming -- Optimization of Reversible Control Flow Graphs -- Tail recursion transformation for invertible functions -- Saving Memory Space in Deep Neural Networks by Recomputing: A Survey -- Towards a Dereversibilizer: Fewer Asserts, Statically -- Quantum Computing -- Quantum String Matching Unfolded and Extended -- Optimizing Quantum Space using Spooky Pebble Games -- Uncomputation in the Qrisp high-level Quantum Programming Framework -- Quantum Circuits -- Improved Synthesis of Tooli-Hadamard Circuits -- Implementation of a Reversible Distributed Calculus -- Improved Cost-Metric for Nearest Neighbor Mapping of Quantum Circuitsto 2-Dimensional Hexagonal Architecture -- Exploiting the Benefits of Clean Ancilla Based Toffoli Gate Decomposition Across Architectures. |
| Sommario/riassunto: | This book constitutes the refereed proceedings of the 15th International Conference on Reversible Computation, RC 2023, held in Giessen, Germany, during July 18–19, 2023. The 11 full papers and 3 short papers included in this book were carefully reviewed and selected from 19 submissions. They were organized in topical sections as follows: Foundations; Reversible Programming; Quantum Computing; and Quantum Circuits. |
| Titolo autorizzato: | Reversible Computation |
| ISBN: | 3-031-38100-9 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 9910734836903321 |
| Lo trovi qui: | Univ. Federico II |
| Opac: | Controlla la disponibilità qui |
Serie:
Lecture Notes in Computer Science, . 1611-3349 ; ; 13960