Yau-Tsun Steven Li, Sharad Malik  Home/Search
Context Related
| umd.edu/pub/realtime/si...li_malik.ps.Z 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: umd.edu/projects/TimeWare/sigp... (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 dedicated software. A large number of these systems must satisfy realtime constraints. This paper examines the problem of determining the extreme (best and worst) case bounds on the running time of a given program on a given processor. This has several applications in the design of embedded systems with real-time constraints. An important aspect of this problem is determining which paths in... (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):
30.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.1: Performance Estimation of Embedded - Software With Instruction (Correct)
0.1: Resume - Ghosh (Correct)
0.1: Challenges in Code Generation For Embedded Processors - Araujo, Devadas, Keutzer, .. (1995) (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
92 Reasoning about time in higher-level language software - Shaw - 1989
54 Evaluating tight execution time bounds of programs by annota.. (context) - Mok, Amerasinghe et al. - 1989
32 Realtime Euclid: A language for reliable real-time systems (context) - Kligerman, Stoyenko - 1986
31 Timing Verification and the Timing Analysis Program (context) - Hitchcock - 1982
23 Foundations of real-time computing: Scheduling and resource .. (context) - van Tilborg, Koob - 1991
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 QT960 User Manual (context) - Corporation - 1990
4 KB Microprocessor Programmers 's Reference Manual (context) - Corporation, KA - 1991
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.cs.umd.edu/projects/TimeWare/sigplan95/): More
Static Timing Analysis of Real-Time Systems - Jourdan, Maraninchi (1995) (Correct)
Automatic Generation of Scheduling and Communication Code .. - Bakkers, Sunter, Ploeg (1995) (Correct)
Compiler Support for Software-Based Cache Partitioning - Mueller (1995) (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