{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T12:16:52Z","timestamp":1725452212331},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,3]]},"DOI":"10.23919\/date.2018.8342142","type":"proceedings-article","created":{"date-parts":[[2018,4,23]],"date-time":"2018-04-23T23:20:11Z","timestamp":1524525611000},"page":"925-930","source":"Crossref","is-referenced-by-count":0,"title":["Using polyhedral techniques to tighten WCET estimates of optimized code: A case study with array contraction"],"prefix":"10.23919","author":[{"given":"Thomas","family":"Lefeuvre","sequence":"first","affiliation":[{"name":"Univ. Rennes 1\/IRISA"}]},{"given":"Imen","family":"Fassi","sequence":"additional","affiliation":[{"name":"Univ. Rennes 1\/IRISA"}]},{"given":"Christoph","family":"Cullmann","sequence":"additional","affiliation":[{"name":"AbsInt GmbH"}]},{"given":"Gernot","family":"Gebhard","sequence":"additional","affiliation":[{"name":"AbsInt GmbH"}]},{"given":"Emin Koray","family":"Kasnakli","sequence":"additional","affiliation":[{"name":"Fraunhofer IIS"}]},{"given":"Isabelle","family":"Puaut","sequence":"additional","affiliation":[{"name":"Univ. Rennes 1\/IRISA"}]},{"given":"Steven","family":"Derrien","sequence":"additional","affiliation":[{"name":"Univ. Rennes 1\/IRISA"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1109\/DAC.1995.249991"},{"doi-asserted-by":"publisher","key":"ref11","DOI":"10.1109\/SCAM.2013.6648190"},{"doi-asserted-by":"publisher","key":"ref12","DOI":"10.1145\/237578.237617"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1007\/s00453-006-1231-0"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.1145\/2659787.2659805"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1145\/581888.581891"},{"key":"ref3","first-page":"24:1","article-title":"WCET-Driven Dynamic Data Scratchpad Management With Compiler-Directed Prefetching","author":"soliman","year":"2017","journal-title":"29th Euromicro Conference on Real-Time Systems (ECRTS 2017)"},{"doi-asserted-by":"publisher","key":"ref6","DOI":"10.1109\/TC.2005.167"},{"doi-asserted-by":"publisher","key":"ref5","DOI":"10.1145\/1345206.1345210"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1007\/978-1-4020-8157-6_29"},{"key":"ref7","doi-asserted-by":"crossref","first-page":"286","DOI":"10.23919\/DATE.2017.7927000","article-title":"Wcet-aware parallelization of model-based applications for multi-cores: The ARGO approach","author":"derrien","year":"2017","journal-title":"Design Automation & Test in Europe Conference & Exhibition DATE 2017"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1109\/ECRTS.2007.37"},{"doi-asserted-by":"publisher","key":"ref1","DOI":"10.1145\/1347375.1347389"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1145\/1375581.1375595"}],"event":{"name":"2018 Design, Automation & Test in Europe Conference & Exhibition (DATE)","start":{"date-parts":[[2018,3,19]]},"location":"Dresden, Germany","end":{"date-parts":[[2018,3,23]]}},"container-title":["2018 Design, Automation & Test in Europe Conference & Exhibition (DATE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8337149\/8341968\/08342142.pdf?arnumber=8342142","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,6,7]],"date-time":"2021-06-07T19:09:45Z","timestamp":1623092985000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8342142\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,3]]},"references-count":14,"URL":"https:\/\/doi.org\/10.23919\/date.2018.8342142","relation":{},"subject":[],"published":{"date-parts":[[2018,3]]}}}