Reversible Computation 15th International Conference, RC 2023, Giessen, Germany, July 18–19, 2023, Proceedings /

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 o...

وصف كامل

محفوظ في:
التفاصيل البيبلوغرافية
مؤلف مشترك: SpringerLink (Online service)
مؤلفون آخرون: Kutrib, Martin (المحرر), Meyer, Uwe (المحرر)
التنسيق: الكتروني كتاب الكتروني
اللغة:الإنجليزية
منشور في: Cham : Springer Nature Switzerland : Imprint: Springer, 2023.
الطبعة:1st ed. 2023.
سلاسل:Lecture Notes in Computer Science, 13960
الموضوعات:
الوصول للمادة أونلاين:https://doi.org/10.1007/978-3-031-38100-3
الوسوم: إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
جدول المحتويات:
  • 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.