Filtrer vos résultats
- 18
- 8
- 1
- 12
- 7
- 4
- 2
- 1
- 1
- 1
- 27
- 1
- 1
- 1
- 1
- 2
- 10
- 4
- 1
- 3
- 2
- 2
- 1
- 1
- 27
- 27
- 14
- 14
- 14
- 11
- 11
- 9
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 14
- 13
- 12
- 11
- 6
- 5
- 4
- 4
- 4
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
27 résultats
|
|
|
triés par
|
Computing floating-point square roots via bivariate polynomial evaluationIEEE Transactions on Computers, 2011, 60 (2), pp.214-227. ⟨10.1109/TC.2010.152⟩
Article dans une revue
ensl-00559236v1
|
|||
|
|
Reproducible and Accurate Matrix Multiplication for High-Performance ComputingSCAN: Scientific Computing, Computer Arithmetic and Validated Numerics, Sep 2014, Wuerzburg, Germany. pp.42-43
Communication dans un congrès
hal-01215627v1
|
||
|
|
ExBLAS: Reproducible and Accurate BLAS LibraryNRE: Numerical Reproducibility at Exascale, Nov 2015, Austin, TX, United States
Communication dans un congrès
hal-01202396v3
|
||
Design of Fixed-Point Embedded Systems (defis) French ANR ProjectDASIP: Design and Architectures for Signal and Image Processing, Oct 2012, Karlsruhe, Germany. , pp.365-366, 2012
Poster de conférence
hal-00822487v1
|
|||
|
|
Code Synthesis to Optimize Accuracy and Execution Time of Floating-Point Programs2015
Pré-publication, Document de travail
hal-01157509v1
|
||
|
|
ExBLAS: Reproducible and Accurate BLAS LibraryRAIM: Rencontres Arithmétiques de l’Informatique Mathématique, Apr 2015, Rennes, France. , 7ème Rencontre Arithmétique de l'Informatique Mathématique, 2015
Poster de conférence
hal-01140280v1
|
||
|
|
How to square floats accurately and efficiently on the ST231 integer processor2010
Pré-publication, Document de travail
ensl-00532829v1
|
||
|
|
Reproducible and Accurate Matrix Multiplication for GPU Accelerators2015
Pré-publication, Document de travail
hal-01102877v1
|
||
Reproducible and Accurate Algorithms for Numerical Linear AlgebraPP: Parallel Processing for Scientific Computing, Apr 2016, Paris, France
Communication dans un congrès
lirmm-01268048v1
|
|||
|
|
A Reproducible Accurate Summation Algorithm for High-Performance ComputingEX: Exascale Applied Mathematics Challenges and Opportunities, Jul 2014, Chicago, United States
Communication dans un congrès
hal-01267825v1
|
||
|
|
Numerical Reproducibility for the Parallel Reduction on Multi- and Many-Core ArchitecturesParallel Computing, 2015, 49, pp.83-97. ⟨10.1016/j.parco.2015.09.001⟩
Article dans une revue
lirmm-01206348v1
|
||
Pseudo-random number generator based on mixing of three chaotic mapsCommunications in Nonlinear Science and Numerical Simulation, 2014, 19 (4), pp.887--895. ⟨10.1016/j.cnsns.2013.08.032⟩
Article dans une revue
hal-00936657v1
|
|||
|
|
Automatic source-to-source error compensation of floating-point programs: code synthesis to optimize accuracy and timeConcurrency and Computation: Practice and Experience, 2017, Concurrency and Computation: Practice and Experience, 29 (7), pp.e3953. ⟨10.1002/cpe.3953⟩
Article dans une revue
hal-01236919v2
|
||
|
|
First steps towards more numerical reproducibilityESAIM: Proceedings and Surveys, 2014, ESAIM: Proceedings and Surveys, 45, pp.229-238. ⟨10.1051/proc/201445023⟩
Article dans une revue
lirmm-00872562v1
|
||
Reproducibility and Accuracy for High-Performance ComputingRAIM: Rencontres Arithmétiques de l’Informatique Mathématique, Apr 2015, Rennes, France
Communication dans un congrès
hal-01140531v1
|
|||
How to Square Floats Accurately and Efficiently on the ST231 Integer ProcessorARITH: Computer Arithmetic, Jul 2011, Tübingen, Germany. pp.77-81, ⟨10.1109/ARITH.2011.19⟩
Communication dans un congrès
ensl-00644147v1
|
|||
|
|
Line-by-line spectroscopic simulations on graphics processing unitsComputer Physics Communications, 2008, 178 (2), pp.135-143. ⟨10.1016/j.cpc.2007.08.013⟩
Article dans une revue
lirmm-01206361v1
|
||
|
|
Automatic Source-to-Source Error Compensation of Floating-Point ProgramsComputational Science and Engineering (CSE), Oct 2015, Porto, Portugal. pp.9--16, ⟨10.1109/CSE.2015.11⟩
Communication dans un congrès
hal-01158399v1
|
||
|
|
A new binary floating-point division algorithm and its software implementation on the ST231 processorARITH: Computer Arithmetic, Jun 2009, Portland, OR, United States. pp.95-103, ⟨10.1109/ARITH.2009.19⟩
Communication dans un congrès
hal-00993090v1
|
||
|
|
Reproducible Triangular Solvers for High-Performance Computing2015 12th International Conference on Information Technology - New Generations, Apr 2015, Las Vegas, NV, United States. pp.353-358, ⟨10.1109/ITNG.2015.63⟩
Communication dans un congrès
hal-01116588v2
|
||
|
|
Numerical Reproducibility for the Parallel Reduction on Multi- and Many-Core Architectures2015
Pré-publication, Document de travail
hal-00949355v4
|
||
|
|
Reproducible floating-point atomic addition in data-parallel environmentACSIS, Sep 2015, Lodz, Poland. pp.721-728, ⟨10.15439/2015F86⟩
Communication dans un congrès
hal-01267755v1
|
||
|
|
Reproducible and Accurate Matrix MultiplicationSCAN: Scientific Computing, Computer Arithmetic and Validated Numerics, Sep 2014, Wurzburg, Germany. pp.126-137, ⟨10.1007/978-3-319-31769-4_11⟩
Communication dans un congrès
hal-01539180v1
|
||
|
|
Algorithms for Accurate, Validated and Fast Polynomial EvaluationJapan Journal of Industrial and Applied Mathematics, 2009, 26 (2-3), pp.191-214. ⟨10.1007/BF03186531⟩
Article dans une revue
hal-00285603v1
|
||
|
|
Static AnalysisSpringer, LNCS (6337), 2010, 978-3-642-15768-4. ⟨10.1007/978-3-642-15769-1⟩
Ouvrages
hal-00813003v1
|
||
|
|
Automatic Generation of Fast and Certified Code for Polynomial EvaluationARITH: Computer Arithmetic, Jul 2011, Tübingen, Germany. pp.233-242, ⟨10.1109/ARITH.2011.39⟩
Communication dans un congrès
ensl-00531721v1
|
||
|
|
CR-LIBM A library of correctly rounded elementary functions in double-precision[Research Report] LIP,. 2006
Rapport
ensl-01529804v1
|