Skip to Main content Skip to Navigation
 

Search

DALI

 Digits, architectures et logiciels informatiques

Consult your copyright

 
     

Consulter la politique des éditeurs également sur

Number of Files

126

Nomber of Notices

33

Collaborations’ map

Tags

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