Efficient and Precise Cache Behavior Prediction for Real-Time Systems

• 1 January 1999
• journal article
• Published by Springer Nature in Real-Time Systems
• Vol. 17  (2/3) , 131-181
• https://doi.org/10.1023/a:1008186323068

Abstract

Keywords

• CACHE BEHAVIOR OFPROGRAMS
• CACHE BEHAVIOR
• INTERPROCEDURAL ANALYSIS
• FORA STATIC CLASSIFICATION
• CACHE ANALYSIS
• PRECISE CACHE BEHAVIOR PREDICTION
• ANALYZERS FROMSPECIFICATIONS
• STATIC DETECTION
• DATA CACHE
• ABSTRACT SEMANTICS
• ABSTRACT INTERPRETATIONIS
• PROGRAM ANALYSIS
• REAL TIME SYSTEMS
• WORST CASE EXECUTION TIME
• APPROXIMATION PROPERTY
• REAL TIME APPLICATIONS
• CACHE MEMORY