Efficient State-Diagram Construction Methods for Software Pipelining
Abstract elided by the publisher.
Related papers
- Single-Dimension Software Pipelining for Multi-Dimensional Loops CGO 2004
- Scheduling and Mapping: Software Pipelining in the Presence of Structural Hazards PLDI 1995
- Generation of geometric programs specified by diagrams GPCE 2011
- A Novel Framework of Register Allocation for Software Pipelining POPL 1993
- FeynmanDD: Quantum Circuit Analysis with Classical Decision Diagrams CAV 2025
- Combining Decision Diagrams and SAT Procedures for Efficient Symbolic Model Checking CAV 2000
- Elastic Averaging for Efficient Pipelined DNN Training PPoPP 2023
- Software Pipelining Showdown: Optimal vs. Heuristic Methods in a Production Compiler PLDI 1996