Zobrazeno 1 - 9
of 9
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
Autor:
Catuscia Palamidessi, Mark D. Ryan
This book constitutes the thoroughly refereed post-conference proceedings of the 7th International Symposium on Trustworthy Global Computing, TGC 2012, held in Newcastle upon Tyne, UK, in September 2012. The 9 revised full papers presented together w