Couvre la vérification de la sécurité du matériel et des logiciels, y compris les algorithmes et les techniques vérifiés pour éliminer les fuites spéculatives.
Couvre la planification dynamique dans les processeurs, en se concentrant sur l'exécution dans le désordre et la gestion efficace des dépendances d'instructions.
Explore la mise en œuvre d'algorithmes dans le matériel, couvrant les registres, les instructions de base, le langage de montage, et l'architecture von Neumann.
Couvre les principes et les mécanismes de la virtualisation, y compris le multiplexage, l'agrégation et l'émulation, en mettant l'accent sur la mise en œuvre de la mémoire virtuelle.
Explore l'optimisation accélérée de l'ordre de jointage GPU dans les grands espaces de recherche, en tirant parti de la topologie graphique pour réduire les frais généraux de calcul.
Discute des modèles de coefficients constants et aléatoires, de l'optimisation des facteurs et de l'estimation des interactions dans l'analyse des performances.
Couvre les bases de la modélisation géométrique et du maillage pour la simulation numérique de flux, y compris les métriques de qualité du maillage et les différents algorithmes de maillage.