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