Skip to Main content
Skip to Navigation
Toggle navigation
HAL
HAL
HALSHS
TEL
MédiHAL
Liste des portails
AURéHAL
API
Data
Documentation
Episciences.org
Episciences.org
Journals
Documentation
Sciencesconf.org
Support
Sign in
Sign in
Sign in with ORCID
se connecter avec Fédération
Create account
Forgot your password?
Have you forgotten your login?
fr
en
DALI
Homepage
Deposit
Browse
by author
by period
by docType
by journal
by conference
by ANR project
latest submissions
Evaluation
Homepage
Open Access Files
85 %
DALI
Digits, architectures et logiciels informatiques
Search
Files' number
126
Copyright
Titre du journal ou ISSN
Editeur
Notices' number
33
Collaborations' map
Tags
PRBG
GPGPU
Code Synthesis
Toeplitz matrix
Précision
Multi-precision
Binary field
Compensated algorithms
FPGA
Fixed-point arithmetic
Midpoint-radius
Scalar multiplication
Hydrodynamics simulation
Matrix multiplication
HPC
Compensation
Block recombination
Correct rounding
OpenTelemac
Digital Signature
Error-free transformations
Code synthesis
Sequential multiplier
Determinism
Execution-time performance
Computer architecture
Sommation précise
Optimized recursive reconstruction
Certified numerical accuracy
Performance evaluation
Accurate summation
Instruction level parallelism
Efficient Software Implementation
Multi-criteria optimization
Numerical accuracy
Arithmétique des corps finis
Automated code synthesis
GPU
Polynomial evaluation
Parallel algorithms
Cryptography
GPUs
Fuzzy intervals
Cryptographie
Automated design
Multiplication
Abstract interpretation
RNS
Finite element
Kulisch long accumulator
Numerical reproducibility
Memory Storage
Arithmétique des ordinateurs
LU factorization
AMNS
Reproducibility
Parallélisme d'instruction
Graphic Processing Units
Floating-Point Arithmetic
Long accumulator
Randomization
Numerical Reproducibility
Multiplication scalaire
Code generation
Program Transformation
Computer arithmetic
Simple power analysis
Parallelism
IEEE754 Standard
Horner scheme
PerPI
BLAS
Abstract Interpretation
Floating-Point Numbers
Accuracy
Asynchronous iterations
RSA
Domain decomposition
Modular Exponentiation
Differential power analysis
Parallel floating-point summation
Finite field
Modular exponentiation
Chaotic map
Binary floating-point arithmetic
C software implementation
Binary polynomial multiplication
Parallel implementation
Elliptic curve
Arithmétique flottante
VLIW integer processor
IEEE 754
Pseudo-random
Elementary functions
Error-free transformation
Logistic map
Performance
Floating-point arithmetic
Reproductibilité
Multi- and many-core architectures