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

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