Hugendubel.info - Die B2B Online-Buchhandlung 

Merkliste
Die Merkliste ist leer.
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Reversible Computation

E-BookPDF1 - PDF WatermarkE-Book
247 Seiten
Englisch
Springer Nature Switzerlanderschienen am28.05.20242024
This book constitutes the refereed proceedings of the 16th International Conference on Reversible Computation, RC 2024, held in Torun, Poland, during July 4-5, 2024.

The 10 full papers and 3 short papers included along with two invited papers in this book were carefully reviewed and selected from 18 submissions. They were organized in topical sections as follows: Models of Reversible Computation; Experiments in Reversible Programming; Reversible and Quantum Programming Languages; and Synthesis, Verification, and Analysis of Reversible and Quantum Systems.mehr
Verfügbare Formate
BuchKartoniert, Paperback
EUR62,05
E-BookPDF1 - PDF WatermarkE-Book
EUR106,99

Produkt

KlappentextThis book constitutes the refereed proceedings of the 16th International Conference on Reversible Computation, RC 2024, held in Torun, Poland, during July 4-5, 2024.

The 10 full papers and 3 short papers included along with two invited papers in this book were carefully reviewed and selected from 18 submissions. They were organized in topical sections as follows: Models of Reversible Computation; Experiments in Reversible Programming; Reversible and Quantum Programming Languages; and Synthesis, Verification, and Analysis of Reversible and Quantum Systems.
Details
Weitere ISBN/GTIN9783031620768
ProduktartE-Book
EinbandartE-Book
FormatPDF
Format Hinweis1 - PDF Watermark
FormatE107
Erscheinungsjahr2024
Erscheinungsdatum28.05.2024
Auflage2024
ReiheLecture Notes in Computer Science
Reihen-Nr.14680
Seiten247 Seiten
SpracheEnglisch
Dateigrösse11136 Kbytes
IllustrationenX, 247 p. 104 illus., 39 illus. in color.
Artikel-Nr.15426201
Rubriken
Genre9200

Inhalt/Kritik

Inhaltsverzeichnis
.- Invited Papers..- Causal Debugging for Concurrent Systems (Tutorial)..- Compositional Reversible Computation..- Models of Reversible Computation..- Algorithmically expressive, always-terminating model for reversible computation..- A toy model provably featuring an arrow of time without past hypothesis..- Reversibility with holes..- Experiments in Reversible Programming..- Exploring the Energy Overhead of Reversible Programs Executed on Irreversible Hardware..- Towards Clean Reversible Lossless Compression. A Reversible Programming Experiment with Zip..- Reversible and Quantum Programming Languages..- A Small-Step Semantics for Janus..- Jeopardy: An Invertible Functional Programming Language..- LinguaQuanta: Towards a Quantum Transpiler Between OpenQASM and Quipper..- Connecting Reversible and Classical Computing through Hybrid SSA..- Synthesis, Verification, and Analysis of Reversible and Quantum Systems..- Concurrent RSSA for CRIL: Flow analysis for a concurrent reversible programming language..- Is Simulation the Only Alternative for Effective Verification of Dynamic Quantum Circuits?..- Model Checking Reversible Systems: Forwardly..- Exact Synthesis of Multiqubit Clifford-Cyclotomic Circuits.mehr