Why AI + ILP Is Good for WCET, but MC Is Not, Nor ILP Alone
Abstract elided by the publisher.
Related papers
- Why Model Checking Can Improve WCET Analysis CAV 2004
- Exploring the Performance Potential of Itanium® Processors with ILP-based Scheduling CGO 2004
- An Efficient Algorithm for Scheduling Instructions with Deadline Constraints on ILP Machines APLAS 2000
- Optimizing occupancy and ILP on the GPU using a combinatorial approach CGO 2020
- ILP Modulo Theories CAV 2013
- Taming the IXP network processor PLDI 2003
- SAT Based Abstraction-Refinement Using ILP and Machine Learning Techniques CAV 2002
- Polyhedral auto-transformation with no integer linear programming PLDI 2018