FastTrack
From MaRDI portal
Software:34870
No author found.
Related Items (4)
Fast Detection of Stable and Count Predicates in Parallel Computations ⋮ Efficient data race detection for async-finish parallelism ⋮ Verification of STM on relaxed memory models ⋮ Abstraction and mining of traces to explain concurrency bugs
This page was built for software: FastTrack
