Automatic accurate time-bound analysis for high-level languages

This publication has 12 references indexed in Scilit:

• On the false path problem in hard real-time programs
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Facilitating worst-case execution times analysis for optimized code
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Static caching for incremental computation
  ACM Transactions on Programming Languages and Systems, 1998
• Analysis of benchmark characteristics and benchmark performance prediction
  ACM Transactions on Computer Systems, 1996
• An accurate worst case timing analysis for RISC processors
  IEEE Transactions on Software Engineering, 1995
• Systematic derivation of incremental programs
  Science of Computer Programming, 1995
• Predicting program execution times by analyzing static and dynamic program paths
  Real-Time Systems, 1993
• Experiments with a program timing tool based on source-level timing schema
  Computer, 1991
• Automatic average-case analysis of algorithms
  Theoretical Computer Science, 1991
• ACE: an automatic complexity evaluator
  ACM Transactions on Programming Languages and Systems, 1988