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