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

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