Energy-efficient physically tagged caches for embedded processors with virtual memory | IEEE Conference Publication | IEEE Xplore