Access content directly
New interface
Documentation
EN
French (FR)
English (EN)
Sign in
Collection
DALI
Search
Loading...
Advanced Search
Information de documents
Titles
Titles
Subtitle
Work title
hal_serie_t
Default search field (multi-criteria) + PDF full text
Abstract
Full text of PDF document
Keywords
All document identifiers
HAL submission identifier
Language of document (text)
Country (Text)
City
hal_inPress_bool
Add
Author
Author (multi-criteria)
Author (multi-criteria)
Author: Full name
Author: Last name
Author: First name
Author: middle name
Author: funding institution
Author: IdHal (string)
Author: function
Author: personID (integer)
hal_authId_i
Author: funding institution identifier
Author: Structure identifier
Thesis director
Publisher
Scientific editor
Series editor
Add
Structure
Structure (multi-criteria)
Structure (multi-criteria)
Structure: Acronym
Structure: Name
Structure: Code
Structure: Country
Structure: Type
Structure: Referential status
Structure: Internal structure identifier
Structure/research team: Country
Structure/department: Country
Structure/laboratory: Country
Structure/group of departments: State
Structure/institution: Country
Structure/group of institutions: Country
Add
Autres
Default search field (multi-criteria)
Default search field (multi-criteria)
Journals (multi-criteria)
Journal: Publisher
Journal: Abbreviated title
Journal: Title
Journal: Internal identifier
Journal: beginning publication date
Journal: online ISSN
Journal: ISSN
Journal: Publisher
Journal: SHERPA/RoMEO color
Journal: referential status
Conference (multi-criteria)
Conference: Title
Conference: Organiser
Conference: beginning date (Year)
Conference: end date (Year)
Invited communication (yes/no)
ANR project (multi-criteria)
ANR project: Acronym
hal_anrProjectAcronymProgram_t
ANR project: Code decision (reference)
ANR project: Name
ANR project: Internal identifier
ANR project: Referential Status
European project (multi-criteria)
European project: Acronym
European project: Call identifier
European project: Reference
European project: Name
European project: end date
European project: Funding
European project: beginning date
European project: Referential status
European project: Internal identifier
Publication date: year
Release date: year
hal_publicationDateY_i
Writing date: year
Date modified: year
Submission Date: year
Online Publication date: year
HAL Collection (multi-criteria)
HAL Collection: category
HAL Collection: Code
HAL Collection: Name
HAL Collection: Internal identifier
Contributor/author Internal identifier
Contributor/author Full name
Domains
Primary domain
Root domain
Sub-domain level 1
Sub-domain level 2
Sub-domain level 3
Status of document
Document version
Submission type
Document type
ISBN
Number - reference
Identifier: DOI
Classification
Audience
Vulgarization
Peer reviewing - text (yes or no)
Conference proceedings
Internal reference
Funding
Collaborations
Add
Lancer la recherche
recherche experte (SolR)
Recherche experte (SolR)
Run the search
Vers la recherche avancée
Upload
DALI
Homepage
Deposit
Browse
by author
by period
by docType
by journal
by conference
by ANR project
latest submissions
Evaluation
×
×
×
Loading...
×
Open Access Files
DALI
Digits, architectures et logiciels informatiques
Search
Files' number
129
Copyright
Titre du journal ou ISSN
Editeur
Notices' number
33
Collaborations' map
Tags
Floating-Point Arithmetic
Accuracy
Efficient Software Implementation
Execution-time performance
VLIW integer processor
Code generation
Sequential multiplier
Simple power analysis
OpenTelemac
Elementary functions
Showers atmosphere
Numerical Reproducibility
Kulisch long accumulator
RNS
Parallel floating-point summation
Abstract Interpretation
Midpoint-radius
Toeplitz matrix
Matrix multiplication
Correct rounding
Reproducibility
RSA
Performance
HPC
Error-free transformations
Program Transformation
Numerical reproducibility
Sommation précise
PRBG
Code synthesis
Computer arithmetic
Accurate summation
Compensation
Scalar multiplication
Code Synthesis
Cryptography
Error-free transformation
Fuzzy intervals
Logistic map
Certified numerical accuracy
PerPI
Instruction level parallelism
Multi-criteria optimization
Chaotic map
Asynchronous iterations
Reproductibilité
Numerical accuracy
Randomization
Compensated algorithms
Hydrodynamics simulation
Parallel algorithms
Differential power analysis
Précision
Domain decomposition
Abstract interpretation
Arithmétique des ordinateurs
GPU
Memory Storage
GPGPU
Binary field
Long accumulator
Multiplication
C software implementation
Multi- and many-core architectures
Floating-Point Numbers
Architecture des ordinateurs
Horner scheme
IEEE 754
Binary floating-point arithmetic
Elliptic curve
Automated design
Fixed-point arithmetic
Performance evaluation
Modular exponentiation
Parallelism
Cryptographie
Modular Exponentiation
Digital Signature
BLAS
Floating-point arithmetic
Finite element
Arithmétique des corps finis
Binary polynomial multiplication
Pseudo-random
Finite field
Parallélisme d'instruction
Multi-precision
Multiplication scalaire
Parallel implementation
Cosmic radiation
Optimized recursive reconstruction
Block recombination
Computer architecture
Polynomial evaluation
Automated code synthesis
IEEE754 Standard
Graphic Processing Units
AMNS
Arithmétique flottante
FPGA