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