index - Archive ouverte HAL Access content directly

Open Access Files

Chargement de la page

DALI

  Digits, architectures et logiciels informatiques

Search

Chargement de la page

Files' number

129

Copyright

Notices' number

32

Collaborations' map

Tags

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