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

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