A Probabilistic Framework for Compiler Optimization with Multithread Power-Gating Controls | IEEE Conference Publication | IEEE Xplore