index - Archive ouverte HAL Access content directly

Open Access Files

86 %

DALI

  Digits, architectures et logiciels informatiques

Search

Files' number

129

Copyright

Notices' number

33

Collaborations' map

Tags

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