scholarly journals An Observational Approach to Defining Linearizability on Weak Memory Models

2017 ◽  
pp. 108-123 ◽  
Author(s):  
John Derrick ◽  
Graeme Smith
Keyword(s):  
Memory Models

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

The Semantic Credentials of High-Dimensional Memory Models

2014 ◽  
Author(s):  
Curt Burgess ◽  
Sarah Maples
Keyword(s):  
Memory Models ◽  
High Dimensional

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