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

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