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