Approximate Algorithms for Optimization of Busy Waiting in Parallel Programs (Preliminary Report)

Edmund M. Clarke, Lishing Liu

Browse the full FOCS paper archive.