Pages that link to "Item:Q5370868"
From MaRDI portal
The following pages link to Rigorous floating-point mixed-precision tuning (Q5370868):
Displaying 5 items.
- Rigorous roundoff error analysis of probabilistic floating-point computations (Q832297) (← links)
- Combining tools for optimization and analysis of floating-point computations (Q2024356) (← links)
- Fast and efficient bit-level precision tuning (Q2145313) (← links)
- A two-phase approach for conditional floating-point verification (Q2233493) (← links)
- A Framework for Error-Bounded Approximate Computing, with an Application to Dot Products (Q5864088) (← links)