Ayal Zaks
Mots clés
FR |
EN
Compilateurs
Langages de programmation
Modèle polyédrique
Transformations de programmes
Transformations de boucles
La parallélisation automatique
Représentation intermédiaire
Compilateurs (logiciels)
Optimisation combinatoire
Optimisation de boucles
Compilation hybride
Profilage
Accès mémoire non-Linéaire
Élimination quantificateurs
Compilateur
Élimination des quantificateurs
Compilation (informatique)
Microarchitecture
Architectures hétérogènes
Simulation abstraite