Reversible Computation / Yamashita, Shigeru ; Yokoyama, Tetsuo  

Público ISBD Ningún comentario para este registro. Título : Reversible Computation : 13th International Conference, RC 2021, Virtual Event, July 7–8, 2021, Proceedings / Tipo de documento: documento electrónico Autores: Yamashita, Shigeru, ; Yokoyama, Tetsuo, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2021 Número de páginas: XII, 275 p. 137 ilustraciones, 57 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-79837-6 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  Computadoras  Propósitos especiales  Ciencias de la Computación  Microprogramación  Procesamiento del lenguaje natural (Informática)  Sistemas de propósito especial y basados ​​en aplicaciones  Teoría de la Computación  Estructuras de control y microprogramación.  Procesamiento del lenguaje natural (PNL) Clasificación: 621.395 Resumen: Este libro constituye las actas arbitradas de la 13.ª Conferencia Internacional sobre Computación Reversible, RC 2021, que se celebró en línea del 7 al 8 de julio de 2021. Los 11 artículos incluidos en este libro fueron cuidadosamente revisados ​​y seleccionados entre 21 presentaciones. El libro también contiene 2 charlas invitadas en formato artículo completo, 3 artículos de trabajo en progreso y 1 documento de herramientas. Estaban organizados en secciones temáticas denominadas: programación y lenguajes de programación; cálculo concurrente reversible; teoría y fundamentos; y síntesis de circuitos. . Nota de contenido: Invited Talks -- How Can We Construct Reversible Turing Machines in a Very Simple Reversible Cellular Automaton -- Variational Quantum Eigensolver and Its Applications -- Programming and Programming Languages -- Reversible Functional Array Programming -- Compiling Janus to RSSA -- Causal-Consistent Debugging of Distributed Erlang Programs -- Towards a Unified Language Architecture for Reversible Object-Oriented Programming -- Reversible Concurrent Computation -- Towards a truly concurrent semantics for reversible CCS -- Forward-Reverse Observational Equivalences in CCSK -- Explicit Identifiers and Contexts in Reversible Concurrent Calculus -- Reversibility and predictions -- Theory and Foundations -- A Tangled Web of 12 Lens Laws -- Splitting recursion schemes into reversible and classical interacting threads -- Reversibility of Executable Interval Temporal Logic Specifications -- Circuit Synthesis -- Efficient Construction of Functional Representations for QuantumAlgorithms -- Finding Optimal Implementations of Non-native CNOT Gates using SAT -- Fast Swapping in a Quantum Multiplier Modelled as a Queuing Network -- OR-Toffoli and OR-Peres Reversible Gates. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 13th International Conference on Reversible Computation, RC 2021, which was held online during July 7-8, 2021. The 11 papers included in this book were carefully reviewed and selected from 21 submissions. The book also contains 2 invited talks in full-paper length, 3 work-in-progress papers and 1 tool paper. They were organized in topical sections named: programming and programming languages; reversible concurrent computation; theory and foundations; and circuit synthesis. . Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Reversible Computation : 13th International Conference, RC 2021, Virtual Event, July 7–8, 2021, Proceedings / [documento electrónico] / Yamashita, Shigeru, ; Yokoyama, Tetsuo,  . -  1 ed.  . - [s.l.] : Springer, 2021 . - XII, 275 p. 137 ilustraciones, 57 ilustraciones en color. ISBN : 978-3-030-79837-6 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  Computadoras  Propósitos especiales  Ciencias de la Computación  Microprogramación  Procesamiento del lenguaje natural (Informática)  Sistemas de propósito especial y basados ​​en aplicaciones  Teoría de la Computación  Estructuras de control y microprogramación.  Procesamiento del lenguaje natural (PNL) Clasificación: 621.395 Resumen: Este libro constituye las actas arbitradas de la 13.ª Conferencia Internacional sobre Computación Reversible, RC 2021, que se celebró en línea del 7 al 8 de julio de 2021. Los 11 artículos incluidos en este libro fueron cuidadosamente revisados ​​y seleccionados entre 21 presentaciones. El libro también contiene 2 charlas invitadas en formato artículo completo, 3 artículos de trabajo en progreso y 1 documento de herramientas. Estaban organizados en secciones temáticas denominadas: programación y lenguajes de programación; cálculo concurrente reversible; teoría y fundamentos; y síntesis de circuitos. . Nota de contenido: Invited Talks -- How Can We Construct Reversible Turing Machines in a Very Simple Reversible Cellular Automaton -- Variational Quantum Eigensolver and Its Applications -- Programming and Programming Languages -- Reversible Functional Array Programming -- Compiling Janus to RSSA -- Causal-Consistent Debugging of Distributed Erlang Programs -- Towards a Unified Language Architecture for Reversible Object-Oriented Programming -- Reversible Concurrent Computation -- Towards a truly concurrent semantics for reversible CCS -- Forward-Reverse Observational Equivalences in CCSK -- Explicit Identifiers and Contexts in Reversible Concurrent Calculus -- Reversibility and predictions -- Theory and Foundations -- A Tangled Web of 12 Lens Laws -- Splitting recursion schemes into reversible and classical interacting threads -- Reversibility of Executable Interval Temporal Logic Specifications -- Circuit Synthesis -- Efficient Construction of Functional Representations for QuantumAlgorithms -- Finding Optimal Implementations of Non-native CNOT Gates using SAT -- Fast Swapping in a Quantum Multiplier Modelled as a Queuing Network -- OR-Toffoli and OR-Peres Reversible Gates. Tipo de medio : Computadora Summary : This book constitutes the refereed proceedings of the 13th International Conference on Reversible Computation, RC 2021, which was held online during July 7-8, 2021. The 11 papers included in this book were carefully reviewed and selected from 21 submissions. The book also contains 2 invited talks in full-paper length, 3 work-in-progress papers and 1 tool paper. They were organized in topical sections named: programming and programming languages; reversible concurrent computation; theory and foundations; and circuit synthesis. . 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