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