Reversible Computation: Extending Horizons of Computing : Selected Results of the COST Action IC1405

Reversible Computation: Extending Horizons of Computing Selected Results of the COST Action IC1405

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 f...

Descripción completa

Detalles Bibliográficos
Otros Autores: Ulidowski, Irek (Editor), Ulidowski, Irek. editor (editor), Lanese, Ivan. editor, Schultz, Ulrik Pagh. editor, Ferreira, Carla. editor
Formato: Libro electrónico
Idioma:Inglés
Publicado: Cham : Springer International Publishing 2020.
Edición:1st ed. 2020.
Colección:Theoretical Computer Science and General Issues, 12070
Materias:
Logic design.
Computer systems.
Computer networks.
Computers, Special purpose.
Software engineering.
Operating systems (Computers).
Logic Design.
Computer System Implementation.
Computer Communication Networks.
Special Purpose and Application-Based Systems.
Software Engineering.
Operating Systems.
Ver en Biblioteca Universitat Ramon Llull:https://discovery.url.edu/permalink/34CSUC_URL/1im36ta/alma991009437758406719
Tabla de Contenidos:
  • 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.

Ejemplares similares