On the Problem of Minimizing Workload Execution Time in SMT Processors | IEEE Conference Publication | IEEE Xplore