Performance analysis of embedded software using implicit path enumeration

This publication has 4 references indexed in Scilit:

• Issues of advanced architectural features in the design of a timing tool
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Computation of floating mode delay in combinational circuits: theory and algorithms
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1993
• Calculating the maximum execution time of real-time programs
  Real-Time Systems, 1989
• Reasoning about time in higher-level language software
  IEEE Transactions on Software Engineering, 1989