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