swMATH23090MaRDI QIDQ34874FDOQ34874
Author name not available (Why is that?)
Official website: http://ieeexplore.ieee.org/document/4205121/
Cited In (26)
- Symbolic predictive analysis for concurrent programs
- Fast Detection of Stable and Count Predicates in Parallel Computations
- Atomizer
- Eraser
- STMBench7
- Velodrome
- Lee-TM
- Minebench
- SingleTrack
- Specomp
- WormBench
- Goldilocks
- ALPBench
- bzip2smp
- CHESS
- CTrigger
- Falcon
- FastTrack
- jPredictor
- QuickLex
- tm_db
- TMunit
- BIDE
- Extensible transactional memory testbed
- The Complexity of Predicting Atomicity Violations
- Abstraction and mining of traces to explain concurrency bugs
This page was built for software: AVIO
