Approach to Data Race Detection Based on Petri Nets with Additional Semantic Relations

2020 ELEKTRO ◽  
2020 ◽  
Author(s):  
Alexey N. Ivutin ◽  
Anna G. Voloshko ◽  
Viktor N. Izotov
Keyword(s):  
Petri Nets ◽  
Semantic Relations ◽  
Data Race ◽  
Data Race Detection ◽  
Race Detection

A Study on Race Condition and Dynamic Data Race Detection Techniques

2019 ◽  
Vol 7 (6) ◽  
pp. 41-46
Author(s):  
Mithilesh Kumar Dubey ◽  
Devesh Lowe ◽  
Bhavna Galhotra
Keyword(s):  
Data Race ◽  
Dynamic Data ◽  
Data Race Detection ◽  
Detection Techniques ◽  
Race Detection ◽  
Race Condition

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