Search Results - "Kadlec, Albrecht" :: Katalog Arama

1
Beyond loop bounds: comparing annotation languages for worst-case execution time analysis by Kirner, Raimund, Knoop, Jens, Prantl, Adrian, Schordan, Markus, Kadlec, Albrecht

Published in Software and systems modeling (01-07-2011)
“…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…”

Get full text

Journal Article
QR Code
Save to List

Saved in:
2
Avoiding Timing Anomalies Using Code Transformations by Kadlec, Albrecht, Kirner, Raimund, Puschner, Peter

Published in 2010 13th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (01-05-2010)
“…Divide-and-conquer approaches to worst-case execution-time analysis (WCET analysis) pose a safety risk when applied to code for complex modern processors:…”

Get full text

Conference Proceeding
QR Code
Save to List

Saved in:
3
Precise Worst-Case Execution Time Analysis for Processors with Timing Anomalies by Kirner, R., Kadlec, A., Puschner, P.

Published in 2009 21st Euromicro Conference on Real-Time Systems (01-07-2009)
“…This paper explores timing anomalies in WCET analysis.Timing anomalies add to the complexity of WCET analysis and make it hard to apply divide-and-conquer…”

Get full text

Conference Proceeding
QR Code
Save to List

Saved in: