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