mdh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Guaranteed loop bound identification from program traces for WCET
University of York.
University of York.ORCID iD: 0000-0003-2415-8219
University of York.
2009 (English)In: Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS, 2009, p. 287-294Conference paper, Published paper (Refereed)
Abstract [en]

Static analysis can be used to determine safe estimates of Worst Case Execution Time. However, overestimation of the number of loop iterations, particularly in nested loops, can result in substantial pessimism in the overall estimate. This paper presents a method of determining exact parametric values of the number of loop iterations for a particular class of arbitrarily deeply nested loops. It is proven that values are guaranteed to he correct using information obtainable from a finite and quantifiable number of program traces. Using the results of this proof, a tool is constructed and its scalability assessed.

Place, publisher, year, edition, pages
2009. p. 287-294
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:mdh:diva-23788DOI: 10.1109/RTAS.2009.29ISI: 000266729200028Scopus ID: 2-s2.0-67650245536ISBN: 978-0-7695-3636-1 (print)OAI: oai:DiVA.org:mdh-23788DiVA, id: diva2:682462
Conference
15th IEEE Real-Time and Embedded Technology and Application Symposium, RTAS 2009; San Francisco, CA; United States; 14 April 2009 through 16 April 2009
Available from: 2013-12-27 Created: 2013-12-19 Last updated: 2014-05-19Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records BETA

Bate, Iain

Search in DiVA

By author/editor
Bate, Iain
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 131 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf