• Suche: Reversible Computation Extending Horizons of Computing

Treffer 1 - 20 von 2.093

1

Reversible Computation: Extending Horizons of Computing
Ulidowski, Irek ; Lanese, Ivan ; Schultz, Ulrik Pagh ; et al.

Logic Design Computer System Implemen... Computer Communication N... Special Purpose and Appl... Software Engineering Operating Systems …
E-Book
Merkliste
2

Towards choreographic-based monitoring ; Reversible Computation: Extending Horizons of Computing. RC 2020. Lecture Notes in Computer Science, vol 12070
Francalanza, Adrian ; Mezzina, Claudio Antares ; Tuosto, Emilio ; et al.

ERLANG (Computer program... Computer programs Object monitors (Compute... Computer logic Computer software -- Mon...
Konferenz
Merkliste
3

Reversible Computation: Extending Horizons of Computing
Ulidowski, Irek ; Lanese, Ivan ; Schultz, Ulrik Pagh ; et al.

Logic Design Computer System Implemen... Computer Communication N... Special Purpose and Appl... Software Engineering Operating Systems …
Merkliste
4

Foundations of Reversible Computation
Aman, Bogdan ; Ciobanu, Gabriel ; Glück, Robert ; et al.
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⟩

[INFO.INFO-FL]Computer S... [INFO.INFO-PL]Computer S...
Buch
Merkliste
6

A Case Study for Reversible Computing: Reversible Debugging of Concurrent Programs
Hoey, James ; Lanese, Ivan ; Nishida, Naoki ; et al.
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⟩

[INFO.INFO-PL]Computer S... [INFO.INFO-FL]Computer S...
Buch
Merkliste
7

Foundations of reversible computation
Ulidowski, Irek ; Lanese, Ivan ; Schultz, Ulrik Pagh ; et al.
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 .

E-Ressource
Merkliste
8

Software and Reversible Systems: A Survey of Recent Activities
Mezzina, Claudio, Antares ; Schlatte, Rudolf ; Glück, Robert ; et al.
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⟩

[INFO.INFO-PL]Computer S... [INFO.INFO-FL]Computer S...
Buch
Merkliste
9

A theory of reversibility for Erlang
Lanese, Ivan ; Nishida, Naoki ; Palacios, Adrián ; et al.
In Journal of Logical and Algebraic Methods in Programming November 2018 100:71-97

Fachzeitschrift
Merkliste
10

An Axiomatic Approach to Reversible Computation
Lanese, Ivan ; Phillips, Iain ; Ulidowski, Irek ; et al.
FoSSaCS 2020 - 23rd International Conference on Foundations of Software Science and Computation Structures ; https://inria.hal.science/hal-03004421 ; FoSSaCS 2020 - 23rd International Conference on Foundations of Software Science and Computation Structures, Apr 2020, Dublin, Ireland. pp.442 - 461, ⟨10.1007/978-3-030-45231-5_23⟩

Dublin Ireland Causal Liveness Causal Safety Labelled Transition Syst... Reversible Computation …
Konferenz
Merkliste
11

Reversible Computations in Logic Programming
Vidal Oriola, Germán Francisco ; Departamento de Sistemas Informáticos y Computación ; Escuela Técnica Superior de Ingeniería Informática ; et al.

LENGUAJES Y SISTEMAS INF...
Buch
Merkliste
12

Circuit Width Estimation via Effect Typing and Linear Dependency.
Colledan, Andrea ; Lago, Ugo Dal ; Vazou, Niki
ACM Transactions on Programming Languages & Systems. Sep2025, Vol. 47 Issue 3, p1-35. 35p.

Fachzeitschrift
Merkliste
13

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

Buch
Merkliste
14

Reversible computation in term rewriting
Nishida, Naoki ; Palacios, Adrián ; Vidal, Germán ; et al.

Term rewriting Reversible computation Program transformation LENGUAJES Y SISTEMAS INF...
Fachzeitschrift
Merkliste
15

Causal-Consistent Replay Reversible Semantics for Message Passing Concurrent Programs
Lanese, Ivan ; Palacios, Adrián ; Vidal Oriola, Germán Francisco ; et al.

Concurrency Logging Causal-consistent Debugging Reversible computing LENGUAJES Y SISTEMAS INF...
Fachzeitschrift
Merkliste
16

Research on Reversible Functions Having Component Functions with Specified Properties: An Overview
Kerntopf, Paweł ; Moraga, Claudio ; Podlaski, Krzysztof ; et al.
Reversible Computation: Extending Horizons of Computing ; Lecture Notes in Computer Science ; page 83-107 ; ISSN 0302-9743 1611-3349 ; ISBN 9783030473600 9783030473617

Buch
Merkliste
17

An Axiomatic Theory for Reversible Computation.
Lanese, Ivan ; Phillips, Iain ; Ulidowski, Irek
ACM Transactions on Computational Logic; Apr2024, Vol. 25 Issue 2, p1-40, 40p

Fachzeitschrift
Merkliste
18

Tracking CSP computations
Llorens, M. ; Oliver, J. ; Silva, J. ; et al.
In Journal of Logical and Algebraic Methods in Programming January 2019 102:138-175

Fachzeitschrift
Merkliste
19

Reversible Languages and Incremental State Saving in Optimistic Parallel Discrete Event Simulation
Schordan, Markus ; Oppelstrup, Tomas ; Thomsen, Michael Kirkedal ; et al.
Reversible Computation: Extending Horizons of Computing ; Lecture Notes in Computer Science ; page 187-207 ; ISSN 0302-9743 1611-3349 ; ISBN 9783030473600 9783030473617

Buch
Merkliste
20

Hidden Convexity in a Class of Optimization Problems with Bilinear Terms.
Gorissen, Bram L. ; den Hertog, Dick ; Reusken, Meike
Operations Research. Jul2025, p1. 27p.

Fachzeitschrift
Merkliste
Suchwerkzeuge: RSS-Feed abonnieren Diese Suche als E-Mail versenden Suche speichern

Filter