Performance Modeling for Hardware Thread-Level Speculation | IEEE Conference Publication | IEEE Xplore