Fast and Precise WCET Prediction by Separated Cache and Path Analyses

This publication has 15 references indexed in Scilit:

• Efficient microarchitecture modeling and path analysis for real-time software
  2002
• Principles of Program Analysis
  1999
• PAG - an efficient program analyzer generator
  International Journal on Software Tools for Technology Transfer, 1998
• Analysis of loops
  1998
• On predicting data cache behavior for real-time systems
  1998
• Deriving annotations for tight calculation of execution time
  1997
• Cache behavior prediction by abstract interpretation
  1996
• Performance Analysis of Embedded Software Using Implicit Path Enumeration
  Proceedings of the 39th conference on Design automation - DAC '02, 1995
• An accurate worst case timing analysis for RISC processors
  IEEE Transactions on Software Engineering, 1995
• Generation of efficient interprocedural analyzers with PAG
  Lecture Notes in Computer Science, 1995