Publications

Reasoning About Fences and Relaxed Atomics

AuthID
P-00K-GSM

Author(s)

He, MD

Vafeiadis, V

Qin, SC

Ferreira, JF

Editor(s)

Cotronis,Y;Daneshtalab,M;Papadopoulos,GA

Document Type

Proceedings Paper

Year published

2016

Published

in 2016 24TH EUROMICRO INTERNATIONAL CONFERENCE ON PARALLEL, DISTRIBUTED, AND NETWORK-BASED PROCESSING (PDP) in Euromicro Conference on Parallel Distributed and Network-Based Processing, ISSN: 1066-6192

Pages: 520-527 (8)

Conference

24Th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (Pdp), Date: FEB 17-19, 2016, Location: Heraklion, GREECE, Sponsors: Natl Kapodistrian Univ Athens, KTH Vetenskap Och Konst

Indexing