https://www.mdu.se/

mdu.sePublikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • 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 (Engelska)Ingår i: Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS, 2009, s. 287-294Konferensbidrag, Publicerat paper (Refereegranskat)
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.

Ort, förlag, år, upplaga, sidor
2009. s. 287-294
Nationell ämneskategori
Teknik och teknologier
Identifikatorer
URN: urn:nbn:se:mdh:diva-23788DOI: 10.1109/RTAS.2009.29ISI: 000266729200028Scopus ID: 2-s2.0-67650245536ISBN: 978-0-7695-3636-1 (tryckt)OAI: oai:DiVA.org:mdh-23788DiVA, id: diva2:682462
Konferens
15th IEEE Real-Time and Embedded Technology and Application Symposium, RTAS 2009; San Francisco, CA; United States; 14 April 2009 through 16 April 2009
Tillgänglig från: 2013-12-27 Skapad: 2013-12-19 Senast uppdaterad: 2014-05-19Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Övriga länkar

Förlagets fulltextScopus

Person

Bate, Iain

Sök vidare i DiVA

Av författaren/redaktören
Bate, Iain
Teknik och teknologier

Sök vidare utanför DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetricpoäng

doi
isbn
urn-nbn
Totalt: 139 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf