Accumulation flottante  Accélération matérielle  Addition pipelinée  Additionneur rapide  Analyse numérique  Approximation polynomiale  Architecture  Architecture d'ensemble d'instructions - ISA  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  Calcul scientifique  Carré  Certificats numériques  Chemin de données arithmétique  Circuits  Circuits intégrés numériques  Codes numériques  Filtres numériques  Fonctions  Fonctions élémentaires  Informatique mathématique  Optimisation  Parallélisme  Synthèse de haut niveau  Virgule flottante  

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

Systemes structures d'equations recurrentes : mise en uvre dans le langage alpha et applications

par Florent Dupont de Dinechin sous la direction de Patrice Quinton - Rennes 1

Informatique

Soutenue en 1997

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

A variable precision hardware acceleration for scientific computing

par Andrea Bocco sous la direction de Florent Dupont de Dinechin et de Yves Durand . - Lyon

Informatique

Soutenue le 29-07-2020

High-level synthesis and arithmetic optimizations

par Yohann Uguen sous la direction de Florent Dupont de Dinechin - Lyon

Informatique

Soutenue le 13-11-2019

High-performance coarse operators for FPGA-based computing

par Matei Valentin Istoan sous la direction de Florent Dupont de Dinechin - Lyon

Informatique

Soutenue le 06-04-2017

Contribution à l'arithmétique des ordinateurs et applications aux systèmes embarqués

par Nicolas Brunie sous la direction de Florent Dupont de Dinechin - Lyon, École normale supérieure

Informatique

Soutenue le 16-05-2014

Calcul flottant haute performance sur circuits reconfigurables

par Bogdan Mihai Pasca sous la direction de Florent Dupont de Dinechin - Lyon, École normale supérieure

Informatique

Soutenue le 21-09-2011

Arrondi correct de fonctions mathématiques : fonctions univariées et bivariées, certification et automatisation

par Christoph Quirin Lauter sous la direction de Florent Dupont de Dinechin - Lyon, École normale supérieure (sciences)

Informatique

Soutenue en 2008

Arithmétiques réelles sur FPGA : virgule fixe, virgule flottante et système logarithmique

par Jérémie Detrey sous la direction de Florent Dupont de Dinechin et de Jean-Michel Muller . - Lyon, École normale supérieure (sciences)

Informatique

Soutenue en 2007

Fonctions élémentaires : algorithmes et implémentations efficaces pour l'arrondi correct en double précision

par David Defour sous la direction de Jean-Michel Muller et de Florent Dupont de Dinechin . - Lyon, École normale supérieure (sciences)

Informatique

Soutenue en 2003

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

Représentation dynamique de la liste des copies pour le passage à l'échelle des protocoles de cohérence de cache

par Julie Dumas sous la direction de Frédéric Pétrot - Université Grenoble Alpes (ComUE)

Informatique

Soutenue le 13-12-2017

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

Outils de débogage et d'optimisation des calculs flottants dans le contexte HPC

par Yohan Chatelain sous la direction de William Jalby - Université Paris-Saclay (ComUE)

Informatique

Soutenue le 12-12-2019

Elementary functions : towards automatically generated, efficient, and vectorizable implementations

par Hugues de Lassus Saint-Genies sous la direction de David Defour et de Guillaume Revy . - Perpignan

Informatique

Soutenue le 17-05-2018

Synthesis of certified programs in fixed-point arithmetic, and its application to linear algebra basic blocks : and its application to linear algebra basic blocks

par Mohamed amine Najahi sous la direction de Matthieu Martel et de Guillaume Revy . - Perpignan

Informatique

Soutenue le 10-12-2014

Acceleration of a bioinformatics application using high-level synthesis

par Naeem Abbas sous la direction de Steven Derrien et de Patrice Quinton . - Cachan, Ecole normale supérieure

Informatique

Soutenue le 22-05-2012

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

Design, Optimization, and Formal Verification of Circuit Fault-Tolerance Techniques

par Dmitry Burlyaev sous la direction de Pascal Fradet et de Alain Girault . - Université Grenoble Alpes (ComUE)

Informatique

Soutenue le 26-11-2015