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 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.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.
Book Format
Free
Reviews
Rating Snapshot
Select a row below to filter reviews.
0
0
0
0
0
0
Overall
Average Customer Ratings
Review for this Book
Share your thoughts with other readers
More Information
Description of 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 C
Additional Information
About the authors
Irek Ulidowski(editor)
Ivan Lanese(editor)
Ulrik Pagh Schultz(editor)
I am an Associate Professor at Departamento de Informática of the Universidade Nova de Lisboa, and a researcher at Research Center NOVA Laboratory for Computer Science and Informatics (NOVA LINCS) in the research stream Software Systems. I started my academic career as an Assistant at Universidade do Minho. After that, I joined the Dependable Systems & Software Engineering Group (DSSE) of the University of Southampton, first as a PhD student and later as a research fellow. After returning to Portugal in 2003, I was an Assistant Professor at IST.
Carla Ferreira(editor)
Tags
open accessreversible computationsemantics of reversible computationformal methodsmodels of computationcircuit designSimulationroboticsdebuggingquantum computingwireless communicationsprogramming languagesdependabilitymodelling of biochemical systemscomputer networksengineeringSoftware Engineeringparallel processing systemstheoretical computer science
Table of content
Recommended Books
Based on the books you like and read
