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)