Yau-Tsun Steven Li, Sharad Malik  Home/Search
Context Related
| princeton.edu/pub/yauli/dac95.ps.gz nus.edu.sg/~cs5271/rea...malik_dac95.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: princeton.edu/~yaul...publication (more) Homepages: Y.Li |
Rate this article:      (best)Comment on this article |
Abstract: Embedded computer systems are characterized by the presence of a processor running application specific software. A large number of these systems must satisfy real-time constraints. This paper examines the problem of determining the bound on the running time of a given program on a given processor. An important aspect of this problem is determining the extreme case program paths. The state of the art solution here relies on an explicit enumeration of program paths. This runs out of steam rather ... (Update)
Cited by: More
Static Analysis Support for Measurement-based WCET Analysis - Stefan Schaefer Bernhard (Correct)
Combining Symbolic Execution and Path Enumeration in.. - Kebbal And Sainrat (Correct)
History-based Schemes and Implicit Path Enumeration - Claire Burguire And (Correct)
Similar documents (at the sentence level):
42.9%: Performance Analysis of Embedded Software Using Implicit Path.. - Li, Malik (1995) (Correct)
Active bibliography (related documents): More All
0.7: Efficient Microarchitecture Modeling and Path Analysis for.. - Li, Malik, Wolfe (1996) (Correct)
0.7: Performance Estimation of Embedded Software with Instruction .. - Li, Malik, Wolfe (1995) (Correct)
0.3: Worst-Case Timing Analysis of Concurrently Executing DMA I/O and.. - Huang (1997) (Correct)
Similar documents based on text: More All
0.2: Performance Estimation of Embedded - Software With Instruction (Correct)
0.2: Power-driven Design of Router Microarchitectures in.. - Hangsheng Wang Li-Shiuan (2003) (Correct)
0.1: Orion: A Power-Performance Simulator for Interconnection.. - Hang-Sheng Wang Xinping (2002) (Correct)
Related documents from co-citation: More All
25: Calculating the maximum execution times of realtime programs (context) - Puschner, Koza - 1989
23: An accurate worst case timing analysis for RISC processors - Lim, Bea et al. - 1994
19: Deriving annotations for tight calculation of execution time - Ermedahl, Gustafsson - 1997
BibTeX entry: (Update)
Y.-T. S. Li and S. Malik. Performance Analysis of Embedded Software Using Implicit Path Enumeration. In Proceedings of the 32nd ACM/IEEE Design Automation Conference, 1995. http://citeseer.ist.psu.edu/article/li95performance.html More
@inproceedings{ li95performance,
author = "Yau-Tsun Steven Li and Sharad Malik",
title = "Performance Analysis of Embedded Software Using Implicit Path Enumeration",
booktitle = "Workshop on Languages, Compilers, & Tools for Real-Time Systems",
pages = "88-98",
year = "1995",
url = "citeseer.ist.psu.edu/article/li95performance.html" }
Citations (may not include all citations):1399 Compilers Principles (context) - Aho, Sethi et al. - 1986
167 Calculating the maximum execution time of real-time programs (context) - Puschner, Koza - 1989
54 Evaluating tight execution time bounds of programs by annota.. (context) - Mok, Amerasinghe et al. - 1989
32 Real-time Euclid: A language for reliable real-time systems (context) - Kligerman, Stoyenko - 1986
31 Timing Verification and the Timing Analysis Program (context) - Hitchcock - 1982
9 Predicting Deterministic Execution Times of Real-Time Progra.. (context) - Park - 1992
7 Co-Synthesis of Hardware and Software for Digital Embedded S.. (context) - Gupta - 1993
4 KB Microprocessor Programmers's Reference Manual (context) - Corporation, KA - 1991
4 QT960 User Manual (context) - Corporation - 1990
2 Issues of advanced architectural features in the design of a.. (context) - Rhee, Min et al. - 1994
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.ee.princeton.edu/~yauli/publication.html): More
Performance Estimation of Embedded Software with Instruction .. - Li, Malik, Wolfe (1995) (Correct)
Efficient Microarchitecture Modeling and Path Analysis for.. - Li, Malik, Wolfe (1996) (Correct)
Cache Modeling for Real-Time Software: Beyond Direct Mapped.. - Steven (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