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