×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [precise race detection]
Home >
precise race detection
Symbolic Program Consistency Checking of OpenMP Parallel Programs with Relaxed Memory Models Fang Yu National Cheng Chi University Shun-Ching Yang Guan-Cheng.
218 views
Accelerating Precise Race Detection Using Commercially-Available Hardware Transactional Memory Support Serdar Tasiran Koc University, Istanbul, Turkey.
214 views
Accelerating Precise Race Detection Using Commercially-Available Hardware Transactional Memory Support
56 views