Beyond loop bounds: comparing annotation languages for worst-case execution time analysis

Raimund Kirner, Jens Knoop, Adrian Prantl, Markus Schordan, Albrecht Kadlec

Research output: Contribution to journalArticlepeer-review

13 Citations (Scopus)
80 Downloads (Pure)

Fingerprint

Dive into the research topics of 'Beyond loop bounds: comparing annotation languages for worst-case execution time analysis'. Together they form a unique fingerprint.

Keyphrases

Computer Science