Modeling control speculation for timing analysis

DOI10.1023/B:TIME.0000048933.15922.F9MaRDI QIDQ1780176zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

schedulability analysisbranch predictionworst case execution time

Mathematics Subject Classification ID

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

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

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)