Toward a Standard Benchmark Format and Suite for Floating-Point Analysis
| Autor: | Zachary Tatlock, Alex Sanchez-Stern, Chen Qiu, Pavel Panchekha, Nasrine Damouche, Matthieu Martel |
|---|---|
| Přispěvatelé: | University of Washington (USA), Université de Perpignan Via Domitia - UPVD (FRANCE) |
| Jazyk: | angličtina |
| Rok vydání: | 2016 |
| Předmět: |
Floating point
Rounding errors Programming language Computer science Computation Suite 020207 software engineering 02 engineering and technology computer.software_genre Abstract interpretation Imperative programming Autre 020204 information systems Research community Floating-Point Benchmarks 0202 electrical engineering electronic engineering information engineering Benchmark (computing) Numerical accuracy computer Affine arithmetic |
| Zdroj: | Numerical Software Verification ISBN: 9783319542911 NSV@CAV |
| Popis: | We introduce FPBench, a standard benchmark format for validation and optimization of numerical accuracy in floating-point computations. FPBench is a first step toward addressing an increasing need in our community for comparisons and combinations of tools from different application domains. To this end, FPBench provides a basic floating-point benchmark format and accuracy measures for comparing different tools. The FPBench format and measures allow comparing and composing different floating-point tools. We describe the FPBench format and measures and show that FPBench expresses benchmarks from recent papers in the literature, by building an initial benchmark suite drawn from these papers. We intend for FPBench to grow into a standard benchmark suite for the members of the floating-point tools research community. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|