A Timed Petri-Net Model for Fine-Grain Loop Scheduling.

Guang R. Gao, Yue-Bong Wong, Qi Ning

Browse the full PLDI paper archive.