Bounding the number of segment histories during data race detection

DOI10.1016/S0167-8191(02)00134-5zbMATH Open0999.68047MaRDI QIDQ1614871FDOQ1614871

Authors: Mark Christiaens, Michiel Ronsse, Koen De Bosschere 

Publication date: 9 September 2002

Published in: Parallel Computing (Search for Journal in Brave)

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

zbMATH Keywords

data race detectionmemory location

Mathematics Subject Classification ID

Data structures (68P05)

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)