Changeset 1861 for Deliverables


Ignore:
Timestamp:
Mar 15, 2012, 4:51:32 PM (8 years ago)
Author:
mulligan
Message:

Changes to CSC's changes

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D1.2/Presentations/WP4-dominic.tex

    r1860 r1861  
    482482\includegraphics[scale=0.33]{recursive_structure.png}
    483483\begin{tabular}[b]{ll}
    484     & emit(l1) \\
    485     & MOV r1 0\\
    486     & ADD r1 r2\\
    487     & CALL f \\
    488     & ADD r2 r2\\
    489     & MOV r2 0\\
    490     & RET \\ \\ \\ \\
     484    & \texttt{emit(l1)} \\
     485    & \texttt{MOV r1 0}\\
     486    & \texttt{ADD r1 r2}\\
     487    & \texttt{CALL f} \\
     488    & \texttt{ADD r2 r2}\\
     489    & \texttt{MOV r2 0}\\
     490    & \texttt{RET} \\ \\ \\ \\
    491491\end{tabular}
    492492\end{center}
    493 \makebox[0pt][l]{k($l_1$) = k(MOV) + k (ADD) + \ldots + k(RET)}\\
    494 Static-cost(trace) = k($l_1$) + \ldots + k($l_4$)\\
    495 Dynamic-cost(trace) = \texttt{clock}(Final$_1$) - \texttt{clock}(Start$_1$)\\
    496 \alert{Theorem: Static-cost(trace) = Dynamic-cost(trace)}
     493\makebox[0pt][l]{k($l_1$) = k(\texttt{MOV}) + k (\texttt{ADD}) + \ldots + k(\texttt{RET})}\\
     494static-cost(trace) = k($l_1$) + \ldots + k($l_4$)\\
     495dynamic-cost(trace) = \texttt{clock}(Final$_1$) - \texttt{clock}(Start$_1$)\\
     496\alert{Theorem: static-cost(trace) = dynamic-cost(trace)}
    497497\end{frame}
    498498
     
    571571Tranquilli proofs of correctness for 2 intermediate languages
    572572\item
    573 Sacerdoti Coen `floating'
     573Permanents `floating'
    574574\item
    575575Believe we have enough manpower to complete backend (required 21 man months)
Note: See TracChangeset for help on using the changeset viewer.