Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Morisset, Robin"'
Autor:
Morisset, Robin
Les architectures modernes avec des processeurs multicœurs, ainsi que les langages de programmation modernes, ont des mémoires faiblement consistantes. Leur comportement est formalisé par le modèle mémoire de l'architecture ou du langage de prog
Externí odkaz:
http://www.theses.fr/2017PSLEE050/document
Autor:
Morisset, Robin
Publikováno v:
Other [cs.OH]. Université Paris sciences et lettres, 2017. English. ⟨NNT : 2017PSLEE050⟩
Modern multiprocessors architectures and programming languages exhibit weakly consistent memories. Their behaviour is formalised by the memory model of the architecture or programming language; it precisely defines which write operation can be return
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______165::7f855be20d4f851429a285a45dde1ff0
https://theses.hal.science/tel-01823521
https://theses.hal.science/tel-01823521
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:
Amarilli, Antoine, Ben Hamouda, Fabrice, Bourse, Florian, Morisset, Robin, Naccache, David, Rauzy, Pablo
Publikováno v:
Trustworthy Global Computing (9783642411564); 2013, p1-18, 18p
Autor:
DeHon, André, Karel, Ben, Knight, Thomas F., Malecha, Gregory, Montagu, Benoît, Morisset, Robin, Morrisett, Greg, Pierce, Benjamin C., Pollack, Randy, Ray, Sumit, Shivers, Olin, Smith, Jonathan M., Sullivan, Gregory
Publikováno v:
Proceedings of the 6th Workshop: Programming Languages & Operating Systems; Oct2011, p1-5, 5p
Publikováno v:
Runtime Verification (9783642166112); 2010, p345-359, 15p