Approximate algorithms for optimization of busy waiting in parallel programs | IEEE Conference Publication | IEEE Xplore