Cache contents selection for statically-locked instruction caches: an algorithm comparison | IEEE Conference Publication | IEEE Xplore