Deterministic Data Flow eliminates timing anomalies in cause-effect chain end-to-end latency with negligible average latency impact and a formal proof of the property.
A survey of timing verification techniques for multi-core real-time systems.ACM Computing Surveys (CSUR), 52(3):1–38
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
eess.SY 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Scheduling Cause-Effect Chains without Timing Anomalies in End-to-End Latency
Deterministic Data Flow eliminates timing anomalies in cause-effect chain end-to-end latency with negligible average latency impact and a formal proof of the property.