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

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