See this document in CiteSeerX!

Approximation of the Worst-Case Execution Time Using Structural Analysis (2004)  (Make Corrections)  
Matteo Corti, Thomas Gross



  Home/Search   Context   Related

 
View or download:
lst.inf.ethz.ch/res...EMSOFT_2004.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  lst.inf.ethz.ch/research/publi... (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

Abstract: We present a technique to approximate the worst-case execution time that combines structural analysis with a loop-bounding algorithm based on local induction variable analysis. Structural analysis is an attractive foundation for several reasons: it delivers better bounds on the number of executions for each basic block than previous approaches, its complexity is well understood, and it allows the compiler to easily work on Java bytecode without requiring access to the original program source.... (Update)

Active bibliography (related documents):   More   All
0.0:   Extracting Source Models from Java Programs: Parse.. - Bowman, Godfrey, Holt   (Correct)
0.0:   Using the SafeTSA Representation to Boost the Performance .. - Amme, von Ronne, Franz (2002)   (Correct)
0.0:   The PACAP prototype: a tool for detecting Java Card.. - Bieber, Cazin..   (Correct)

Similar documents based on text:   More   All
0.6:   Instruction Duration Estimation by Partial Trace Evaluation - Corti, Gross   (Correct)
0.5:   Markov Processes Involving q-Stirling Numbers - Crippa, Simon, Trunz (1994)   (Correct)
0.5:   SCIDDLE: A Tool for Large Scale Distributed Computing - Arbenz, al. (1994)   (Correct)

BibTeX entry:   (Update)

@misc{ corti-approximation,
  author = "Matteo Corti and Thomas Gross",
  title = "Approximation of the Worst-Case Execution Time Using Structural Analysis",
  url = "citeseer.ist.psu.edu/corti04approximation.html" }
Citations (may not include all citations):
47   the false path problem in hard real-time programs - Altenbernd - 1996
21   Reverse Compilation Techniques - Cifuentes - 1993
1   Java virtual-machine support for portable worst-case executi.. - Bate, Bernat et al. - 2002

Documents on the same site (http://www.lst.inf.ethz.ch/research/publications/):   More
The Architecture of the Remos System - Dinda, Gross, Karrer, Lowekamp (2001)   (Correct)
Simulation of Large Ad Hoc Networks - Naoumov, Gross (2003)   (Correct)
Static Detection of Atomicity Violations in Object-Oriented.. - von Praun, Gross (2003)   (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