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

Full description

Saved in:
Bibliographic Details
Main Author: Ulidowski, Irek
Format: eBook Book
Language:English
Published: Netherlands Springer Nature 2020
Springer Open
Series:Lecture Notes in Computer Science; Theoretical Computer Science and General Issues
Subjects:
Artificial intelligence
circuit design
Computer architecture & logic design
Computer architecture and logic design
Computer Communication Networks
Computer hardware
computer networks
Computer programming / software engineering
Computer programming, programs, data
Computer Science
Computer System Implementation
Computing and Information Technology
debugging
dependability
engineering
Engineering Sciences
Expert systems / knowledge-based systems
Formal Languages and Automata Theory
formal methods
Logic Design
Micro and nanotechnologies
Microelectronics
modelling of biochemical systems
models of computation
Network hardware
open access
Operating systems
parallel processing systems
Programming Languages
quantum computing
reversible computation
Reversible computing
Robotics
semantics of reversible computation
simulation
Software Engineering
Special Purpose and Application-Based Systems
Systems analysis & design
Systems analysis and design
theoretical computer science
wireless communications
ISBN:3030473619, 9783030473617, 3030473600, 9783030473600
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
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.
Bibliography:COST, European Cooperation in Science & Technology
Includes bibliographical references and index
"LNCS sublibrary: SL1 - Theoretical computer science and general issues"--T.p. verso
ISBN:3030473619
9783030473617
3030473600
9783030473600
DOI:10.1007/978-3-030-47361-7