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

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