Michael Kirkedal Thomsen
Lektor
Programming Languages and Theory of Computing
Universitetsparken 5
2100 København Ø
ORCID: 0000-0003-0922-3609
1 - 1 ud af 1Pr. side: 10
- 2020
- Udgivet
Reversible languages and incremental state saving in optimistic parallel discrete event simulation
Schordan, M., Oppelstrup, T., Thomsen, Michael Kirkedal & Glück, Robert, 2020, Reversible Computation: Extending Horizons of Computing - Selected Results of the COST Action IC1405. Ulidowski, I., Lanese, I., Schultz, U. P. & Ferreira, C. (red.). Springer VS, s. 187-207 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12070 LNCS).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
ID: 12085624
Flest downloads
-
1153
downloads
Design of reversible logic circuits using standard cells: standard cells and functional programming
Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning
Udgivet