Bounding the number of segment histories during data race detection

DOI10.1016/S0167-8191(02)00134-5MaRDI QIDQ1614871zbMATH OpenFDO

Authors Mark Christiaens, Michiel Ronsse, Koen De Bosschere

Publication date 9 September 2002

Published in Parallel Computing (Search for Journal in Brave)

zbMATH Keywords

data race detectionmemory location

Mathematics Subject Classification ID

Data structures (68P05)

Recommendations

• scientific article; zbMATH DE number 2089170
• Dynamic Data-Race Detection Through the Fine-Grained Lens
• Fast and Accurate Static Data-Race Detection for Concurrent Programs
• Euro-Par 2004 Parallel Processing
• scientific article; zbMATH DE number 1262878

This page was built for publication: Bounding the number of segment histories during data race detection

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1614871)