Dynamic Core Allocation for Energy-Efficient Thread-Level Speculation | IEEE Conference Publication | IEEE Xplore