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

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