國立虎尾科技大學 |

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

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Reversible Computation: Extending Horizons of Computing/ edited by Irek Ulidowski, Ivan Lanese, Ulrik Pagh Schultz, Carla Ferreira.
其他題名:	Selected Results of the COST Action IC1405 /
其他作者:	Ferreira, Carla.
面頁冊數:	XIV, 237 p. 155 illus., 34 illus. in color.online resource. :
Contained By:	Springer Nature eBook
標題:	Operating Systems. -
電子資源:	https://doi.org/10.1007/978-3-030-47361-7
ISBN:	9783030473617

Reversible Computation: Extending Horizons of Computing = Selected Results of the COST Action IC1405 /
Reversible Computation: Extending Horizons of ComputingSelected Results of the COST Action IC1405 /[electronic resource] :edited by Irek Ulidowski, Ivan Lanese, Ulrik Pagh Schultz, Carla Ferreira. - 1st ed. 2020. - XIV, 237 p. 155 illus., 34 illus. in color.online resource. - Theoretical Computer Science and General Issues ;12070. - Theoretical Computer Science and General Issues ;9163.

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.

Open Access

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.

ISBN: 9783030473617

Standard No.: 10.1007/978-3-030-47361-7doiSubjects--Topical Terms:

669804
Operating Systems.

LC Class. No.: QA76.9.L63

Dewey Class. No.: 621.395

Reversible Computation: Extending Horizons of Computing = Selected Results of the COST Action IC1405 /
LDR:03200nam a22004335i 4500 001 1027511
003 DE-He213
005 20200701043451.0
007 cr nn 008mamaa
008 210318s2020 gw | s |||| 0|eng d
020 $a 9783030473617 $9 978-3-030-47361-7
024 7 $a 10.1007/978-3-030-47361-7 $2 doi
035 $a 978-3-030-47361-7
050 4 $a QA76.9.L63
072 7 $a UYF $2 bicssc
072 7 $a COM036000 $2 bisacsh
072 7 $a UYF $2 thema
082 0 4 $a 621.395 $2 23
245 1 0 $a Reversible Computation: Extending Horizons of Computing $h [electronic resource] : $b Selected Results of the COST Action IC1405 / $c edited by Irek Ulidowski, Ivan Lanese, Ulrik Pagh Schultz, Carla Ferreira.
250 $a 1st ed. 2020.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2020.
300 $a XIV, 237 p. 155 illus., 34 illus. in color. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Theoretical Computer Science and General Issues ; $v 12070
505 0 $a 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.
506 0 $a Open Access
520 $a 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.
650 2 4 $a Operating Systems. $3 669804
650 2 4 $a Software Engineering. $3 669632
650 2 4 $a Special Purpose and Application-Based Systems. $3 669833
650 2 4 $a Computer Communication Networks. $3 669310
650 2 4 $a Computer System Implementation. $3 669803
650 1 4 $a Logic Design. $3 670915
650 0 $2 lc $a Operating systems (Computers). $3 868175
650 0 $a Software engineering. $3 562952
650 0 $a Special purpose computers. $3 1204562
650 0 $a Computer communication systems. $3 1115394
650 0 $a Architecture, Computer. $3 1255731
650 0 $a Logic design. $3 561473
700 1 $a Ferreira, Carla. $e editor. $1 https://orcid.org/0000-0003-3680-7634 $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1323938
700 1 $a Schultz, Ulrik Pagh. $e editor. $1 https://orcid.org/0000-0003-4119-2689 $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1323937
700 1 $a Lanese, Ivan. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 1065685
700 1 $a Ulidowski, Irek. $4 edt $4 http://id.loc.gov/vocabulary/relators/edt $3 883160
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783030473600
776 0 8 $i Printed edition: $z 9783030473624
830 0 $a Theoretical Computer Science and General Issues ; $v 9163 $3 1253524
856 4 0 $u https://doi.org/10.1007/978-3-030-47361-7
912 $a ZDB-2-SCS
912 $a ZDB-2-SXCS
912 $a ZDB-2-LNC
912 $a ZDB-2-SOB
950 $a Computer Science (SpringerNature-11645)
950 $a Computer Science (R0) (SpringerNature-43710)