Search

DALI

 Digits, architectures et logiciels informatiques

Consult your copyright

 
     

Consulter la politique des éditeurs également sur

Number of Files

121

Nomber of Notices

35

Collaborations’ map

Tags

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