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