A quantitative framework for automated pre-execution thread selection | IEEE Conference Publication | IEEE Xplore