( en | de | ru )

 

Disambiguation of "Martel, Matthieu"

Author of the publication

copydeleteadd this publication to your clipboard
An Efficient Summation Algorithm for the Accuracy, Convergence and Reproducibility of Parallel Numerical Methods.

, , and . VSTTE, volume 13124 of Lecture Notes in Computer Science, page 165-181. Springer, (2021)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Martel Möbius

Wolfgang Martel

Andrea Martel

Martel Lukosz

Christine Martel

 

Other publications of authors with the same name

Validation of assembler programs for DSPs: a static analyzer.. PASTE, page 8-13. ACM, (2004)A Policy Iteration Algorithm for Computing Fixed Points in Static Analysis of Programs., , , , and . CAV, volume 3576 of Lecture Notes in Computer Science, page 462-475. Springer, (2005)Static Analysis of the Numerical Stability of Loops.. SAS, volume 2477 of Lecture Notes in Computer Science, page 133-150. Springer, (2002)A New Abstract Domain for the Representation of Mathematically Equivalent Expressions., and . SAS, volume 7460 of Lecture Notes in Computer Science, page 75-93. Springer, (2012)Propagation of Roundoff Errors in Finite Precision Computations: A Semantics Approach.. ESOP, volume 2305 of Lecture Notes in Computer Science, page 194-208. Springer, (2002)Fast and Efficient Bit-Level Precision Tuning., , and . SAS, volume 12913 of Lecture Notes in Computer Science, page 1-24. Springer, (2021)On the Functional Properties of Automatically Generated Fixed-Point Controllers., and . CoDIT, page 786-791. IEEE, (2023)Accurate Evaluation of Arithmetic Expressions (Invited Talk).. NSAD@SAS, volume 287 of Electronic Notes in Theoretical Computer Science, page 3-16. Elsevier, (2012)Precision Tuning of an Accelerometer-Based Pedometer Algorithm for IoT Devices., and . IoTaIS, page 116-122. IEEE, (2020)Synthesizing accurate floating-point formulas., and . ASAP, page 113-116. IEEE Computer Society, (2013)