Verified Validation for Affine Scheduling in Polyhedral Compilation.
Xuyang LiHongjin LiangXinyu FengPublished in: TASE (2024)
Keyphrases
- scheduling problem
- scheduling algorithm
- round robin
- resource allocation
- piecewise affine
- line drawings
- dynamic scheduling
- real time database systems
- resource constraints
- convex hull
- real time
- affine invariant
- parallel machines
- image registration
- flexible manufacturing systems
- affine transformation
- single machine
- database systems
- flow control
- minimize total
- genetic algorithm
- container terminal
- data sets