Accurate estimation of cache-related preemption delay

This publication has 9 references indexed in Scilit:

• Accurate timing analysis by modeling caches, speculation and their interaction
  Published by Association for Computing Machinery (ACM) ,2003
• Associative caches in formal software timing analysis
  Proceedings of the 39th conference on Design automation - DAC '02, 2002
• Bounding cache-related preemption delay for real-time systems
  IEEE Transactions on Software Engineering, 2001
• Establishing a tight bound on task interference in embedded system instruction caches
  Published by Association for Computing Machinery (ACM) ,2001
• Program path analysis to bound cache-related preemption delay in preemptive real-time systems
  Published by Association for Computing Machinery (ACM) ,2000
• Performance estimation of embedded software with instruction cache modeling
  ACM Transactions on Design Automation of Electronic Systems, 1999
• Analysis of cache-related preemption delay in fixed-priority preemptive scheduling
  IEEE Transactions on Computers, 1998
• Hardware/software co-synthesis with memory hierarchies
  Published by Association for Computing Machinery (ACM) ,1998
• Graph-Based Algorithms for Boolean Function Manipulation
  IEEE Transactions on Computers, 1986