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

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