scientific article; zbMATH DE number 2080778

MaRDI QIDQ4473749zbMATH OpenFDO

Authors

Publication date 4 August 2004

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

Mathematics Subject Classification ID

Theory of software (68N99)

Recommendations

• scientific article; zbMATH DE number 1948403
• scientific article; zbMATH DE number 1979820
• Calculating WCET estimates from timed traces
• Formal Methods for Components and Objects
• Model Checking Software

Cited in

(10)

• Data cache organization for accurate timing analysis
• Reliability and performance optimization of pipelined real-time systems
• Proving the Correctness of the Implementation of a Control-Command Algorithm
• Abstract Interpretation with Applications to Timing Validation
• scientific article; zbMATH DE number 1948403 (Why is no real title available?)
• scientific article; zbMATH DE number 1979820 (Why is no real title available?)
• A compiler framework for the reduction of worst-case execution times
• Semantic foundations for cost analysis of pipeline-optimized programs
• An MDP-based solution for the energy minimization of non-clairvoyant hard real-time systems
• Transforming flow information during code optimization for timing analysis

Describes a project that uses

Uses Software

• aiT
• PAG

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 Q4473749)