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.
Traceability of Flow Information: Reconciling Compiler Optimizations and WCET Estimation
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
Real-time systems have become ubiquitous. For this class of systems, correctness implies not only producing the correct result, but also doing so within specified timing constraints. Designers are required to obtain the worst-case execution time (WCET) of their systems to guarantee that all applications meet their time constraints. Many WCET estimation methods have been proposed. They operate through static code analysis, measurements, or a combination of both. Such methods give an upper bound of the time required to execute a given task on a given hardware platform. To be useful, WCET estimates have to be as tight as possible.
How it got here
How it got here
agent via openalex
Added
2026-10-26 15:29 UTC
Not denied by
a person 2026-10-29 17:12 UTC
Cite it as
@misc{li2014traceability,
title = {Traceability of Flow Information: Reconciling Compiler Optimizations and WCET Estimation},
author = {Hanbing Li and Isabelle Puaut and Erven Rohou},
year = {2014},
journal = {International Conference on Real-Time Networks and Systems (RTNS)},
pages = {97--106},
doi = {10.1145/2659787.2659805},
}