Información del autor
Autor Lanese, Ivan |
Documentos disponibles escritos por este autor (2)
Crear una solicitud de compra Refinar búsqueda
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 [...] Reversible Computation: Extending Horizons of Computing / Ulidowski, Irek ; Lanese, Ivan ; Schultz, Ulrik Pagh ; Ferreira, Carla
TÃtulo : Reversible Computation: Extending Horizons of Computing : Selected Results of the COST Action IC1405 Tipo de documento: documento electrónico Autores: Ulidowski, Irek, ; Lanese, Ivan, ; Schultz, Ulrik Pagh, ; Ferreira, Carla, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2020 Número de páginas: XIV, 237 p. 155 ilustraciones, 34 ilustraciones en color. ISBN/ISSN/DL: 978-3-030-47361-7 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 Sistemas informáticos Red de computadoras Computadoras Propósitos especiales IngenierÃa de software Sistemas operativos (computadoras) Implementación de sistema informático Redes de comunicación informática Sistemas de propósito especial y basados ​​en aplicaciones Sistemas operativos Clasificación: 621.395 Resumen: Esta encuesta sobre el estado del arte de acceso abierto presenta los principales resultados cientÃficos recientes en el área de la computación reversible, centrándose en aquellos que surgieron durante la Acción COST IC1405 "Computación reversible - Extendiendo horizontes de computación", una red de investigación europea que operaba desde mayo de 2015 hasta abril de 2019. La computación reversible es un nuevo paradigma que amplÃa el modo de computación tradicional solo hacia adelante con la capacidad de ejecutarse a la inversa, de modo que la computación pueda ejecutarse hacia atrás con tanta facilidad y naturalidad como hacia adelante. Su objetivo es ofrecer dispositivos y software informáticos novedosos y mejorar los sistemas existentes dotándolos de reversibilidad. Hay muchas aplicaciones potenciales de la computación reversible, incluidos lenguajes y herramientas de software para sistemas distribuidos confiables y orientados a la recuperación y circuitos y puertas lógicas reversibles revolucionarios, pero solo pueden realizarse y tener un efecto duradero si primero se establecen bases teóricas firmes y conceptuales. Nota de contenido: Foundations of Reversible Computation -- Software and Reversible Systems: A Survey of Recent Activities -- Simulation and Design of Quantum Circuits -- Research on Reversible Functions Having Component Functions with Specified Properties - An Overview -- A Case Study for Reversible Computing: Reversible Debugging -- Towards Choreographic-Based Monitoring -- Reversibility in Chemical Reactions -- Reversible Control of Robots -- Reversible Languages and Incremental State Saving in Optimistic Parallel Discrete Event Simulation -- Reversible Computation in Wireless Communications -- Error Reconciliation in Quantum Key Distribution Protocols. Tipo de medio : Computadora Summary : This open access State-of-the-Art Survey presents the main recent scientific outcomes in the area of reversible computation, focusing on those that have emerged during COST Action IC1405 "Reversible Computation - Extending Horizons of Computing", a European research network that operated from May 2015 to April 2019. Reversible computation is a new paradigm that extends the traditional forwards-only mode of computation with the ability to execute in reverse, so that computation can run backwards as easily and naturally as forwards. It aims to deliver novel computing devices and software, and to enhance existing systems by equipping them with reversibility. There are many potential applications of reversible computation, including languages and software tools for reliable and recovery-oriented distributed systems and revolutionary reversible logic gates and circuits, but they can only be realized and have lasting effect if conceptual and firm theoretical foundations are established first. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Reversible Computation: Extending Horizons of Computing : Selected Results of the COST Action IC1405 [documento electrónico] / Ulidowski, Irek, ; Lanese, Ivan, ; Schultz, Ulrik Pagh, ; Ferreira, Carla, . - 1 ed. . - [s.l.] : Springer, 2020 . - XIV, 237 p. 155 ilustraciones, 34 ilustraciones en color.
ISBN : 978-3-030-47361-7
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 Sistemas informáticos Red de computadoras Computadoras Propósitos especiales IngenierÃa de software Sistemas operativos (computadoras) Implementación de sistema informático Redes de comunicación informática Sistemas de propósito especial y basados ​​en aplicaciones Sistemas operativos Clasificación: 621.395 Resumen: Esta encuesta sobre el estado del arte de acceso abierto presenta los principales resultados cientÃficos recientes en el área de la computación reversible, centrándose en aquellos que surgieron durante la Acción COST IC1405 "Computación reversible - Extendiendo horizontes de computación", una red de investigación europea que operaba desde mayo de 2015 hasta abril de 2019. La computación reversible es un nuevo paradigma que amplÃa el modo de computación tradicional solo hacia adelante con la capacidad de ejecutarse a la inversa, de modo que la computación pueda ejecutarse hacia atrás con tanta facilidad y naturalidad como hacia adelante. Su objetivo es ofrecer dispositivos y software informáticos novedosos y mejorar los sistemas existentes dotándolos de reversibilidad. Hay muchas aplicaciones potenciales de la computación reversible, incluidos lenguajes y herramientas de software para sistemas distribuidos confiables y orientados a la recuperación y circuitos y puertas lógicas reversibles revolucionarios, pero solo pueden realizarse y tener un efecto duradero si primero se establecen bases teóricas firmes y conceptuales. Nota de contenido: Foundations of Reversible Computation -- Software and Reversible Systems: A Survey of Recent Activities -- Simulation and Design of Quantum Circuits -- Research on Reversible Functions Having Component Functions with Specified Properties - An Overview -- A Case Study for Reversible Computing: Reversible Debugging -- Towards Choreographic-Based Monitoring -- Reversibility in Chemical Reactions -- Reversible Control of Robots -- Reversible Languages and Incremental State Saving in Optimistic Parallel Discrete Event Simulation -- Reversible Computation in Wireless Communications -- Error Reconciliation in Quantum Key Distribution Protocols. Tipo de medio : Computadora Summary : This open access State-of-the-Art Survey presents the main recent scientific outcomes in the area of reversible computation, focusing on those that have emerged during COST Action IC1405 "Reversible Computation - Extending Horizons of Computing", a European research network that operated from May 2015 to April 2019. Reversible computation is a new paradigm that extends the traditional forwards-only mode of computation with the ability to execute in reverse, so that computation can run backwards as easily and naturally as forwards. It aims to deliver novel computing devices and software, and to enhance existing systems by equipping them with reversibility. There are many potential applications of reversible computation, including languages and software tools for reliable and recovery-oriented distributed systems and revolutionary reversible logic gates and circuits, but they can only be realized and have lasting effect if conceptual and firm theoretical foundations are established first. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
