Dupont de Dinechin, Florent, 1970-....
Florent de Dinechin
VIAF ID: 219300153 ( Personal )
Permalink: http://viaf.org/viaf/219300153
Preferred Forms
4xx's: Alternate Name Forms (4)
Works
Title | Sources |
---|---|
Une accélération matérielle à précision variable pour le calcul scientifique. | |
Acceleration of a bioinformatics application using high-level synthesis | |
Arithmétiques réelles sur FPGA : virgule fixe, virgule flottante et système logarithmique | |
Concevoir l'exploration de l'espace de traitement d'images et de systèmes embarqués. | |
Contributions au passage à l’échelle de l’optimisation de la précision des calculs. | |
Contributions to computer arithmetic and applications to embedded systems. | |
Contributions to the scalability of automatic precision tuning | |
The correct rounding of mathematical functions : univariate and bivariate functions, certification and automatisation. | |
Design, Optimization, and Formal Verification of Circuit Fault-Tolerance Techniques | |
Design space exploration of image processing algorithms on FPGAs | |
Dynamic sharing set for scalable cache coherence protocols. | |
Elementary functions : towards automatically generated, efficient, and vectorizable implementations | |
Fonctions élémentaires : algorithmes et implémentations efficaces pour l'arrondi correct en double précision | |
Handbook of floating-point arithmetic | |
High-level synthesis and arithmetic optimizations | |
High-performance coarse operators for FPGA-based computing | |
High-performance floating-point computing on reconfigurable circuits. | |
L'arithmétique des ordinateurs | |
Opérateurs grossiers haute performance pour l'informatique basée FPGA. | |
Outils de débogage et d'optimisation des calculs flottants dans le contexte HPC | |
Représentation dynamique de la liste des copies pour le passage à l'échelle des protocoles de cohérence de cache | |
Réseaux de Petri temporisés pour la synthèse de circuits pipelinés | |
Structured systems of affine recurrence equations in the alpha language, and applications. | |
Synthèse de haut niveau et optimisations arithmétiques. | |
Synthèse de haut niveau sur FPGA pour problèmes inverses : application à la tomographie et à la radioastronomie. | |
Synthesis of certified programs in fixed-point arithmetic, and its application to linear algebra basic blocks : and its application to linear algebra basic blocks | |
Systematic design of wavefront array processors : a case study | |
Timed Petri nets for the synthesis of pipelined circuits. | |
Timing speculation for hardware accelerators. | |
Tools for debugging and optimizing floating-point computations in HPC. | |
Towards a modern floating-point environment | |
Vers l'environnement flottant moderne. |