- UHRA Home
- University of Hertfordshire
- Browsing University of Hertfordshire by Author
Browsing University of Hertfordshire by Author "Schordan, Markus"
Now showing items 1-1 of 1
-
Beyond loop bounds : comparing annotation languages for worst-case execution time analysis
Kirner, Raimund; Knoop, Jens; Prantl, Adrian; Schordan, Markus; Kadlec, Albrecht (2011-07)Worst-case execution time (WCET) analysis is concerned with computing a precise-as-possible bound for the maximum time the execution of a program can take. This information is indispensable for developing safety-critical ...