Le moteur de recherche
des thèses françaises
David Monniaux
IdRefMots clés
FR |
EN
Logiciels -- Vérification
Analyse statique
Polyèdres
Coq
Optimisation
Arithmétique en virgule flottante
Compilation (informatique)
Microprocesseurs
Temps réel (informatique)
Preuve formelle
Géométrie algorithmique
Coq (logiciel)
Compilation
Logique informatique
Analyse Pire Cas
Vérification
Microarchitecture
Interprétation abstraite
Programmation linéaire
Informatique