Digits, architectures et logiciels informatiques - Homepage

DALI

Search	DALI Digits, architectures et logiciels informatiques	Consult your copyright Titre du journal Editeur Est exactement Commence par Contient ISSN Est exactement Tous les mots-clés Contient Consulter la politique des éditeurs également sur
Number of Files 121
Nomber of Notices 35
Collaborations’ map
Tags Numerical Reproducibility GPGPU Squaring Efficient Software Implementation Modular Exponentiation LU factorization Execution-time performance Automated design Arithmétique flottante BLAS PRBG Abstract interpretation Performance Numerical reproducibility Certified numerical accuracy Elementary functions Multi-criteria optimization C software implementation Computer arithmetic Matrix multiplication Finite element Floating-Point Arithmetic Multi-precision IEEE754 Standard Parallelism Fixed-point arithmetic Binary field Parallel algorithms RSA Error-free transformation Differential power analysis Hydrodynamics simulation Code Synthesis Sommation précise Accuracy RNS Chaotic map Précision Midpoint-radius Logistic map Parallélisme d'instruction Floating-Point Numbers Cryptographie OpenTelemac Reproductibilité Error-free transformations Block recombination Parallel floating-point summation Binary floating-point arithmetic Parallel implementation Graphic Processing Units Randomization Domain decomposition Scalar multiplication Program Transformation Modular exponentiation Numerical accuracy Multi- and many-core architectures Multiplication scalaire Compensation Elliptic curve Optimized recursive reconstruction Automated code synthesis Fuzzy intervals Multiplication Binary polynomial multiplication GPUs Pseudo-random Arithmétique des ordinateurs Toeplitz matrix Horner scheme IEEE 754 Arithmétique des corps finis Floating-point arithmetic Reproducibility Performance evaluation Instruction level parallelism AMNS Sequential multiplier Compensated algorithms Asynchronous iterations Memory Storage GPU Cryptography FPGA Code synthesis Simple power analysis Digital Signature VLIW integer processor Code generation Correct rounding Accurate summation Computer architecture Polynomial evaluation Kulisch long accumulator HPC Finite field Long accumulator Abstract Interpretation PerPI