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.
The Role of Causality in a Formal Definition of Timing Anomalies
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
Intuitively, a counter-intuitive timing anomaly manifests when a locally faster execution becomes globally slower. While the presence of such timing anomalies threatens the soundness and/or scalability of timing analyses, tools to systematically detect them do not exist. The main reason lies in the absence of a definition of counter-intuitive timing anomalies that establishes relations between local and global timing effects. In this paper, we address these relations through an important concept, that of causality, which we further use to revise the formalization of counter-intuitive timing anomalies. We also propose a specialized instance of the notions to implement a detection procedure for out-of-order pipelines.
How it got here
How it got here
agent via openalex
Added
2026-10-26 11:01 UTC
Not denied by
a person 2026-10-29 17:12 UTC
Cite it as
@misc{binder2022role,
title = {The Role of Causality in a Formal Definition of Timing Anomalies},
author = {Benjamin Binder and Mihail Asăvoae and Florian Brandner and Belgacem Ben Hédia and Mathieu Jan},
year = {2022},
journal = {IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA)},
pages = {91--102},
doi = {10.1109/rtcsa55878.2022.00016},
}