Automatic Datapath Extraction for Efficient Usage of HDD
Abstract elided by the publisher.
Related papers
- Automatic Datapath Abstraction In Hardware Systems CAV 1995
- Modulo scheduling for highly customized datapaths to increase hardware reusability CGO 2008
- Loner: utilizing the CPU vector datapath to process scalar integer data CC 2022
- Unbounded Scalable Verification Based on Approximate Property-Directed Reachability and Datapath Abstraction CAV 2014
- FLASH: Foresighted Latency-Aware Scheduling Heuristic for Processors with Customized Datapaths CGO 2004
- The Ghosts of Empires: Extracting Modularity from Interleaving-Based Proofs POPL 2026
- Local policies for resource usage analysis TOPLAS 2009
- A graph-based approach to API usage adaptation OOPSLA 2010