Modeling control speculation for timing analysis
From MaRDI portal
Publication:1780176
DOI10.1023/B:TIME.0000048933.15922.F9zbMath1102.68015OpenAlexW2006417047MaRDI QIDQ1780176
Tulika Mitra, Abhik Roychoudhury, Xian-Feng Li
Publication date: 7 June 2005
Published in: Real-Time Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/b:time.0000048933.15922.f9
Related Items (2)
Modeling out-of-order processors for WCET analysis ⋮ Aspects of availability. Enforcing timed properties to prevent denial of service
This page was built for publication: Modeling control speculation for timing analysis