Accumulation flottante  Accélération matérielle  Addition pipelinée  Additionneur rapide  Analyse numérique  Approximation polynomiale  Architecture  Architecture des circuits  Architecture des ordinateurs  Arithmétique  Arithmétique de l'ordinateur  Arithmétique en virgule fixe  Arithmétique en virgule flottante  Arithmétique interne des ordinateurs  Arithmétique à virgule fixe  Arrondi correct  Automatisation  Bioinformatique  Cache  Calcul intensif  Carré  Certificats numériques  Chemin de données arithmétique  Circuits  Circuits intégrés numériques  Codes numériques  Cohérence  Cohérence  Communications pipelinées  Compilation  Debugage  Dilemme du fabricant de table  Débogage  Embarqué  Exponentielle flottante  FMA  FPGA - field-Programmable gate array  FPGA  Filtres numériques  FloPoCo  Fonctions  Fonctions power  Fonctions élémentaires  Fpga  Gestion mémoire  Générateurs de code source  Génération automatique de code  Génération de code  Hpc  Implémentation  Informatique  Informatique mathématique  Jacobi  Karatsuba-Offman  Libm  Logiciel  Loi multinomiale  Matériel  Micro-architecture  Multiplication  Multiplication de matrices  Multiplication par pavage  Multiplieur tronqué  Multiprécision  Mémoire partagée répartie  Méthode des différences tabulées  Méthodes formelles  Méthodes formelles  Nid de boucles parfait  Nombre limite de projection  Norme IEEE-754  Norme infinie  Optimisation  Optimisation combinatoire  Opérateurs matériels  Parallélisme  Performance  Pipeline pour une fréquence donnée  Preuve  Qualité numérique certifiée  Racine carrée flottante  Reconfigurable  Réseaux logiques programmables par l'utilisateur  Schéma d'évaluation de Horner  Somme de carrés flottante  Sous-normaux  Synthèse de code numérique  Synthèse de haut niveau  Système  Système logarithmique  Système sur puce  Systèmes embarqués  Tolérance aux fautes  Tolérance aux fautes  Transformations automatiques  Unité virgule flottante  Virgule fixe  Virgule flottante  Évaluation polynomiale  

Florent Dupont de Dinechin a rédigé la thèse suivante :


Florent Dupont de Dinechin a dirigé les 7 thèses suivantes :

Informatique
Soutenue le 13-11-2019
Thèse soutenue


Florent Dupont de Dinechin a été président de jury de la thèse suivante :


Florent Dupont de Dinechin a été rapporteur des 4 thèses suivantes :


Florent Dupont de Dinechin a été membre de jury de la thèse suivante :