R. Ernst, W. Ye  Home/Search
Context Related
| ida.ing.tubs.de/r...grTiminAnaly.ps.gz Cached: 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.
PS.gz PS Image Update HelpFrom: ida.ing.tubs.de/r...publ.g.shtml (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Formal Program running time verification is an important issue in system design required for performance optimization under "first-time-right" design constraints and for real-time system verification. Simulation based approaches or simple instruction counting are not appropriate and risky for more complex architectures in particular with data dependent execution paths. Formal analysis techniques have suffered from loose timing bounds leading to significant performance penalties when strictly... (Update)
Cited by: More
Scheduling with Buss Access Optimization for Distributed.. - Eles, al. (Correct)
th Intl WORKSHOP ON WORST-CASE EXECUTION TIME (WCET) ANALYSIS - Catania Sicily Italy (2004) (Correct)
Energy-Efficient Policies for Request-Driven Soft.. - Rusu, Xu, Melhem.. (Correct)
Similar documents (at the sentence level):
57.1%: Embedded Program Timing Analysis Based on Program and Architecture .. - Ti On (Correct)
17.8%: Esprit 21929 -- Media - Strategic Research In (Correct)
6.2%: Behavioral Intervals in Embedded System Design and.. - Wolf, Ziegenbein, Ernst (Correct)
Active bibliography (related documents): More All
0.9: Worst Case Timing Estimation based on Symbolic Execution - Ye, Ernst, Trawny (1995) (Correct)
0.2: Execution Cost Interval Refinement in Static Software Analysis - Wolf, Ernst (2000) (Correct)
0.2: A New Approach for Task Level Computational Resource.. - Wang, Gong, Kastner (Correct)
Similar documents based on text: More All
0.3: Associative Caches in Formal Software Timing Analysis - Wolf, Staschulat, Ernst (2002) (Correct)
0.2: Warehouse Optimization: Packing-algorithms for goods with.. - Schepers, Wottawa (1995) (Correct)
0.2: Segment-Wise Timing and Power Measurement in Software Emulation - Wolf, Kruse, Ernst (2001) (Correct)
Related documents from co-citation: More All
12: A Scheduling Model for Reduced CPU Energy (context) - Yao, Demers et al. - 1995
9: Scheduling Algorithms for Multiprogramming in a Hard Real-time Environment - Liu, Layland - 1973
9: Compiler-assisted dynamic power-aware scheduling for real-time applications - MOSSE, AYDIN et al. - 2000
BibTeX entry: (Update)
R. Ernst and W. Ye, "Embedded program timing analysis based on path clustering and architecture classification," in Proc. Int'l Conf. on Computer Aided Design, pp. 598--604, Nov. 1997. http://citeseer.ist.psu.edu/ernst97embedded.html More
@inproceedings{ ernstembedded,
author = "R. Ernst and W. Ye",
title = "Embedded Program Timing Analysis Based on Path Clustering and Architecture Classification",
booktitle ="International Conference on Computer Aided Design",
year = 1997,
month = nov,
pages = "598--604",
url = "citeseer.ist.psu.edu/ernst97embedded.html" }
Citations (may not include all citations):193 Superscalar Microprocessor Design (context) - Johnson - 1991
167 Calculating the maximum execution time of real--time program.. (context) - Ch - 1989
103 Experiments with a program timing tool based on source-level.. (context) - Park, Shaw - 1990
83 Bounding Worst-Case Instruction Cache Performance (context) - Mueller, Arnold et al. - 1994
54 Evaluating Tight Execution Time Bounds of Programs by Annota.. (context) - Mok
20 Predicting Deterministic Execution Times of Real--Time Progr.. (context) - Park - 1992
9 Bell Telephone Laboratories (context) - Aho, Sethi et al. - 1987
9 Fast simulation of computer architectures (context) - Conte, Gimarc - 1995
8 Predictable Cache Design for Real-Time Systems (context) - Kirk - 1990
5 Workshop on Hardware--Software Co-Design (context) - Malik, Wolf et al. - 1995
5 Fast Timing Analysis for Harware--Software Cosynthesis (context) - Ye, Ernst et al. - 1993
3 Worst Case Timing Estimation based on Symbolic Execution - Ye, Ernst - 1995
2 Narayan Software execution from executable specification (context) - Gong, Gajski - 1994
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.ida.ing.tu-bs.de/research/publications/publ.g.shtml): More
Dynamic Response Time Optimization for SDF Graphs - Ziegenbein, Uerpmann, Ernst (2000) (Correct)
Fixed-point extended C compiler allows more efficient.. - Jersak, Willems (1998) (Correct)
Improved Interconnect Sharing by Identity Operation Insertion - Herrmann, Ernst (1999) (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