Stochastic Bit-Width Approximation Using Extreme Value Theory for Customizable Processors
No abstract available.
DOI 10.1007/978-3-540-24723-4_17
Related papers
- Software-Controlled Operand-Gating CGO 2004
- Verification of Bit-Flip Attacks against Quantized Neural Networks OOPSLA 2025
- Q3B: An Efficient BDD-based SMT Solver for Quantified Bit-Vectors CAV 2019
- Value Iteration for Simple Stochastic Games: Stopping Criterion and Learning Algorithm CAV 2018
- Scalable Bit-Blasting with Abstractions CAV 2024
- Mixed-data-model heterogeneous compilation and OpenMP offloading CC 2020
- A Mechanised, Bidirectional Type System for Bit-Width Determination in SystemVerilog CAV 2026
- A Generalized Theory of Bit Vector Data Flow Analysis TOPLAS 1994