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

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