A Study of the Floating-Point Tuning Behaviour on the N-body Problem

von Khalifa, Dorra Ben
Veröffentlicht in ICCSA (21. : 2021 : Cagliari; Online) Computational science and its applications - ICCSA 2021 ; Part 5 (2021)

Fast and Efficient Bit-Level Precision Tuning

von Adje, Assale
Veröffentlicht in International Static Analysis Symposium (28. : 2021 : Chicago, Online) Static Analysis (2021)

POP: A Tuning Assistant for Mixed-Precision Floating-Point Computations

von Ben Khalifa, Dorra
Veröffentlicht in FTSCS (7. : 2019 : Shenzhen) Formal techniques for safety-critical systems (2020)

Static analysis : 17th international symposium, SAS 2010, Perpignan, France, September 14-16, 2010 ; proceedings

Veröffentlicht 2010

An Efficient Summation Algorithm for the Accuracy, Convergence and Reproducibility of Parallel Numerical Methods

von Benmouhoub, Farah
Veröffentlicht in VSTTE (13. : 2021 : Online) Software Verification (2022)

Fixed-Point Code Synthesis Based on Constraint Generation

von Bessai, Sofiane
Veröffentlicht in DASIP (15. : 2022 : Budapest) Design and architecture for signal and image processing (2022)

Numerical software verification : 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016 : revised selected papers

Veröffentlicht 2017