Execution cost interval refinement in static software analysis

This publication has 11 references indexed in Scilit:

• A system-design methodology: executable-specification refinement
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Intervals in software execution cost analysis
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Compact trace generation and power measurement in software emulation
  Published by SPIE-Intl Soc Optical Eng ,2000
• Static timing analysis of embedded software on advanced processor architectures
  Published by Association for Computing Machinery (ACM) ,2000
• On predicting data cache behavior for real-time systems
  Published by Springer Nature ,1998
• Embedded program timing analysis based on path clustering and architecture classification
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1997
• A 160-MHz, 32-b, 0.5-W CMOS RISC microprocessor
  IEEE Journal of Solid-State Circuits, 1996
• Instruction Level Power Analysis and Optimization of Software
  Published by Springer Nature ,1996
• Bounding worst-case instruction cache performance
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1994
• Experiments with a program timing tool based on source-level timing schema
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1990