Autor Yokoyama, Tetsuo
|
|
Documentos disponibles escritos por este autor (1)
Hacer una sugerencia Refinar búsqueda13th International Conference, RC 2021, Virtual Event, July 7–8, 2021, Proceedings / Yamashita, Shigeru ; Yokoyama, Tetsuo
Título : 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. 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) Índice Dewey: 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. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i 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.
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) Índice Dewey: 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. En línea: https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Link: https://biblioteca.umanizales.edu.co/ils/opac_css/index.php?lvl=notice_display&i
