Using polyhedral techniques to tighten WCET estimates of optimized code: A case study with array contraction.

Thomas Lefeuvre, Imen Fassi, Christoph Cullmann, Gernot Gebhard, Emin-Koray Kasnakli, Isabelle Puaut, Steven Derrien

Browse the full DATE paper archive.