pdf-format: |
|
@Article{alglave_et_al:DR:2017:7041, author = {Jade Alglave and Patrick Cousot and Caterina Urban}, title = {{Concurrency with Weak Memory Models (Dagstuhl Seminar 16471)}}, pages = {108--128}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2017}, volume = {6}, number = {11}, editor = {Jade Alglave and Patrick Cousot and Caterina Urban}, publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2017/7041}, URN = {urn:nbn:de:0030-drops-70415}, doi = {10.4230/DagRep.6.11.108}, annote = {Keywords: Compilation, Computer Memory, Concurrency, Memory Barrier, Memory Ordering, Micro-Architecture, Multiprocessor, Out-of-Order Execution, Parallelism, } }
Keywords: | Compilation, Computer Memory, Concurrency, Memory Barrier, Memory Ordering, Micro-Architecture, Multiprocessor, Out-of-Order Execution, Parallelism, | |
Freie Schlagwörter (englisch): | Program Synthesis, Programming Language, Semantics, Static Analysis, Verification, Weak Memory Model | |
Seminar: | Dagstuhl Reports, Volume 6, Issue 11 | |
Issue date: | 2017 | |
Date of publication: | 12.04.2017 |