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...
Gespeichert in:
| Hauptverfasser: | , , , |
|---|---|
| Format: | Buch |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | |
|---|---|
| container_issue | |
| container_start_page | |
| container_title | |
| container_volume | 12070 |
| creator | Ulidowski, Irek Lanese, Ivan Schultz, Ulrik Pagh Ferreira, Carla |
| description | 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. |
| doi_str_mv | 10.1007/978-3-030-47361-7 |
| format | Book |
| fullrecord | <record><control><sourceid>hal_oapen</sourceid><recordid>TN_cdi_hal_primary_oai_HAL_hal_03341253v1</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>oai_HAL_hal_03341253v1</sourcerecordid><originalsourceid>FETCH-LOGICAL-a34111-9d9ac80ce25d09a5d88a92333efe584ccd42b824adccc747c88593b178c92d113</originalsourceid><addsrcrecordid>eNpVjUFLAzEQhQMiqLVXQbyINw_RSSZpkoOHUtQKBUHEa5jNpm10u1l2a8F_79b1oKeZN997bxg7F3AjAMytM5YjBwSuDE4ENwfsBHv5o9wRG3fdOwBI6ZyScMzOXuIutl0qqng5y5vmc0vblOtTdrikqovj3zlibw_3r7M5Xzw_Ps2mC06ohBDclY6ChRClLsGRLq0lJxExLqO2KoRSycJKRWUIwSgTrNUOC2FscLIUAkfseiheU-WbNm2o_fKZkp9PF35_A-w_SY27vfdu8GZqYv3PXaWiHfY9ye3KS_AawAs50caj09b1-Yu_-TJTkfNH59Gihp5eDTRQR1Wqk9_kOq9aatad10oKBIffhUhmjg</addsrcrecordid><sourcetype>Open Access Repository</sourcetype><iscdi>true</iscdi><recordtype>book</recordtype></control><display><type>book</type><title>Reversible Computation: Extending Horizons of Computing : Selected Results of the COST Action IC1405</title><source>Springer Books</source><source>SpringerLink Fully Open Access Books</source><source>OAPEN</source><source>DOAB: Directory of Open Access Books</source><creator>Ulidowski, Irek ; Lanese, Ivan ; Schultz, Ulrik Pagh ; Ferreira, Carla</creator><contributor>Lanese, Ivan ; Schultz, Ulrik Pagh ; Ulidowski, Irek ; Ferreira, Carla ; Ulidowski, Irek ; Ferreira, Carla</contributor><creatorcontrib>Ulidowski, Irek ; Lanese, Ivan ; Schultz, Ulrik Pagh ; Ferreira, Carla ; Lanese, Ivan ; Schultz, Ulrik Pagh ; Ulidowski, Irek ; Ferreira, Carla ; Ulidowski, Irek ; Ferreira, Carla</creatorcontrib><description>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.</description><identifier>ISBN: 3030473619</identifier><identifier>ISBN: 9783030473617</identifier><identifier>ISBN: 3030473600</identifier><identifier>ISBN: 9783030473600</identifier><identifier>DOI: 10.1007/978-3-030-47361-7</identifier><language>eng</language><publisher>Netherlands: Springer Nature</publisher><subject>Artificial intelligence ; Book Industry Communication ; circuit design ; Computer architecture & logic design ; Computer architecture and logic design ; Computer Communication Networks ; Computer hardware ; computer networks ; Computer programming / software development ; Computer programming / software engineering ; Computer programming, programs, data ; Computer Science ; Computer System Implementation ; Computing & information technology ; 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 ; Robotics ; semantics of reversible computation ; simulation ; Software Engineering ; Special Purpose and Application-Based Systems ; Systems analysis & design ; Systems analysis and design ; thema EDItEUR ; theoretical computer science ; wireless communications</subject><creationdate>2020</creationdate><tpages>237</tpages><format>237</format><rights>Distributed under a Creative Commons Attribution 4.0 International License</rights><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed><relation>Lecture Notes in Computer Science; Theoretical Computer Science and General Issues</relation></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>230,307,308,781,785,787,788,886,4049,27927</link.rule.ids><backlink>$$Uhttps://inria.hal.science/hal-03341253$$DView record in HAL$$Hfree_for_read</backlink></links><search><contributor>Lanese, Ivan</contributor><contributor>Schultz, Ulrik Pagh</contributor><contributor>Ulidowski, Irek</contributor><contributor>Ferreira, Carla</contributor><contributor>Ulidowski, Irek</contributor><contributor>Ferreira, Carla</contributor><creatorcontrib>Ulidowski, Irek</creatorcontrib><creatorcontrib>Lanese, Ivan</creatorcontrib><creatorcontrib>Schultz, Ulrik Pagh</creatorcontrib><creatorcontrib>Ferreira, Carla</creatorcontrib><title>Reversible Computation: Extending Horizons of Computing : Selected Results of the COST Action IC1405</title><description>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.</description><subject>Artificial intelligence</subject><subject>Book Industry Communication</subject><subject>circuit design</subject><subject>Computer architecture & logic design</subject><subject>Computer architecture and logic design</subject><subject>Computer Communication Networks</subject><subject>Computer hardware</subject><subject>computer networks</subject><subject>Computer programming / software development</subject><subject>Computer programming / software engineering</subject><subject>Computer programming, programs, data</subject><subject>Computer Science</subject><subject>Computer System Implementation</subject><subject>Computing & information technology</subject><subject>Computing and Information Technology</subject><subject>debugging</subject><subject>dependability</subject><subject>engineering</subject><subject>Engineering Sciences</subject><subject>Expert systems / knowledge-based systems</subject><subject>Formal Languages and Automata Theory</subject><subject>formal methods</subject><subject>Logic Design</subject><subject>Micro and nanotechnologies</subject><subject>Microelectronics</subject><subject>modelling of biochemical systems</subject><subject>models of computation</subject><subject>Network hardware</subject><subject>open access</subject><subject>Operating systems</subject><subject>parallel processing systems</subject><subject>Programming Languages</subject><subject>quantum computing</subject><subject>reversible computation</subject><subject>Robotics</subject><subject>semantics of reversible computation</subject><subject>simulation</subject><subject>Software Engineering</subject><subject>Special Purpose and Application-Based Systems</subject><subject>Systems analysis & design</subject><subject>Systems analysis and design</subject><subject>thema EDItEUR</subject><subject>theoretical computer science</subject><subject>wireless communications</subject><isbn>3030473619</isbn><isbn>9783030473617</isbn><isbn>3030473600</isbn><isbn>9783030473600</isbn><fulltext>true</fulltext><rsrctype>book</rsrctype><creationdate>2020</creationdate><recordtype>book</recordtype><sourceid>I4C</sourceid><sourceid>V1H</sourceid><sourceid>A7I</sourceid><recordid>eNpVjUFLAzEQhQMiqLVXQbyINw_RSSZpkoOHUtQKBUHEa5jNpm10u1l2a8F_79b1oKeZN997bxg7F3AjAMytM5YjBwSuDE4ENwfsBHv5o9wRG3fdOwBI6ZyScMzOXuIutl0qqng5y5vmc0vblOtTdrikqovj3zlibw_3r7M5Xzw_Ps2mC06ohBDclY6ChRClLsGRLq0lJxExLqO2KoRSycJKRWUIwSgTrNUOC2FscLIUAkfseiheU-WbNm2o_fKZkp9PF35_A-w_SY27vfdu8GZqYv3PXaWiHfY9ye3KS_AawAs50caj09b1-Yu_-TJTkfNH59Gihp5eDTRQR1Wqk9_kOq9aatad10oKBIffhUhmjg</recordid><startdate>2020</startdate><enddate>2020</enddate><creator>Ulidowski, Irek</creator><creator>Lanese, Ivan</creator><creator>Schultz, Ulrik Pagh</creator><creator>Ferreira, Carla</creator><general>Springer Nature</general><scope>I4C</scope><scope>V1H</scope><scope>A7I</scope><scope>1XC</scope></search><sort><creationdate>2020</creationdate><title>Reversible Computation</title><author>Ulidowski, Irek ; Lanese, Ivan ; Schultz, Ulrik Pagh ; Ferreira, Carla</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-a34111-9d9ac80ce25d09a5d88a92333efe584ccd42b824adccc747c88593b178c92d113</frbrgroupid><rsrctype>books</rsrctype><prefilter>books</prefilter><language>eng</language><creationdate>2020</creationdate><topic>Artificial intelligence</topic><topic>Book Industry Communication</topic><topic>circuit design</topic><topic>Computer architecture & logic design</topic><topic>Computer architecture and logic design</topic><topic>Computer Communication Networks</topic><topic>Computer hardware</topic><topic>computer networks</topic><topic>Computer programming / software development</topic><topic>Computer programming / software engineering</topic><topic>Computer programming, programs, data</topic><topic>Computer Science</topic><topic>Computer System Implementation</topic><topic>Computing & information technology</topic><topic>Computing and Information Technology</topic><topic>debugging</topic><topic>dependability</topic><topic>engineering</topic><topic>Engineering Sciences</topic><topic>Expert systems / knowledge-based systems</topic><topic>Formal Languages and Automata Theory</topic><topic>formal methods</topic><topic>Logic Design</topic><topic>Micro and nanotechnologies</topic><topic>Microelectronics</topic><topic>modelling of biochemical systems</topic><topic>models of computation</topic><topic>Network hardware</topic><topic>open access</topic><topic>Operating systems</topic><topic>parallel processing systems</topic><topic>Programming Languages</topic><topic>quantum computing</topic><topic>reversible computation</topic><topic>Robotics</topic><topic>semantics of reversible computation</topic><topic>simulation</topic><topic>Software Engineering</topic><topic>Special Purpose and Application-Based Systems</topic><topic>Systems analysis & design</topic><topic>Systems analysis and design</topic><topic>thema EDItEUR</topic><topic>theoretical computer science</topic><topic>wireless communications</topic><toplevel>online_resources</toplevel><creatorcontrib>Ulidowski, Irek</creatorcontrib><creatorcontrib>Lanese, Ivan</creatorcontrib><creatorcontrib>Schultz, Ulrik Pagh</creatorcontrib><creatorcontrib>Ferreira, Carla</creatorcontrib><collection>Casalini Torrossa eBook Single Purchase</collection><collection>DOAB: Directory of Open Access Books</collection><collection>OAPEN</collection><collection>Hyper Article en Ligne (HAL)</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Ulidowski, Irek</au><au>Lanese, Ivan</au><au>Schultz, Ulrik Pagh</au><au>Ferreira, Carla</au><au>Lanese, Ivan</au><au>Schultz, Ulrik Pagh</au><au>Ulidowski, Irek</au><au>Ferreira, Carla</au><au>Ulidowski, Irek</au><au>Ferreira, Carla</au><format>book</format><genre>book</genre><ristype>BOOK</ristype><btitle>Reversible Computation: Extending Horizons of Computing : Selected Results of the COST Action IC1405</btitle><seriestitle>Lecture Notes in Computer Science; Theoretical Computer Science and General Issues</seriestitle><date>2020</date><risdate>2020</risdate><volume>12070</volume><isbn>3030473619</isbn><isbn>9783030473617</isbn><isbn>3030473600</isbn><isbn>9783030473600</isbn><abstract>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.</abstract><cop>Netherlands</cop><pub>Springer Nature</pub><doi>10.1007/978-3-030-47361-7</doi><tpages>237</tpages><oa>free_for_read</oa></addata></record> |
| fulltext | fulltext |
| identifier | ISBN: 3030473619 |
| ispartof | |
| issn | |
| language | eng |
| recordid | cdi_hal_primary_oai_HAL_hal_03341253v1 |
| source | Springer Books; SpringerLink Fully Open Access Books; OAPEN; DOAB: Directory of Open Access Books |
| subjects | Artificial intelligence Book Industry Communication circuit design Computer architecture & logic design Computer architecture and logic design Computer Communication Networks Computer hardware computer networks Computer programming / software development Computer programming / software engineering Computer programming, programs, data Computer Science Computer System Implementation Computing & information technology 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 Robotics semantics of reversible computation simulation Software Engineering Special Purpose and Application-Based Systems Systems analysis & design Systems analysis and design thema EDItEUR theoretical computer science wireless communications |
| title | Reversible Computation: Extending Horizons of Computing : Selected Results of the COST Action IC1405 |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-18T06%3A07%3A47IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-hal_oapen&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=book&rft.btitle=Reversible%20Computation:%20Extending%20Horizons%20of%20Computing%20:%20Selected%20Results%20of%20the%20COST%20Action%20IC1405&rft.au=Ulidowski,%20Irek&rft.date=2020&rft.volume=12070&rft.isbn=3030473619&rft.isbn_list=9783030473617&rft.isbn_list=3030473600&rft.isbn_list=9783030473600&rft_id=info:doi/10.1007/978-3-030-47361-7&rft_dat=%3Chal_oapen%3Eoai_HAL_hal_03341253v1%3C/hal_oapen%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true |