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

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