See this document in CiteSeerX!

Performance Estimation of Embedded  (Make Corrections)  
Software with Instruction Cache Modeling YAU-TSUN STEVEN LI, SHARAD MALIK,...



  Home/Search   Context   Related

 
View or download:
nus.edu.sg/~cs5271/readin...malik99.pdf
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  nus.edu.sg/~cs5271/readings (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: this paper we present a more effective method for modeling instruction cache activity and computing a tight bound on WCET. The method uses an integer linear programming formulation and does not require explicit enumeration of program paths. The method is implemented in the program cinderella and we present some experimental results of this implementation (Update)

Similar documents (at the sentence level):
26.0%:   Efficient Microarchitecture Modeling and Path Analysis for.. - Li, Malik, Wolfe (1996)   (Correct)
16.8%:   Performance Estimation of Embedded Software with Instruction .. - Li, Malik, Wolfe (1995)   (Correct)
8.1%:   Cache Modeling for Real-Time Software: Beyond Direct Mapped.. - Steven   (Correct)

Similar documents based on text:   More   All
0.3:   Static Timing Analysis of Embedded Software - Malik, Martonosi, Li (1997)   (Correct)
0.2:   Performance Analysis of Embedded Software Using Implicit Path.. - Li, Malik (1995)   (Correct)
0.2:   Run-Time Guarantees for Real-Time Systems - The USES.. - Ferdinand, Kästner.. (1999)   (Correct)

BibTeX entry:   (Update)

@misc{ instruction-performance,
  author = "Software With Instruction",
  title = "Performance Estimation of Embedded",
  url = "citeseer.ist.psu.edu/701948.html" }
Citations not processed or no citations identified.

Documents on the same site (http://www.comp.nus.edu.sg/~cs5271/readings.html):   More
Methods for Evaluating and Covering the Design Space during Early.. - Gries (2004)   (Correct)
Efficient Microarchitecture Modeling and Path Analysis for.. - Li, Malik, Wolfe (1996)   (Correct)
A Theory of Deterministic Queuing Systems for the Internet - Le Boudec, Thiran (2003)   (Correct)

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC