Le moteur de recherche
des thèses françaises
Erven Rohou
IdRefMots clés
FR |
EN
Compilation (informatique)
Compilation
Systèmes embarqués (informatique)
Systèmes informatiques -- Mesures de sûreté
Programmation parallèle (informatique)
Compilateur
Calcul intensif (informatique)
Informatique
Compilateurs (logiciels)
Optimisation
Systèmes embarqués
Analyse statique
Logiciels -- Vérification
Arithmétique en virgule flottante
Polyèdres
Simulation
Parallélisation
Ordonnancement
Tolérance aux fautes (informatique)
Cryptographie