Data Race Detection with Minimal Hardware Support

2013 ◽  
Vol 57 (5) ◽  
pp. 675-692
Author(s):  
R. Gonzalez-Alberquilla ◽  
F. E. Frati ◽  
L. Pinuel ◽  
K. Strauss ◽  
L. Ceze
Keyword(s):  
Hardware Support ◽  
Data Race ◽  
Data Race Detection ◽  
Race Detection ◽  
Minimal Hardware

Symbolic data race detection for Habanero programs

2019 ◽  
Vol 44 (4) ◽  
pp. 18-18 ◽  
Author(s):  
Egor Namakonov ◽  
Eric Mercer ◽  
Pavel Parizek ◽  
Kyle Storey
Keyword(s):  
Data Race ◽  
Data Race Detection ◽  
Race Detection ◽  
Symbolic Data

scholarly journals Deadlock checking by data race detection

2014 ◽  
Vol 83 (5-6) ◽  
pp. 400-426 ◽  
Author(s):  
Ka I Pun ◽  
Martin Steffen ◽  
Volker Stolz
Keyword(s):  
Data Race ◽  
Data Race Detection ◽  
Race Detection
Sign in / Sign up

Export Citation Format

Share Document