index - Archive ouverte HAL Access content directly

Open Access Files

86 %

DALI

  Digits, architectures et logiciels informatiques

Search

Files' number

129

Copyright

Notices' number

32

Collaborations' map

Tags

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