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