BandiTS: Dynamic timing speculation using multi-armed bandit based optimization | IEEE Conference Publication | IEEE Xplore