Run-Time Guarantees for Real-Time Systems—The USES Approach

This publication has 4 references indexed in Scilit:

• Pipeline behavior prediction for superscalar processors by abstract interpretation
  Published by Association for Computing Machinery (ACM) ,1999
• PAG - an efficient program analyzer generator
  International Journal on Software Tools for Technology Transfer, 1998
• An accurate worst case timing analysis for RISC processors
  IEEE Transactions on Software Engineering, 1995
• Calculating the maximum execution time of real-time programs
  Real-Time Systems, 1989