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

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