Výsledky vyhledávání - "Reversible Computation: Extending Horizons of Computing"

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

Autoři: Ulidowski, Irek Lanese, Ivan Schultz, Ulrik Pagh a další

Přispěvatelé: Ulidowski, Irek Lanese, Ivan Schultz, Ulrik Pagh a další

Zdroj: Lecture Notes in Computer Science ISBN: 9783030473600

Témata: [SPI.NANO] Engineering Sciences [physics]/Micro and nanotechnologies/Microelectronics, [INFO.INFO-RB] Computer Science [cs]/Robotics [cs.RO], [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-FL] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]

Reversible Computation: Extending Horizons of Computing

Přispěvatelé: Ulidowski, Irek Lanese, Ivan Schultz, Ulrik Pagh a další

Témata: Logic Design, Computer System Implementation, Computer Communication Networks, Special Purpose and Application-Based Systems, Software Engineering, Operating Systems, open access, reversible computation, semantics of reversible computation, formal methods, models of computation, circuit design, simulation, robotics, debugging, quantum computing, wireless communications, programming languages, dependability, modelling of biochemical systems, computer networks, engineering, software engineering, parallel processing systems, theoretical computer science, Computer architecture & logic design, Systems analysis & design, Network hardware, Expert systems / knowledge-based systems, Operating systems, Computer architecture and logic design, Systems analysis and design

Popis souboru: application/pdf

Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues

Přístupová URL adresa: http://library.oapen.org/handle/20.500.12657/39589

Towards choreographic-based monitoring ; Reversible Computation: Extending Horizons of Computing. RC 2020. Lecture Notes in Computer Science, vol 12070

Autoři: Francalanza, Adrian Mezzina, Claudio Antares Tuosto, Emilio a další

Témata: ERLANG (Computer program language), Computer programs, Object monitors (Computer software), Computer logic, Computer software -- Monitoring

Relation: https://www.um.edu.mt/library/oar/handle/123456789/86061

Dostupnost: https://www.um.edu.mt/library/oar/handle/123456789/86061
https://doi.org/10.1007/978-3-030-47361-7_6

Reversible Computation: Extending Horizons of Computing

Autoři: Irek Ulidowski Ivan Lanese Ulrik Pagh Schultz a další

Resource Type: eBook.

Témata: Reversible computing

Categories: COMPUTERS / Logic Design, COMPUTERS / Computer Architecture, COMPUTERS / Networking / General, COMPUTERS / Operating Systems / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General

Reversible Computation: Extending Horizons of Computing

Přispěvatelé: Ulidowski, Irek Lanese, Ivan Schultz, Ulrik Pagh a další

Témata: Logic Design, Computer System Implementation, Computer Communication Networks, Special Purpose and Application-Based Systems, Software Engineering, Operating Systems, open access, reversible computation, semantics of reversible computation, formal methods, models of computation, circuit design, simulation, robotics, debugging, quantum computing, wireless communications, programming languages, dependability, modelling of biochemical systems, computer networks, engineering, parallel processing systems, theoretical computer science, Computer architecture & logic design, Systems analysis & design, Network hardware, Expert systems / knowledge-based systems, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYF Computer architecture and logic design, thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design

Popis souboru: image/jpeg

Relation: Lecture Notes in Computer Science; Theoretical Computer Science and General Issues; ONIX_20200615_9783030473617_62; OCN: 1155521118; http://library.oapen.org/handle/20.500.12657/39589; https://library.oapen.org/bitstream/20.500.12657/39589/1/2020_Book_ReversibleComputationExtending.pdf

Dostupnost: http://library.oapen.org/handle/20.500.12657/39589
https://hdl.handle.net/20.500.12657/39589
https://directory.doabooks.org/handle/20.500.12854/38350
https://hdl.handle.net/20.500.12854/38350
https://library.oapen.org/bitstream/20.500.12657/39589/1/2020_Book_ReversibleComputationExtending.pdf

Foundations of reversible computation ; RC 2020: Reversible Computation: Extending Horizons of Computing

Autoři: Bogdan Aman Gabriel Ciobanu Robert Glück a další

Přispěvatelé: Bogdan Aman Gabriel Ciobanu Robert Glück a další

Relation: 12070; International Conference on Reversible Computation; Lecture Notes in Computer Science; https://www.utupub.fi/handle/10024/155717

Dostupnost: https://www.utupub.fi/handle/10024/155717

Foundations of Reversible Computation

Autoři: Aman, Bogdan Ciobanu, Gabriel Glück, Robert a další

Přispěvatelé: Aman, Bogdan Ciobanu, Gabriel Glück, Robert a další

Zdroj: Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405 ; https://inria.hal.science/hal-03005384 ; Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405, 12070, pp.1 - 40, 2020, ⟨10.1007/978-3-030-47361-7_1⟩

Témata: [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

Relation: info:eu-repo/grantAgreement//COST Action IC1405/EU/Reversible computation - extending horizons of computing /IC1405

Dostupnost: https://inria.hal.science/hal-03005384
https://inria.hal.science/hal-03005384v1/document
https://inria.hal.science/hal-03005384v1/file/FoundationsRevComp-published.pdf
https://doi.org/10.1007/978-3-030-47361-7_1

A Case Study for Reversible Computing: Reversible Debugging of Concurrent Programs

Autoři: Hoey, James Lanese, Ivan Nishida, Naoki a další

Přispěvatelé: Hoey, James Lanese, Ivan Nishida, Naoki a další

Zdroj: Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405 ; https://inria.hal.science/hal-03005383 ; Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405, pp.108 - 127, 2020, ⟨10.1007/978-3-030-47361-7_5⟩

Témata: [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]

Relation: info:eu-repo/grantAgreement//COST Action IC1405/EU/Reversible computation - extending horizons of computing /IC1405

Dostupnost: https://inria.hal.science/hal-03005383
https://inria.hal.science/hal-03005383v1/document
https://inria.hal.science/hal-03005383v1/file/published.pdf
https://doi.org/10.1007/978-3-030-47361-7_5

Software and Reversible Systems: A Survey of Recent Activities

Autoři: Mezzina, Claudio, Antares Schlatte, Rudolf Glück, Robert a další

Přispěvatelé: Mezzina, Claudio, Antares Schlatte, Rudolf Glück, Robert a další

Zdroj: Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405 ; https://inria.hal.science/hal-03005386 ; Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405, pp.41 - 59, 2020, ⟨10.1007/978-3-030-47361-7_2⟩

Témata: [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]

Relation: info:eu-repo/grantAgreement//COST Action IC1405/EU/Reversible computation - extending horizons of computing /IC1405

Dostupnost: https://inria.hal.science/hal-03005386
https://inria.hal.science/hal-03005386v1/document
https://inria.hal.science/hal-03005386v1/file/published.pdf
https://doi.org/10.1007/978-3-030-47361-7_2

Foundations of reversible computation

Autoři: Ulidowski, Irek Lanese, Ivan Schultz, Ulrik Pagh a další

Zdroj: Aman , B , Ciobanu , G , Glück , R , Kaarsgaard , R , Kari , J , Kutrib , M , Lanese , I , Mezzina , C A , Mikulski , Ł , Nagarajan , R , Phillips , I , Pinna , G M , Prigioniero , L , Ulidowski , I & Vidal , G 2020 , Foundations of reversible computation . in I Ulidowski , I Lanese , U P Schultz & C Ferreira (eds) , Reversible Computation : Extending Horizons of Computing - Selected Results of the COST Action IC1405 . Springer VS , Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , vol. 12070 LNCS , pp. 1-40 , 12th International Conference on Reversible Computation, RC 2020 , Oslo , Norway , 09/07/2020 .

Témata: contributionToPeriodical

URL: https://curis.ku.dk/portal/da/publications/foundations-of-reversible-computation(901effa7-2209-453b-83e9-fdd2d1f2b067).html
https://doi.org/10.1007/978-3-030-47361-7_1
https://curis.ku.dk/ws/files/286634209/Aman2020_Chapter_FoundationsOfReversibleComputa.pdf

Research on Reversible Functions Having Component Functions with Specified Properties: An Overview

Autoři: Kerntopf, Paweł Moraga, Claudio Podlaski, Krzysztof a další

Zdroj: Reversible Computation: Extending Horizons of Computing ; Lecture Notes in Computer Science ; page 83-107 ; ISSN 0302-9743 1611-3349 ; ISBN 9783030473600 9783030473617

Dostupnost: http://dx.doi.org/10.1007/978-3-030-47361-7_4
https://link.springer.com/content/pdf/10.1007/978-3-030-47361-7_4

Edge-Fog Enhanced Post-Quantum Network Security: Applications, Challenges and Solutions.

Autoři: Moon, Seo Yeon Jo, Byung Hyun Azzaoui, Abir El a další

Zdroj: Computers, Materials & Continua; 2025, Vol. 84 Issue 1, p25-55, 31p

Témata: REAL-time computing, DISTRIBUTED computing, COMPUTER systems, COMPUTER network security, QUANTUM cryptography

RELATING REVERSIBLE PETRI NETS AND REVERSIBLE EVENT STRUCTURES, CATEGORICALLY.

Autoři: MELGRATTI, HERNÁN ANTARES MEZZINA, CLAUDIO PINNA, G. MICHELE

Zdroj: Logical Methods in Computer Science (LMCS); 2025, Vol. 21 Issue 2, p1-40, 40p

Témata: PETRI nets

Error Reconciliation in Quantum Key Distribution Protocols

Autoři: Mehic, Miralem Niemiec, Marcin Siljak, Harun a další

Zdroj: Lecture Notes in Computer Science ; Reversible Computation: Extending Horizons of Computing ; page 222-236 ; ISSN 0302-9743 1611-3349 ; ISBN 9783030473600 9783030473617

Dostupnost: https://doi.org/10.1007/978-3-030-47361-7_11
https://link.springer.com/content/pdf/10.1007/978-3-030-47361-7_11

Simulation and Design of Quantum Circuits

Autoři: Zulehner, Alwin Wille, Robert

Zdroj: Lecture Notes in Computer Science ; Reversible Computation: Extending Horizons of Computing ; page 60-82 ; ISSN 0302-9743 1611-3349 ; ISBN 9783030473600 9783030473617

Dostupnost: http://dx.doi.org/10.1007/978-3-030-47361-7_3
https://link.springer.com/content/pdf/10.1007/978-3-030-47361-7_3

Reversibility in Chemical Reactions

Autoři: Kuhn, Stefan Aman, Bogdan Ciobanu, Gabriel a další

Zdroj: Reversible Computation: Extending Horizons of Computing ; Lecture Notes in Computer Science ; page 151-176 ; ISSN 0302-9743 1611-3349 ; ISBN 9783030473600 9783030473617

Dostupnost: http://dx.doi.org/10.1007/978-3-030-47361-7_7
https://link.springer.com/content/pdf/10.1007/978-3-030-47361-7_7

Reversible Control of Robots

Autoři: Schultz, Ulrik Pagh

Zdroj: Reversible Computation: Extending Horizons of Computing ; Lecture Notes in Computer Science ; page 177-186 ; ISSN 0302-9743 1611-3349 ; ISBN 9783030473600 9783030473617

Dostupnost: http://dx.doi.org/10.1007/978-3-030-47361-7_8
https://link.springer.com/content/pdf/10.1007/978-3-030-47361-7_8

Reversible Languages and Incremental State Saving in Optimistic Parallel Discrete Event Simulation

Autoři: Schordan, Markus Oppelstrup, Tomas Thomsen, Michael Kirkedal a další

Zdroj: Reversible Computation: Extending Horizons of Computing ; Lecture Notes in Computer Science ; page 187-207 ; ISSN 0302-9743 1611-3349 ; ISBN 9783030473600 9783030473617

Dostupnost: http://dx.doi.org/10.1007/978-3-030-47361-7_9
https://link.springer.com/content/pdf/10.1007/978-3-030-47361-7_9

Reversible Computation in Wireless Communications

Autoři: Siljak, Harun

Zdroj: Reversible Computation: Extending Horizons of Computing ; Lecture Notes in Computer Science ; page 208-221 ; ISSN 0302-9743 1611-3349 ; ISBN 9783030473600 9783030473617

Dostupnost: http://dx.doi.org/10.1007/978-3-030-47361-7_10
https://link.springer.com/content/pdf/10.1007/978-3-030-47361-7_10

Quantum Diffie–Hellman key exchange.

Autoři: Nikolopoulos, Georgios M.

Zdroj: APL Quantum; Mar2025, Vol. 2 Issue 1, p1-12, 12p

Témata: MATHEMATICAL functions, QUANTUM states, INTEGERS, CRYPTOGRAPHY