index - Digits, architectures et logiciels informatiques Accéder directement au contenu


L’équipe DALI développe une thématique de recherche unifiée afin d’améliorer la qualité numérique et la haute performance des calculs. DALI permet l’interaction, rare en France au sein d’une même équipe, d’experts en micro-architecture et en arithmétique des ordinateurs.

Côté performances, nos travaux portent sur l’exploitation du potentiel de calcul toujours croissant des processeurs : élargissement des chemins (micro-architecture vectorielle), multiplication des cœurs (parallélisme de tâches), augmentation du parallélisme d’instructions. Côté arithmétique, la qualité numérique des applications de calcul scientifique et la sûreté de fonctionnement d’applications embarquées dépendent crucialement de la maîtrise de la précision finie et de l’arithmétique flottante en particulier. Il s’agit de contrôler et certifier les calculs (algorithmes, codes) mais aussi d’optimiser la précision des résultats. De nombreux logiciels, scientifiques ou embarqués, nécessitent d’améliorer la qualité numérique sans pour autant sacrifier la rapidité d’exécution. Ainsi se rejoignent amélioration de la performance et de la qualité numérique.

Open Access Files

84 %

Nombre de Fichiers déposés

135

Nombre de Notices déposées

32

Politique des éditeurs en matière de dépôt dans une archive ouverte

Cartographie des collaborations

Tags

Reproducibility Compensation Automated design HPC Graphic Processing Units Pseudo-random Parallel implementation Karatsuba PerPI IEEE754 Standard Memory Storage Floating-Point Numbers Polynomial evaluation Code Synthesis Optimized recursive reconstruction Differential power analysis Cryptography Toeplitz matrix Multiplication Kulisch long accumulator Digital Signature Code synthesis AMNS Multi-precision Randomization GPU Error-free transformations Précision Computer arithmetic Parallel floating-point summation Domain decomposition Compensated algorithms Asynchronous iterations Performance OpenTelemac Side channel analysis Architecture des ordinateurs Parallélisme d'instruction Chaotic map Abstract interpretation Binary polynomial multiplication FPGA Multiplication scalaire Logistic map Modular Exponentiation Cosmic radiation Midpoint-radius Execution-time performance Determinism Matrix multiplication GPGPU Arithmétique flottante Program Transformation Automated code synthesis Multi- and many-core architectures Finite element RSA Certified numerical accuracy RNS Elliptic curve C software implementation Reproductibilité Fixed-point arithmetic Elementary functions IEEE 754 Parallelism Instruction level parallelism Correct rounding Horner scheme Long accumulator VLIW integer processor Cryptographie Numerical accuracy ECC Parallel algorithms Hydrodynamics simulation Computer architecture PRBG Error-free transformation Arithmétique des corps finis Numerical Reproducibility Scalar multiplication Code generation Finite field Fuzzy intervals Floating-point arithmetic Numerical reproducibility Accurate summation Binary field Block recombination Multi-criteria optimization Performance evaluation Floating-Point Arithmetic Modular exponentiation Accuracy Arithmétique des ordinateurs Binary floating-point arithmetic Abstract Interpretation BLAS Efficient Software Implementation