Filtrer vos résultats
- 2
- 1
- 3
- 3
- 2
- 1
- 3
- 3
- 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
3 résultats
|
|
triés par
|
|
Formally Verified Argument Reduction with a Fused Multiply-AddIEEE Transactions on Computers, 2009, 58 (8), pp.1139-1145. ⟨10.1109/TC.2008.216⟩
Article dans une revue
hal-00168401v2
|
||
|
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
|
||
|
Semi-Automatic Composition of Loop Transformations for Deep Parallelism and Memory HierarchiesInternational Journal of Parallel Programming, 2006, 34 (3), pp.261--317. ⟨10.1007/s10766-006-0012-3⟩
Article dans une revue
hal-01257288v1
|