Skip to Main content Skip to Navigation



 Digits, architectures et logiciels informatiques

Consult your copyright


Consulter la politique des éditeurs également sur

Number of Files


Nomber of Notices


Collaborations’ map


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