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

Summary

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

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

Journal title: 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE)

Journal publisher: IEEE

Published year: 2018

Published pages: 925-930

DOI identifier: 10.23919/DATE.2018.8342142

ISBN: 978-3-9819263-0-9