Ignore:
Timestamp:
Feb 11, 2014, 6:41:17 PM (6 years ago)
Author:
campbell
Message:

Clarify WCET state-of-the-art citation.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Papers/fopara2013/fopara13.tex

    r3425 r3426  
    252252program. Therefore, in order to perform (parametric) time analysis of programs,
    253253it is necessary to combine a cost model with control and data flow analysis.
    254 Current state of the art WCET technology
    255 \cite{stateart} performs the analysis on the object code, where the logic of the
     254Current state of the art WCET technology such as AbsInt
     255(see~\cite{stateart} for a survey) performs the analysis on the object code, where the logic of the
    256256program is harder to reconstruct and most information available at the source
    257257code level has been lost. Imprecision in the analysis leads to useless bounds. To
Note: See TracChangeset for help on using the changeset viewer.