Präzise Analyse der Portabbildung für AMDs Zen-Architekturen durch spärliche Leistungszähler

Durch Annahmen eines formalen Portabbildungsmodells kann eine präzise und erklärbare Portabbildung für AMD's Zen-Architekturen ohne die Verwendung von Leistungszähllern pro Port inferiert werden.