contract_match.tex
Paper VIII: Packet Operator Algorithms, Exact Compilation, and GPU Realization
contract_match.tex
This is the original TeX manuscript source. Use the paper’s PDF for typeset equations.
1 \begin{tikzpicture}[x=1cm,y=1cm,>=Stealth,line cap=round,line join=round]
2 \path[use as bounding box] (0,-.6) rectangle (14,4.8);
3 \node[font=\small,align=center,font=\bfseries\small] at (1.1,4.1) {row};
4 \node[font=\small,align=center,font=\bfseries\small] at (3.95,4.1) {output};
5 \node[font=\small,align=center,font=\bfseries\small] at (8.55,4.1) {scope};
6 \node[font=\small,align=center,font=\bfseries\small] at (11.95,4.1) {time};
7 \path[draw=black!30,fill=black!7] (0.45,2.88) rectangle (1.75,3.52);
8 \node[font=\small,align=center,font=\scriptsize] at (1.1,3.2) {A};
9 \path[draw=black!30,fill=black!7] (1.75,2.88) rectangle (6.15,3.52);
10 \node[font=\small,align=center,font=\scriptsize] at (3.95,3.2) {explicit matrix};
11 \path[draw=black!30,fill=black!7] (6.15,2.88) rectangle (10.95,3.52);
12 \node[font=\small,align=center,font=\scriptsize] at (8.55,3.2) {materialization included};
13 \path[draw=black!30,fill=black!7] (10.95,2.88) rectangle (12.95,3.52);
14 \node[font=\small,align=center,font=\scriptsize] at (11.95,3.2) {12};
15 \path[draw=black!30,fill=white] (0.45,2.08) rectangle (1.75,2.72);
16 \node[font=\small,align=center,font=\scriptsize] at (1.1,2.4) {B};
17 \path[draw=black!30,fill=white] (1.75,2.08) rectangle (6.15,2.72);
18 \node[font=\small,align=center,font=\scriptsize] at (3.95,2.4) {low-rank factors};
19 \path[draw=black!30,fill=white] (6.15,2.08) rectangle (10.95,2.72);
20 \node[font=\small,align=center,font=\scriptsize] at (8.55,2.4) {factor product only};
21 \path[draw=black!30,fill=white] (10.95,2.08) rectangle (12.95,2.72);
22 \node[font=\small,align=center,font=\scriptsize] at (11.95,2.4) {2};
23 \path[draw=black!30,fill=black!7] (0.45,1.28) rectangle (1.75,1.92);
24 \node[font=\small,align=center,font=\scriptsize] at (1.1,1.6) {C};
25 \path[draw=black!30,fill=black!7] (1.75,1.28) rectangle (6.15,1.92);
26 \node[font=\small,align=center,font=\scriptsize] at (3.95,1.6) {explicit matrix};
27 \path[draw=black!30,fill=black!7] (6.15,1.28) rectangle (10.95,1.92);
28 \node[font=\small,align=center,font=\scriptsize] at (8.55,1.6) {factor product + decode};
29 \path[draw=black!30,fill=black!7] (10.95,1.28) rectangle (12.95,1.92);
30 \node[font=\small,align=center,font=\scriptsize] at (11.95,1.6) {14};
31 \path[draw=black!30,fill=white] (0.45,0.48) rectangle (1.75,1.12);
32 \node[font=\small,align=center,font=\scriptsize] at (1.1,0.8) {D};
33 \path[draw=black!30,fill=white] (1.75,0.48) rectangle (6.15,1.12);
34 \node[font=\small,align=center,font=\scriptsize] at (3.95,0.8) {explicit matrix};
35 \path[draw=black!30,fill=white] (6.15,0.48) rectangle (10.95,1.12);
36 \node[font=\small,align=center,font=\scriptsize] at (8.55,0.8) {different input precision};
37 \path[draw=black!30,fill=white] (10.95,0.48) rectangle (12.95,1.12);
38 \node[font=\small,align=center,font=\scriptsize] at (11.95,0.8) {1};
39 \node[font=\small,align=center,font=\scriptsize] at (7,-0.1) {Synthetic times: A versus C is contract-aligned. A versus B is not a sixfold speedup.};
40 \end{tikzpicture}
Other PDFs for this work
Original file and source record
This copy matches the recorded source file. Its publication here does not change the work’s review status.
SHA-256: 48ce14e39e95ce8ab1678be786e81518966085dffd98b9fcd347a36abddcbf81
Back to Paper VIII: Packet Operator Algorithms, Exact Compilation, and GPU Realization