Specifying and dynamically verifying address translation-aware memory consistency
2010 ◽
Vol 38
(1)
◽
pp. 323-334
◽
2015 ◽
Vol 45
(2)
◽
pp. 50-50
◽
2014 ◽
Vol 42
(1)
◽
pp. 743-758
◽
2004 ◽
Vol 13
(1)
◽
pp. 1-36
◽
Keyword(s):