( en | de | ru )

 

Disambiguierung von "Martel, Matthieu"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
An Efficient Summation Algorithm for the Accuracy, Convergence and Reproducibility of Parallel Numerical Methods.

, , und . VSTTE, Volume 13124 von Lecture Notes in Computer Science, Seite 165-181. Springer, (2021)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Martel Möbius

Wolfgang Martel

Andrea Martel

Martel Lukosz

Christine Martel

 

Weitere Publikationen von Autoren mit dem selben Namen

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