On-the-fly Verification of Memory Consistency with Concurrent Relaxed Scoreboards

2013 ◽  
Author(s):  
Leandro S. Freitas ◽  
Eberle A. Rambo ◽  
Luiz C. V. dos Santos
Keyword(s):  
Memory Consistency

scholarly journals Fast and Generalized Polynomial Time Memory Consistency Verification

2006 ◽  
pp. 503-516 ◽  
Author(s):  
Amitabha Roy ◽  
Stephan Zeisset ◽  
Charles J. Fleckenstein ◽  
John C. Huang
Keyword(s):  
Polynomial Time ◽  
Memory Consistency ◽  
Generalized Polynomial ◽  
Consistency Verification

Fast complete memory consistency verification

2009 ◽  
Author(s):  
Yunji Chen ◽  
Yi Lv ◽  
Weiwu Hu ◽  
Tianshi Chen ◽  
Haihua Shen ◽  
...  
Keyword(s):  
Memory Consistency ◽  
Consistency Verification

PipeProof: Automated Memory Consistency Proofs for Microarchitectural Specifications

2018 ◽  
Author(s):  
Yatin A. Manerkar ◽  
Daniel Lustig ◽  
Margaret Martonosi ◽  
Aarti Gupta
Keyword(s):  
Memory Consistency ◽  
Consistency Proofs

Memory Consistency

2009 ◽  
pp. 1707-1707
Keyword(s):  
Memory Consistency

scholarly journals Shared Memory Consistency Models: A Tutorial

1995 ◽  
Author(s):  
Sarita V. Adve ◽  
Kourosh Gharachorloo
Keyword(s):  
Shared Memory ◽  
Memory Consistency ◽  
Memory Consistency Models ◽  
Consistency Models

scholarly journals A proposal for a UPC memory consistency model, v1.0

2004 ◽  
Author(s):  
Katherine Yelick ◽  
Dan Bonachea ◽  
Charles Wallace
Keyword(s):  
Memory Consistency ◽  
Consistency Model ◽  
Memory Consistency Model
Sign in / Sign up

Export Citation Format

Share Document