Changeset 1686


Ignore:
Timestamp:
Feb 9, 2012, 6:16:59 PM (6 years ago)
Author:
tranquil
Message:

corrected abstract

Location:
Deliverables/addenda/indexed_labels
Files:
2 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/addenda/indexed_labels/report.tex

    r1685 r1686  
    638638\begin{abstract}
    639639We present an extension to the labelling approach to lift resource
    640 consumption information from compiled to source code~\cite{D2.1}. Cost labels
    641 inserted at key points of the source code and kept track of during compilation
    642 allow such a task. However, this approach is looses preciseness when differences
     640consumption information from compiled to source code~\cite{D2.1}. Such an
     641approach consists in inserting cost labels at key points of the source code and
     642keeping track of them during compilation. However, the plain labelling approach
     643looses preciseness when differences
    643644arise as to the cost of the same portion of code, whether due to code
    644645transformation such as loop optimisation or advanced architecture features
    645 (\eg cache). Our approach addresses this weakness as to some loop transformations
     646(\eg cache). Our approach addresses this weakness, allowing to retain
     647preciseness even when applying some loop transformations
    646648that rearrange the iterations of a loop (namely loop peeling and unrolling). It
    647 consists in formally indexing cost labels with which iteration of the containing
    648 loop they occur in, relative to the source code. This indexes can be transformed
     649consists in formally indexing cost labels with the iterations of the containing
     650loops they occur in within the source code. These indexes can be transformed
    649651during the compilation, and when lifted back to source code they produce dependent
    650652costs.
Note: See TracChangeset for help on using the changeset viewer.