Changeset 521


Ignore:
Timestamp:
Feb 15, 2011, 4:24:35 PM (6 years ago)
Author:
mulligan
Message:

more changes

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D4.1/ITP-Paper/itp-2011.tex

    r520 r521  
    481481% SECTION                                                                      %
    482482%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
     483\subsection{I/O and timers}
     484\label{subsect.i/o.timers}
     485
     486% `Real clock' for I/O and timers
     487
     488%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
     489% SECTION                                                                      %
     490%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
     491\subsection{Computation of cost traces}
     492\label{subsect.computation.cost.traces}
     493
     494% Cost labels
     495
     496%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
     497% SECTION                                                                      %
     498%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
    483499\section{Validation}
    484500\label{sect.validation}
Note: See TracChangeset for help on using the changeset viewer.