Changeset 3426 for Papers


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

Clarify WCET state-of-the-art citation.

Location:
Papers/fopara2013
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • Papers/fopara2013/appendix.tex

    r3423 r3426  
    55
    66The example has been slightly altered to show a parametric time bound.
     7The text now identifies the added code by more than just its colour.
    78
    89Section 2 has been restructured to give a clearer comparison of
  • 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.