A Dynamic Resource Allocation Optimization for SMT Processors | IEEE Conference Publication | IEEE Xplore