Výsledky vyhľadávania - ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.4: Processors/D.3.4.9: Retractable computer
-
1
Autori:
Prispievatelia:
Zdroj: Science of Computer Programming. 167:25-50
Predmety: Behavioral contracts Backtracking Speculative execution Compliance Reversible computing, Backtracking, Behavioral contracts, Compliance, Reversible computing, Speculative execution, Software, 0102 computer and information sciences, 02 engineering and technology, 16. Peace & justice, compliance, 01 natural sciences, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], 3. Good health, backtracking, 0202 electrical engineering, electronic engineering, information engineering, reversible computing, speculative execution, [INFO.INFO-FL] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]
Popis súboru: application/pdf
Prístupová URL adresa: https://hal.inria.fr/hal-01912858/file/SCP-Main.pdf
https://hal.archives-ouvertes.fr/hal-01912858v1
https://www.sciencedirect.com/science/article/pii/S0167642318302636#!
https://dblp.uni-trier.de/db/journals/scp/scp167.html#BarbaneraLd18
https://hal.inria.fr/hal-01912858
https://hal.inria.fr/hal-01912858/document
https://cris.unibo.it/handle/11585/653075
https://hdl.handle.net/11585/653075
https://doi.org/10.1016/j.scico.2018.06.005
https://hdl.handle.net/2318/1672252
https://doi.org/10.1016/j.scico.2018.06.005 -
2
Autori: a ďalší
Prispievatelia: a ďalší
Zdroj: Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software ; https://inria.hal.science/hal-01227693 ; Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, Apr 2015, London, United Kingdom
Predmety: Compliance, Behavioural contracts, Backtracking, [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]
Geografické téma: London, United Kingdom
-
3
Autori:
Prispievatelia:
Zdroj: Bibliogr. przy rozdz.
Index.Predmety: Sieci komputerowe, Komputery -- konferencje
Prístupová URL adresa: http://katalog.nukat.edu.pl/lib/item?id=chamo:1759164&theme=nukat
-
4
Autori:
Zdroj: International Journal on Digital Libraries; Jun2006, Vol. 6 Issue 3, p235-246, 12p
-
5
Autori: a ďalší
Zdroj: Empirical Software Engineering; Dec2015, Vol. 20 Issue 6, p1721-1761, 41p
-
6
Prispievatelia:
Zdroj: Bibliogr. przy poszczególnych referatach.
Prístupová URL adresa: http://katalog.nukat.edu.pl/lib/item?id=chamo:1596742&theme=nukat
-
7
Autori: a ďalší
Zdroj: Software & Systems Modeling; Apr2019, Vol. 18 Issue 2, p1543-1570, 28p
-
8
Autori: a ďalší
Prispievatelia: a ďalší
Zdroj: Lecture Notes in Computer Science ; 19th International Conference on Coordination Languages and Models (COORDINATION) ; https://inria.hal.science/hal-01633262 ; 19th International Conference on Coordination Languages and Models (COORDINATION), Jun 2017, Neuchâtel, Switzerland. pp.119-137, ⟨10.1007/978-3-319-59746-1_7⟩
Predmety: [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-FL]Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]
Geografické téma: Neuchâtel, Switzerland
Relation: info:eu-repo/grantAgreement//COST Action IC1405/EU/Reversible computation - extending horizons of computing /IC1405; info:eu-repo/grantAgreement//COST Action CA15123 /EU/The European research network on types for programming and verification /EUTYPES
-
9
Autori: a ďalší
Prispievatelia: a ďalší
Zdroj: Electronic Proceedings in Theoretical Computer Science, Vol 203, Iss Proc. PLACES 2015, Pp 61-72 (2016)
Predmety: FOS: Computer and information sciences, Computer Science - Logic in Computer Science, Computer Science - Programming Languages, Backtracking, QA75.5-76.95, 0102 computer and information sciences, 02 engineering and technology, Behavioural contracts, 16. Peace & justice, 01 natural sciences, [INFO.INFO-PL] Computer Science [cs]/Programming Languages [cs.PL], Logic in Computer Science (cs.LO), Electronic computers. Computer science, QA1-939, 0202 electrical engineering, electronic engineering, information engineering, Mathematics, Compliance, [INFO.INFO-FL] Computer Science [cs]/Formal Languages and Automata Theory [cs.FL], Programming Languages (cs.PL)
Popis súboru: application/pdf
Prístupová URL adresa: https://arxiv.org/pdf/1602.03595
http://arxiv.org/abs/1602.03595
https://doaj.org/article/3a942061158747a9a0c8027b527731e9
https://inria.hal.science/hal-01227693v1
https://arxiv.org/pdf/1602.03595
https://arxiv.org/abs/1602.03595
https://hdl.handle.net/2318/2077454
https://doi.org/10.4204/EPTCS.203.5 -
10
Autori:
Zdroj: Logical Methods in Computer Science (LMCS); 2025, Vol. 21 Issue 1, p1-36, 36p
Predmety: PROGRAMMING languages, LANGUAGE & languages
-
11
Autori: Miranda, Pablo
Zdroj: International Journal of Architectural Computing; Dec2017, Vol. 15 Issue 4, p268-284, 17p
-
12
Autori: Michalopoulos
Zdroj: Computer (00189162); 1986, Vol. 19 Issue 6, p81-85, 5p
-
13
Autori: a ďalší
Prispievatelia: a ďalší
Zdroj: Bibliogr. przy art.
Indeks.Prístupová URL adresa: http://katalog.nukat.edu.pl/lib/item?id=chamo:1756273&theme=nukat
-
14
Zdroj: Bibliogr. przy ref. Indeks.
Predmety: Języki programowania -- konferencje
Prístupová URL adresa: http://katalog.nukat.edu.pl/lib/item?id=chamo:1461954&theme=nukat
-
15
Autori: a ďalší
Prispievatelia: a ďalší
Zdroj: Bibliogr. przy rozdz.
Prístupová URL adresa: http://katalog.nukat.edu.pl/lib/item?id=chamo:1764238&theme=nukat
-
16
Autori: a ďalší
Prispievatelia: a ďalší
Zdroj: Bibliogr. przy rozdz.
Prístupová URL adresa: http://katalog.nukat.edu.pl/lib/item?id=chamo:1764167&theme=nukat
-
17
Autori:
Prispievatelia:
Prístupová URL adresa: http://katalog.nukat.edu.pl/lib/item?id=chamo:809397&theme=nukat
-
18
Autori:
Zdroj: International Journal of Electrical Engineering Education; Jul2023, Vol. 60 Issue 3, p258-272, 15p
-
19
Autori:
Prispievatelia:
Zdroj: Bibliogr. przy ref.
Prístupová URL adresa: http://katalog.nukat.edu.pl/lib/item?id=chamo:1291937&theme=nukat
-
20
Zdroj: Canadian Environmental Resource Guide; 2018/2019, p55-462, 408p
Full Text Finder
Nájsť tento článok vo Web of Science