Yassamine Seladji
IdRefMots clés
FR |
EN
Précision numérique
Erreurs d'arrondi
Arithmétique flottante
Erreur d'arrondi
Arithmétique en virgule flottante
Logiciels -- Exactitude
Analyse statique
Parallélisme
HPC
Reproductibilité
Parallélisme (informatique)
Calcul intensif (informatique)
Transformation automatique de programmes
Interprétation abstraite
Logiciels -- Vérification
Arithmétique à virgule fixe
Synthèse de code
Génération de contraintes
Réseaux de neurones
Solveur SMT