Výsledky vyhledávání - "Fava, Daniel S."

Akademický článek

Operational semantics of a weak memory model with channel synchronization

Autor: Fava, Daniel S., Steffen, Martin, Stolz, Volker

Publikováno v: In Journal of Logical and Algebraic Methods in Programming February 2019 103:1-30

Zobrazit plný text záznamu

Dissertation/ Thesis

Relaxed Memory Models and Data-Race Detection tailored for Shared-Memory Message-Passing Systems

Autor: Fava, Daniel S.

Externí odkaz: http://hdl.handle.net/10852/86381
https://www.duo.uio.no/bitstream/handle/10852/86381/1/dfava_phd_thesis.pdf

Zobrazit plný text záznamu

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.