Modeling control speculation for timing analysis

DOI10.1023/B:TIME.0000048933.15922.F9zbMATH Open1102.68015OpenAlexW2006417047MaRDI QIDQ1780176FDOQ1780176

Authors: Tulika Mitra, Abhik Roychoudhury, Xianfeng 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

Recommendations

• Modeling out-of-order processors for WCET analysis
• scientific article; zbMATH DE number 1948403
• Chronos: A timing analyzer for embedded software
• Computer Aided Verification
• scientific article; zbMATH DE number 1249731

zbMATH Keywords

schedulability analysisbranch predictionworst case execution time

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20)

Cited In (5)

• Modeling out-of-order processors for WCET analysis
• Automated Technology for Verification and Analysis
• Computer Aided Verification
• Aspects of availability. Enforcing timed properties to prevent denial of service
• Chronos: A timing analyzer for embedded software

This page was built for publication: Modeling control speculation for timing analysis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1780176)