Información del autor
Autor Ulidowski, Irek |
Documentos disponibles escritos por este autor (2)
Crear una solicitud de compra Refinar búsqueda
TÃtulo : Reversible Computation : 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings Tipo de documento: documento electrónico Autores: Kari, Jarkko, ; Ulidowski, Irek, Mención de edición: 1 ed. Editorial: [s.l.] : Springer Fecha de publicación: 2018 Número de páginas: XIII, 353 p. 132 ilustraciones ISBN/ISSN/DL: 978-3-319-99498-7 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 Inteligencia artificial Compiladores (programas informáticos) Red de computadoras IngenierÃa de software Compiladores e intérpretes Redes de comunicación informática Clasificación: Resumen: Este libro constituye las actas arbitradas de la Décima Conferencia Internacional sobre Computación Reversible, RC 2018, celebrada en Leicester, Reino Unido, en septiembre de 2018. Los 13 artÃculos completos, 7 breves y un tutorial incluidos en este volumen, junto con cuatro charlas invitadas, fueron cuidadosamente revisado y seleccionado entre 28 presentaciones. Los artÃculos están organizados en las siguientes secciones temáticas: computación concurrente reversible; circuitos cuánticos; lenguajes de programación reversibles; y aplicaciones. Nota de contenido: Reversible concurrent computation -- Quantum circuits -- Reversible programming languages -- Applications. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...] Reversible Computation : 10th International Conference, RC 2018, Leicester, UK, September 12-14, 2018, Proceedings [documento electrónico] / Kari, Jarkko, ; Ulidowski, Irek, . - 1 ed. . - [s.l.] : Springer, 2018 . - XIII, 353 p. 132 ilustraciones.
ISBN : 978-3-319-99498-7
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 Inteligencia artificial Compiladores (programas informáticos) Red de computadoras IngenierÃa de software Compiladores e intérpretes Redes de comunicación informática Clasificación: Resumen: Este libro constituye las actas arbitradas de la Décima Conferencia Internacional sobre Computación Reversible, RC 2018, celebrada en Leicester, Reino Unido, en septiembre de 2018. Los 13 artÃculos completos, 7 breves y un tutorial incluidos en este volumen, junto con cuatro charlas invitadas, fueron cuidadosamente revisado y seleccionado entre 28 presentaciones. Los artÃculos están organizados en las siguientes secciones temáticas: computación concurrente reversible; circuitos cuánticos; lenguajes de programación reversibles; y aplicaciones. Nota de contenido: Reversible concurrent computation -- Quantum circuits -- Reversible programming languages -- Applications. 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. 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: 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. 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.
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: 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. Enlace de acceso : https://link-springer-com.biblioproxy.umanizales.edu.co/referencework/10.1007/97 [...]
