timer: Fix timer calibration logic.
[pintos-anon] / sigcse2009 / sigcse2009.tex
1 % This is "sig-alternate.tex" V1.8 June 2007
2 % This file should be compiled with V2.3 of "sig-alternate.cls" June 2007
3 %
4 % This example file demonstrates the use of the 'sig-alternate.cls'
5 % V2.3 LaTeX2e document class file. It is for those submitting
6 % articles to ACM Conference Proceedings WHO DO NOT WISH TO
7 % STRICTLY ADHERE TO THE SIGS (PUBS-BOARD-ENDORSED) STYLE.
8 % The 'sig-alternate.cls' file will produce a similar-looking,
9 % albeit, 'tighter' paper resulting in, invariably, fewer pages.
10 %
11 % ----------------------------------------------------------------------------------------------------------------
12 % This .tex file (and associated .cls V2.3) produces:
13 %       1) The Permission Statement
14 %       2) The Conference (location) Info information
15 %       3) The Copyright Line with ACM data
16 %       4) NO page numbers
17 %
18 % as against the acm_proc_article-sp.cls file which
19 % DOES NOT produce 1) thru' 3) above.
20 %
21 % Using 'sig-alternate.cls' you have control, however, from within
22 % the source .tex file, over both the CopyrightYear
23 % (defaulted to 200X) and the ACM Copyright Data
24 % (defaulted to X-XXXXX-XX-X/XX/XX).
25 % e.g.
26 % \CopyrightYear{2007} will cause 2007 to appear in the copyright line.
27 % \crdata{0-12345-67-8/90/12} will cause 0-12345-67-8/90/12 to appear in the copyright line.
28 %
29 % ---------------------------------------------------------------------------------------------------------------
30 % This .tex source is an example which *does* use
31 % the .bib file (from which the .bbl file % is produced).
32 % REMEMBER HOWEVER: After having produced the .bbl file,
33 % and prior to final submission, you *NEED* to 'insert'
34 % your .bbl file into your source .tex file so as to provide
35 % ONE 'self-contained' source file.
36 %
37 % ================= IF YOU HAVE QUESTIONS =======================
38 % Questions regarding the SIGS styles, SIGS policies and
39 % procedures, Conferences etc. should be sent to
40 % Adrienne Griscti (griscti@acm.org)
41 %
42 % Technical questions _only_ to
43 % Gerald Murray (murray@acm.org)
44 % ===============================================================
45 %
46 % For tracking purposes - this is V1.8 - June 2007
47
48 \documentclass{sig-alternate}
49
50 % force letter size (default is A4)
51 \pdfpagewidth=8.5in
52 \pdfpageheight=11in
53
54 \usepackage{graphicx}
55 \def\com#1{ }
56
57 % from http://mintaka.sdsu.edu/GF/bibliog/latex/floats.html
58 % Alter some LaTeX defaults for better treatment of figures:
59 % See p.105 of "TeX Unbound" for suggested values.
60 % See pp. 199-200 of Lamport's "LaTeX" book for details.
61 %   General parameters, for ALL pages:
62 \renewcommand{\topfraction}{0.9}    % max fraction of floats at top
63 \renewcommand{\bottomfraction}{0.8} % max fraction of floats at bottom
64 %   Parameters for TEXT pages (not float pages):
65 \setcounter{topnumber}{2}
66 \setcounter{bottomnumber}{2}
67 \setcounter{totalnumber}{4}     % 2 may work better
68 \setcounter{dbltopnumber}{2}    % for 2-column pages
69 \renewcommand{\dbltopfraction}{0.9} % fit big float above 2-col. text
70 \renewcommand{\textfraction}{0.07}  % allow minimal text w. figs
71 %   Parameters for FLOAT pages (not text pages):
72 \renewcommand{\floatpagefraction}{0.7}  % require fuller float pages
73 % N.B.: floatpagefraction MUST be less than topfraction !!
74 \renewcommand{\dblfloatpagefraction}{0.7}   % require fuller float pages
75 % remember to use [htp] or [htpb] for placement
76 %------------------
77
78 \begin{document}
79 %
80 % --- Author Metadata here ---
81 \conferenceinfo{SIGCSE}{'09 Chattanooga, Tennessee, USA}
82 %\CopyrightYear{2007} % Allows default copyright year (200X) to be over-ridden - IF NEED BE.
83 %\crdata{0-12345-67-8/90/01}  % Allows default copyright data (0-89791-88-6/97/05) to be over-ridden - IF NEED BE.
84 % --- End of Author Metadata ---
85
86 \title{The Pintos Instructional Operating System Kernel}
87
88 % \subtitle{[Draft]}
89
90 \numberofauthors{3}
91 \author{
92 % 1st. author
93 \alignauthor Ben Pfaff\\
94        \affaddr{Nicira Networks}\\
95        \affaddr{Palo Alto, CA}\\
96        \email{blp@nicira.com}
97 % 2nd. author
98 \alignauthor Anthony Romano\\
99        \affaddr{Stanford University}\\
100        \affaddr{Palo Alto, CA}\\
101        \email{ajromano@stanford.edu}
102 % 3rd. author
103 \alignauthor Godmar Back\\
104        \affaddr{Virginia Tech}\\
105        \affaddr{Blacksburg}\\
106        \email{gback@cs.vt.edu}
107 }
108 \com{
109 \author{
110 % 1st. author
111 \alignauthor AnonAuthor1\\
112        \affaddr{Affiliation1}\\
113        \affaddr{City, State}\\
114        \email{email1@edu}
115 % 2nd. author
116 \alignauthor AnonAuthor2\\
117        \affaddr{Affiliation2}\\
118        \affaddr{City, State}\\
119        \email{email2@edu}
120 % 3rd. author
121 \alignauthor AnonAuthor3\\
122        \affaddr{Affiliation3}\\
123        \affaddr{City, State}\\
124        \email{email3@edu}
125 }
126 }
127
128 \maketitle
129 \begin{abstract}
130 \input{abstract}
131 \end{abstract}
132
133 % A category with the (minimum) three required fields
134 %\category{H.4}{Information Systems Applications}{Miscellaneous}
135 %A category including the fourth, optional field follows...
136 %\category{D.2.8}{Software Engineering}{Metrics}[complexity measures, performance measures]
137
138 % http://www.cs.arizona.edu/groups/sigcse09/format.html#reqs suggests
139 \category{K.3.2}{Computers and Education}{Computer and Information Science Education}
140
141 \terms{Design, Experimentation}
142
143 \keywords{Pintos, instructional operating system, instructional kernel}
144
145 \input{figures}
146
147 \input{introduction}
148
149 \input{principles}
150
151 \input{assignments}
152
153 \input{racedt}
154
155 \input{rest}
156
157 % remove the following line before submitting!
158 % \nocite{*}
159
160 %
161 %
162 { \small
163 \bibliographystyle{abbrv}
164 \bibliography{sigcse2009}  % sigproc.bib is the name of the Bibliography in this case
165 }
166 \end{document}