Le moteur de recherche
des thèses françaises
Alain Darte
IdRefMots clés
FR |
EN
Compilation (informatique)
Modèle polyédrique
Programmation linéaire
Parallélisme (informatique)
Compilation
Allocation de registres
Vérification formelle
Coloration de graphe
Code source (informatique)
Algorithmes
Architecture client-serveur (informatique)
Tuilage
Équivalence de programme
Reconnaissance de template
BLAS
Allocation de registres découplée
JIT
SSA
Aliasing de registres
Contraintes de registres (precoloring)