scientific article; zbMATH DE number 2089170

MaRDI QIDQ3046404zbMATH OpenFDO

Authors Eun-Kyung Ryu, Keum-Sook Ha, Kee-Young Yoo

Publication date 12 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2367/23670264.htm

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• scientific article; zbMATH DE number 1262878
• Scaling model checking of dataraces using dynamic information
• scientific article; zbMATH DE number 2089169
• Efficient data race detection for async-finish parallelism
• Fast and Accurate Static Data-Race Detection for Concurrent Programs

Cited in

(15)

• Bounding the number of segment histories during data race detection
• Non-intrusive detection of synchronization errors using execution replay
• Efficient data race detection for async-finish parallelism
• scientific article; zbMATH DE number 1728452 (Why is no real title available?)
• scientific article; zbMATH DE number 6712238 (Why is no real title available?)
• scientific article; zbMATH DE number 2089169 (Why is no real title available?)
• scientific article; zbMATH DE number 1262851 (Why is no real title available?)
• scientific article; zbMATH DE number 1262878 (Why is no real title available?)
• scientific article; zbMATH DE number 1755937 (Why is no real title available?)
• Race detection and reachability in nearly series-parallel DAGs
• Euro-Par 2004 Parallel Processing
• Fast and Accurate Static Data-Race Detection for Concurrent Programs
• Dynamic Data-Race Detection Through the Fine-Grained Lens
• Data race avoidance and replay scheme for developing and debugging parallel programs on distributed shared memory systems
• Efficient access history for race detection

This page was built for publication:

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