Henrik Theiling  Home/Search
Context Related
| rw4.cs.unisb.de/~t...rtsjournal.ps.gz 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: rw4.cs.unisb.de/~...publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Precise run-time prediction suffers from a complexity problem when doing an integrated analysis. This problem is characterised by the conflict between an optimal solution and the complexity of the computation of the solution. (Update)
Cited by: More
Deadline Analysis of Interrupt-driven Software - Dennis Brylow Jens (2003) (Correct)
Instruction Duration Estimation by Partial Trace Evaluation - Corti, Gross (Correct)
Why AI + ILP is good for WCET, but MC is not, nor ILP alone - Wilhelm (Correct)
Similar documents (at the sentence level):
16.2%: Applying Compiler Techniques to Cache Behavior Prediction - Ferdinand, Martin, Wilhelm (1997) (Correct)
12.5%: Fast and Efficient Cache Behavior Prediction - Ferdinand, Wilhelm (1997) (Correct)
6.2%: Run-Time Guarantees for Real-Time Systems - The USES.. - Ferdinand, Kästner.. (1999) (Correct)
Active bibliography (related documents): More All
1.1: ILP-based Interprocedural Path Analysis - Theiling (2002) (Correct)
0.7: Extracting Safe and Precise Control Flow from Binaries - Theiling (2000) (Correct)
0.6: Pipeline Behavior Prediction for Superscalar Processors - Schneider, Ferdinand, Wilhelm (1999) (Correct)
Similar documents based on text: More All
0.6: Generating Decision Trees for Decoding Binaries - Henrik Theiling Universit (2001) (Correct)
0.5: Pipeline Behavior Prediction for Superscalar Processors by .. - Schneider, Ferdinand (1999) (Correct)
0.3: Date: December 7, 2000 - There Are Two (Correct)
Related documents from co-citation: More All
7: Synchronous programming with events and relations: the Signal language and its s.. (context) - Benveniste, Le Guernic et al. - 1991
6: Masaccio: a formal model for embedded components - Henzinger - 2000
6: A survey of architecture description languages (context) - Clements - 1996
BibTeX entry: (Update)
H. Theiling, C. Ferdinand, and R. Wilhelm. Fast and precise wcet prediction by separated cache and path analyses. Real-Time Systems, 18(2/3):149--171, May 2000. http://citeseer.ist.psu.edu/theiling99fast.html More
@article{ theiling00fast,
author = "Henrik Theiling and Christian Ferdinand and Reinhard Wilhelm",
title = "Fast and Precise {WCET} Prediction by Separated Cache and Path Analyses",
journal = "Real-Time Systems",
volume = "18",
number = "2/3",
pages = "157-179",
year = "2000",
url = "citeseer.ist.psu.edu/theiling99fast.html" }
Citations (may not include all citations):1399 Compilers: Principles (context) - Aho, Sethi et al. - 1986
815 Abstract Interpretation: A Unified Lattice Model for Static .. (context) - Cousot, Cousot - 1977
717 Theory of Linear and Integer Programming (context) - Schrijver - 1996
181 Principles of Program Analysis (context) - Nielson, Nielson et al. - 1999
91 An Accurate Worst Case Timing Analysis for RISC Processors - Lim, Bae et al. - 1995
71 Performance Analysis of Embedded Software Using Implicit Pat.. - Li - 1995
50 Deriving Annotations for Tight Calculation of Execution Time - Ermedahl, Gustafsson - 1997
49 Cache Modeling for Real-Time Software: Beyond Direct Mapped .. (context) - Li, Malik - 1996
46 Efficient Microarchitecture Modeling and Path Analysis for R.. - Li, Malik - 1995
38 Generation of Efficient Interprocedural Analyzers with PAG - Alt, Martin - 1995
36 Compiler Design (context) - Wilhelm, Maurer - 1995
33 Applying Compiler Techniques to Cache Behavior Prediction - Ferdinand, Martin et al. - 1997
25 Cache Behavior Prediction by Abstract Interpretation (context) - Ferdinand, Martin et al. - 1998
25 Cache Behavior Prediction by Abstract Interpretation (context) - Alt, Ferdinand et al. - 1996
24 Predicting Instruction Cache Behavior - Mueller, Whalley et al. - 1994
23 Facilitating Worst-Case Execution Time Analysis For Optimize.. - Engblom, Ermedahl et al. - 1998
21 Combining Abstract Interpretation and ILP for Microarchitect.. (context) - Theiling, Ferdinand - 1998
15 On Predicting Data Cache Behavior for Real-Time Systems (context) - Ferdinand - 1998
14 Cache Behavior Prediction for Real-Time Systems (context) - Ferdinand - 1997
10 Pipeline Behaviour Prediction for Superscalar Processors by .. (context) - Schneider, Ferdinand - 1999
10 PAG---an efficient program analyzer generator (context) - Martin - 1998
7 Analysis of Loops - Martin, Alt et al. - 1998
7 Generation of Program Analyzers (context) - Martin - 1999
6 Real-Time and Embedded Systems - Stankovic - 1996
4 Adrebestimmung zur Vorhersage des Verhaltens von Daten-Cache.. (context) - Sicks - 1997
4 Worst-Case Execution Time Analysis for Modern Hardware Archi.. (context) - Ottoson, Sjodin - 1997
1 Statische Pipeline-Analyse fur Echtzeitsysteme (context) - Schneider - 1998
1 A Worst Case Timing Analysis Technique for MultiIssue Machin.. (context) - Lim, Han et al. - 1998
1 PAG Manual (context) - Thesing, Martin et al. - 1997
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://rw4.cs.uni-sb.de/~theiling/publications.html): More
Run-Time Guarantees for Real-Time Systems - The USES.. - Ferdinand, Kästner.. (1999) (Correct)
Extracting Safe and Precise Control Flow from Binaries - Theiling (2000) (Correct)
ILP-based Interprocedural Path Analysis - Theiling (2002) (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