Cache behavior prediction by abstract interpretation

This publication has 10 references indexed in Scilit:

• An accurate worst case timing analysis for RISC processors
  IEEE Transactions on Software Engineering, 1995
• Worst-case execution time analysis on modern processors
  ACM SIGPLAN Notices, 1995
• Generation of efficient interprocedural analyzers with PAG
  Published by Springer Nature ,1995
• Bounding worst-case instruction cache performance
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1994
• Real-Time Systems
  Published by World Scientific Pub Co Pte Ltd ,1992
• Analyzing hard-real-time programs for guaranteed schedulability
  IEEE Transactions on Software Engineering, 1991
• Experiments with a program timing tool based on source-level timing schema
  Computer, 1991
• Calculating the maximum execution time of real-time programs
  Real-Time Systems, 1989
• Cache Memories
  ACM Computing Surveys, 1982
• Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints
  Published by Association for Computing Machinery (ACM) ,1977