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

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