Zobrazeno 1 - 10
of 33
pro vyhledávání: '"Jung, Ralf"'
Grove is a concurrent separation logic library for verifying distributed systems. Grove is the first to handle time-based leases, including their interaction with reconfiguration, crash recovery, thread-level concurrency, and unreliable networks. Thi
Externí odkaz:
http://arxiv.org/abs/2309.03046
Compiler correctness proofs for higher-order concurrent languages are difficult: they involve establishing a termination-preserving refinement between a concurrent high-level source language and an implementation that uses low-level shared memory pri
Externí odkaz:
http://arxiv.org/abs/1701.05888
Publikováno v:
Communications of the ACM. Apr2021, Vol. 64 Issue 4, p144-152. 9p. 1 Color Photograph, 8 Diagrams.
Autor:
Jung, Ralf.
Heidelberg, Med. Diss. v. 18. Dez. 1936.
Externí odkaz:
http://catalogue.bnf.fr/ark:/12148/cb322946710
Autor:
Jung, Ralf
This research was supported in part by a European Research Council (ERC) Consolidator Grant for the project "RustBelt", funded under the European Union’s Horizon 2020 Framework Programme (grant agreement no. 683289).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e9219bc1a04c69c54320d58e2588a501
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Schöttler, Hanna, Auzanneau, Marie, Best, Frank, Braune, Katarina, Freff, Markus, Heidtmann, Bettina, Jung, Ralf, Karges, Beate, Klee, Daniela, Müller, Antonia, Schierloh, Ulrike, Vogel, Christian, Holl, Reinhard W.
Publikováno v:
Diabetologie und Stoffwechsel; 2020, Vol. 15 Issue 6, p477-486, 10p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.