Reversible Computation / Lanese, Ivan ; Rawski, Mariusz  

Público ISBD Ningún comentario para este registro. Título : Reversible Computation : 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings Tipo de documento: documento electrónico Autores: Lanese, Ivan, ; Rawski, Mariusz, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: XII, 281 p. 355 ilustraciones, 56 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-52482-1 Nota general: Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: diseño lógico  Ciencias de la Computación  Estructuras de datos (Informática)  Teoría de la información  Ingeniería Informática  Red de computadoras  Estructuras de datos y teoría de la información  Ingeniería Informática y Redes Clasificación: 621.395 Resumen: Este libro constituye las actas arbitradas de la 12.ª Conferencia Internacional sobre Computación Reversible, RC 2020, celebrada en Oslo, Noruega, en julio de 2020. Los 17 artículos completos incluidos en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 22 presentaciones. Los artículos están organizados en las siguientes secciones temáticas: teoría y fundamento; lenguajes de programación; síntesis de circuitos; evaluación de síntesis de circuitos; y aplicaciones e implementaciones. Nota de contenido: Reversible Occurrence Nets and Causal Reversible Event Structures -- Involutory Turing Machines -- Event structures for the reversible early internal pi-calculus -- Hermes: A Language for Light-Weight Encryption -- Reversible programming languages capturing complexity classes -- On the expressivity of total reversible programming languages -- Toward a Curry-Howard Correspondence for Linear, Reversible Computation -- A tutorial introduction to quantum circuit programming in dependently typed Proto-Quipper -- Fractional Types: Expressive and Safe Space Management for Ancilla Bits -- Circuit Synthesis -- Quantum CNOT circuits synthesis for NISQ architectures using the syndrome decoding problem -- Maximality of reversible gate sets -- Search-based Transformation Synthesis for 3-valued Reversible Circuits.-ReverCSP: Time-travelling in CSP computations -- Reversible Computations in Logic Programming -- Towards a formal account for software transactional memory -- Encoding Reversing Petri Nets in Answer Set Programming -- A Reversible Runtime Environment for Parallel Programs. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 12th International Conference on Reversible Computation, RC 2020, held in Oslo, Norway, in July 2020. The 17 full papers included in this volume were carefully reviewed and selected from 22 submissions. The papers are organized in the following topical sections: theory and foundation; programming languages; circuit synthesis; evaluation of circuit synthesis; and applications and implementations. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Reversible Computation : 12th International Conference, RC 2020, Oslo, Norway, July 9-10, 2020, Proceedings [documento electrónico] / Lanese, Ivan, ; Rawski, Mariusz,  . -  1 ed.  . - [s.l.] : Springer, 2020 . - XII, 281 p. 355 ilustraciones, 56 ilustraciones en color. ISBN : 978-3-030-52482-1 Libro disponible en la plataforma SpringerLink. Descarga y lectura en formatos PDF, HTML y ePub. Descarga completa o por capítulos. Idioma : Inglés (eng) Palabras clave: diseño lógico  Ciencias de la Computación  Estructuras de datos (Informática)  Teoría de la información  Ingeniería Informática  Red de computadoras  Estructuras de datos y teoría de la información  Ingeniería Informática y Redes Clasificación: 621.395 Resumen: Este libro constituye las actas arbitradas de la 12.ª Conferencia Internacional sobre Computación Reversible, RC 2020, celebrada en Oslo, Noruega, en julio de 2020. Los 17 artículos completos incluidos en este volumen fueron cuidadosamente revisados ​​y seleccionados entre 22 presentaciones. Los artículos están organizados en las siguientes secciones temáticas: teoría y fundamento; lenguajes de programación; síntesis de circuitos; evaluación de síntesis de circuitos; y aplicaciones e implementaciones. Nota de contenido: Reversible Occurrence Nets and Causal Reversible Event Structures -- Involutory Turing Machines -- Event structures for the reversible early internal pi-calculus -- Hermes: A Language for Light-Weight Encryption -- Reversible programming languages capturing complexity classes -- On the expressivity of total reversible programming languages -- Toward a Curry-Howard Correspondence for Linear, Reversible Computation -- A tutorial introduction to quantum circuit programming in dependently typed Proto-Quipper -- Fractional Types: Expressive and Safe Space Management for Ancilla Bits -- Circuit Synthesis -- Quantum CNOT circuits synthesis for NISQ architectures using the syndrome decoding problem -- Maximality of reversible gate sets -- Search-based Transformation Synthesis for 3-valued Reversible Circuits.-ReverCSP: Time-travelling in CSP computations -- Reversible Computations in Logic Programming -- Towards a formal account for software transactional memory -- Encoding Reversing Petri Nets in Answer Set Programming -- A Reversible Runtime Environment for Parallel Programs. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 12th International Conference on Reversible Computation, RC 2020, held in Oslo, Norway, in July 2020. The 17 full papers included in this volume were carefully reviewed and selected from 22 submissions. The papers are organized in the following topical sections: theory and foundation; programming languages; circuit synthesis; evaluation of circuit synthesis; and applications and implementations. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]

---

1 (1 - 1 / 1) Ver por página : 25 50 100 200