Changeset 1861 for Deliverables/D1.2/Presentations/WP4dominic.tex
 Timestamp:
 Mar 15, 2012, 4:51:32 PM (8 years ago)
 File:

 1 edited
Legend:
 Unmodified
 Added
 Removed

Deliverables/D1.2/Presentations/WP4dominic.tex
r1860 r1861 482 482 \includegraphics[scale=0.33]{recursive_structure.png} 483 483 \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} \\ \\ \\ \\ 491 491 \end{tabular} 492 492 \end{center} 493 \makebox[0pt][l]{k($l_1$) = k( MOV) + k (ADD) + \ldots + k(RET)}\\494 Staticcost(trace) = k($l_1$) + \ldots + k($l_4$)\\495 Dynamiccost(trace) = \texttt{clock}(Final$_1$)  \texttt{clock}(Start$_1$)\\496 \alert{Theorem: Staticcost(trace) = Dynamiccost(trace)}493 \makebox[0pt][l]{k($l_1$) = k(\texttt{MOV}) + k (\texttt{ADD}) + \ldots + k(\texttt{RET})}\\ 494 staticcost(trace) = k($l_1$) + \ldots + k($l_4$)\\ 495 dynamiccost(trace) = \texttt{clock}(Final$_1$)  \texttt{clock}(Start$_1$)\\ 496 \alert{Theorem: staticcost(trace) = dynamiccost(trace)} 497 497 \end{frame} 498 498 … … 571 571 Tranquilli proofs of correctness for 2 intermediate languages 572 572 \item 573 Sacerdoti Coen`floating'573 Permanents `floating' 574 574 \item 575 575 Believe we have enough manpower to complete backend (required 21 man months)
Note: See TracChangeset
for help on using the changeset viewer.