The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.
Improving the Performance of WCET Analysis in the Presence of Variable Latencies
From OpenAlex, which stores abstracts as an
index of words and their positions: what is shown is rebuilt from that,
and reads fluently whether or not it is what the author wrote.
Abstract
Due to the dynamic behaviour of acceleration mechanisms such as caches and branch predictors, static Worst-Case Execution Time (wcet) analysis methods tend to scale poorly to modern hardware architectures. As a result, a tradeoff must be made between the duration and the precision of the analysis, leading to an overesti- mation of the wcet bounds. This in turn reduces the schedulability and resource usage of the system. In this paper we present a new data structure to speed up the analysis: the eXecution Decision Diagram (xdd), which is an ad-hoc extension of Binary Decision Diagrams tailored for wcet analysis problems. We show how xdds can be used to represent efficiently execution states and durations of instruction sequencesn a modern hardware platform. We demon- strate on realistic applications how the use of an xdd substantially increases the scalability of wcet analysis.
How it got here
How it got here
agent via openalex
Added
2026-10-26 11:15 UTC
Not denied by
a person 2026-10-29 17:12 UTC
Cite it as
@misc{bai2020improving,
title = {Improving the Performance of WCET Analysis in the Presence of Variable Latencies},
author = {Zhenyu Bai and Hugues Cassé and Marianne de Michiel and Thomas Carle and Christine Rochange},
year = {2020},
pages = {119--130},
doi = {10.1145/3372799.3394371},
}