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