From processor timing specifications to static instruction scheduling (1994)

by Ed Harcourt, Jon Mauney, Todd Cook
Venue:In Baudouin Le Charlier, editor, Proceedings of the International Symposium on Static Analysis, volume 864 of Lecture notes in Computer Science