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