scientific article; zbMATH DE number 1948403

MaRDI QIDQ4411967zbMATH OpenFDO

Authors Marc Langenbach, Stephan Thesing, Reinhold Heckmann

Publication date 13 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2477/24770294.htm

Mathematics Subject Classification ID

Theory of software (68N99) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 2017361
• scientific article; zbMATH DE number 2080778
• Modeling out-of-order processors for WCET analysis
• Model Checking Software
• Toward compact abstractions for processor pipelines

Cited in

(10)

• Modeling control speculation for timing analysis
• Timing predictability of cache replacement policies
• Toward compact abstractions for processor pipelines
• New Developments in WCET Analysis
• scientific article; zbMATH DE number 2017361 (Why is no real title available?)
• scientific article; zbMATH DE number 2080778 (Why is no real title available?)
• Model Checking Software
• Automated Technology for Verification and Analysis
• Cache-aware timing analysis of streaming applications
• Modeling out-of-order processors for WCET analysis

This page was built for publication:

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