scholarly journals Modelling concurrent objects running on the TSO and ARMv8 memory models

2019 ◽  
Vol 184 ◽  
pp. 102308
Author(s):  
Kirsten Winter ◽  
Graeme Smith ◽  
John Derrick
Keyword(s):  
Memory Models ◽  
Concurrent Objects

scholarly journals Correctness of Concurrent Objects under Weak Memory Models

2018 ◽  
Vol 282 ◽  
pp. 53-67 ◽  
Author(s):  
Graeme Smith ◽  
Kirsten Winter ◽  
Robert J. Colvin
Keyword(s):  
Memory Models ◽  
Concurrent Objects

A Measurement Modelling Framework for Complex Working Memory Models

2011 ◽  
Author(s):  
Klaus Oberauer ◽  
Jarrold Chris ◽  
Farrell Simon ◽  
Lewandowsky Stephan
Keyword(s):  
Working Memory ◽  
Memory Models ◽  
Modelling Framework ◽  
Working Memory Models

Heterogeneous-race-free memory models

2014 ◽  
Vol 42 (1) ◽  
pp. 427-440
Author(s):  
Derek R. Hower ◽  
Blake A. Hechtman ◽  
Bradford M. Beckmann ◽  
Benedict R. Gaster ◽  
Mark D. Hill ◽  
...  
Keyword(s):  
Memory Models

Dynamic partial order reduction for relaxed memory models

2015 ◽  
Vol 50 (6) ◽  
pp. 250-259 ◽  
Author(s):  
Naling Zhang ◽  
Markus Kusano ◽  
Chao Wang
Keyword(s):  
Partial Order ◽  
Order Reduction ◽  
Memory Models ◽  
Partial Order Reduction ◽  
Relaxed Memory
Sign in / Sign up

Export Citation Format

Share Document