most citedA framework to experiment optimizations for real-time and embedded software

1 citations · 1 across the 2 of their papers we have counts for

collaborators
Showing eess.SYShow all

1 paper · 1 filter

eess.SY2022

Computing Execution Times with eXecution Decision Diagrams in the Presence of Out-Of-Order Resources

Zhenyu Bai, Hugues Cassé, Thomas Carle +1

Worst-Case Execution Time (WCET) is a key component for the verification of critical real-time applications. Yet, even the simplest microprocessors implement pipelines with concurr…