1 citations · 1 across the 2 of their papers we have counts for
2 papers
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…
cs.PF2010★ 1 cited
A framework to experiment optimizations for real-time and embedded software
Hugues Cassé, Karine Heydemann, Haluk Ozaktas +3
Typical constraints on embedded systems include code size limits, upper bounds on energy consumption and hard or soft deadlines. To meet these requirements, it may be necessary to…