HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation

Open Access Files

85 %


  Digits, architectures et logiciels informatiques


Files' number



Notices' number


Collaborations' map


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