scholarly journals BMC for Weak Memory Models: Relation Analysis for Compact SMT Encodings

2019 ◽  
pp. 355-365 ◽  
Author(s):  
Natalia Gavrilenko ◽  
Hernán Ponce-de-León ◽  
Florian Furbach ◽  
Keijo Heljanko ◽  
Roland Meyer
Keyword(s):  
Memory Models ◽  
Relation Analysis

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

Fuzzy grey relation analysis on torque influence factors of alternating current electrodyna-mometer

2013 ◽  
Vol 26 (8) ◽  
pp. 693-698 ◽  
Author(s):  
Zhigang Zhang ◽  
Guixiang Zhang ◽  
Teng Liu ◽  
Cheng Qian ◽  
Yuanwang Deng
Keyword(s):  
Influence Factors ◽  
Alternating Current ◽  
Grey Relation Analysis ◽  
Relation Analysis ◽  
Grey Relation

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
Sign in / Sign up

Export Citation Format

Share Document