The following pages link to AVIO (Q34874):
Displaying 5 items.
- Symbolic predictive analysis for concurrent programs (Q432146) (← links)
- Extensible transactional memory testbed (Q666242) (← links)
- Abstraction and mining of traces to explain concurrency bugs (Q681463) (← links)
- Fast Detection of Stable and Count Predicates in Parallel Computations (Q3300821) (← links)
- The Complexity of Predicting Atomicity Violations (Q3617757) (← links)