D. Kebbal and P. Sainrat Institut de Recherche en Informatique de Toulouse...  Home/Search
Context
Related
| ncsu.edu/~mueller/wcet06...13_paper.pdf 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: ncsu.edu/~mueller/wcet06/acc...13 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper examines the problem of determining bounds on execution time of real-time programs. Execution time estimation is generally useful in real-time software verification phase, but may be used in other phases of the design and execution of real-time programs (scheduling, automatic parallelizing, etc.). This paper is devoted to the worst-case execution time (WCET) analysis. We present a static WCET analysis approach aimed to automatically extract flow information used in WCET estimate... (Update)
Active bibliography (related documents): More All
0.3: Clustered Calculation of Worst-Case Execution Times - Ermedahl, Stappert, Engblom (2003) (Correct)
0.3: Why AI + ILP is good for WCET, but MC is not, nor ILP alone - Wilhelm (Correct)
0.2: Fully Automatic, Parametric Worst-Case Execution Time Analysis - Lisper (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ kebbal-combining,
author = "Kebbal And Sainrat",
title = "Combining Symbolic Execution and Path Enumeration in Worst-Case Execution
Time Analysis",
url = "citeseer.ist.psu.edu/749384.html" }
Citations (may not include all citations):103 Experiments with a program timing tool based on source-level.. (context) - Park, Shaw - 1989
71 Performance analysis of embedded software using implicit pat.. - Li, Malik - 1995
21 An integrated path and timing analysis method based on cycle.. (context) - Lundqvist, Stenstrom - 1999
16 Automatic derivation of path and loop annotations in object-.. - Gustafsson, Ermedahl - 1998
13 Combining static worst-case timing analysis and program proo.. (context) - Chapman, Burns et al. - 1996
13 An approach to symbolic worstcase execution time analysis - Bernat, Burns - 2000
12 Using symbolic execution for verifying safety-critical syste.. (context) - Coen-Porisini, Denaro et al. - 2001
8 Supporting timing analysis by automatic bounding of loop ite.. - Healy, Sjodin et al. - 2000
5 parametric worst-case execution time analysis (context) - Lisper - 2003
3 A modular Tool Architecture for Worst-Case Execution Time An.. - Ermedahl - 2003
1 Computing maximum task execution- a graph-based approach (context) - Puschner, Schedl - 1997
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