Micro benchmark analysis of the KSR1 | IEEE Conference Publication | IEEE Xplore