Search
Now showing items 1-1 of 1
Beyond loop bounds : comparing annotation languages for worst-case execution time analysis
(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 ...