Specifying and dynamically verifying address translation-aware memory consistency

Author(s):  
Bogdan F. Romanescu ◽  
Alvin R. Lebeck ◽  
Daniel J. Sorin
IEEE Micro ◽  
2011 ◽  
Vol 31 (1) ◽  
pp. 109-118 ◽  
Author(s):  
Bogdan Romanescu ◽  
Alvin Lebeck ◽  
Daniel J. Sorin

2010 ◽  
Vol 38 (1) ◽  
pp. 323-334 ◽  
Author(s):  
Bogdan F. Romanescu ◽  
Alvin R. Lebeck ◽  
Daniel J. Sorin

2010 ◽  
Vol 45 (3) ◽  
pp. 323-334
Author(s):  
Bogdan F. Romanescu ◽  
Alvin R. Lebeck ◽  
Daniel J. Sorin

2014 ◽  
Vol 49 (4) ◽  
pp. 743-758 ◽  
Author(s):  
Bharath Pichai ◽  
Lisa Hsu ◽  
Abhishek Bhattacharjee

2014 ◽  
Vol 42 (1) ◽  
pp. 743-758 ◽  
Author(s):  
Bharath Pichai ◽  
Lisa Hsu ◽  
Abhishek Bhattacharjee

Sign in / Sign up

Export Citation Format

Share Document