Rigorous floating-point mixed-precision tuning
From MaRDI portal
Recommendations
- Fast and efficient bit-level precision tuning
- Mixed precision algorithms in numerical linear algebra
- Automatic exploration of reduced floating-point representations in iterative methods
- Rigorous estimation of floating-point round-off errors with symbolic Taylor expansions
- Mixed precision block fused multiply-add: error analysis and application to GPU tensor cores
Cited in
(7)- Low-energy instruction precision assignment for multi-mode multiplier under accuracy and performance constraints
- Combining tools for optimization and analysis of floating-point computations
- Fast and efficient bit-level precision tuning
- A two-phase approach for conditional floating-point verification
- Automatic exploration of reduced floating-point representations in iterative methods
- A Framework for Error-Bounded Approximate Computing, with an Application to Dot Products
- Rigorous roundoff error analysis of probabilistic floating-point computations
This page was built for publication: Rigorous floating-point mixed-precision tuning
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5370868)
