4.2 Increasing the performance of a 28nm x86-64 microprocessor through system power management | IEEE Conference Publication | IEEE Xplore