[694ee7d] | 1 | % requires tex packages: texlive-base texlive-latex-base tex-common texlive-humanities texlive-latex-extra texlive-fonts-recommended |
---|
| 2 | |
---|
[cf966b5] | 3 | % inline code �...� (copyright symbol) emacs: C-q M-) |
---|
| 4 | % red highlighting �...� (registered trademark symbol) emacs: C-q M-. |
---|
| 5 | % blue highlighting �...� (sharp s symbol) emacs: C-q M-_ |
---|
| 6 | % green highlighting �...� (cent symbol) emacs: C-q M-" |
---|
| 7 | % LaTex escape �...� (section symbol) emacs: C-q M-' |
---|
| 8 | % keyword escape �...� (pilcrow symbol) emacs: C-q M-^ |
---|
[694ee7d] | 9 | % math escape $...$ (dollar symbol) |
---|
| 10 | |
---|
[0f9bef3] | 11 | \documentclass[letterpaper,12pt,titlepage,oneside,final]{book} |
---|
[694ee7d] | 12 | |
---|
| 13 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
---|
| 14 | |
---|
| 15 | % Latex packages used in the document. |
---|
[955d9e43] | 16 | \usepackage[T1]{fontenc} % allow Latin1 (extended ASCII) characters |
---|
[694ee7d] | 17 | \usepackage{textcomp} |
---|
| 18 | \usepackage[latin1]{inputenc} |
---|
| 19 | \usepackage{fullpage,times,comment} |
---|
| 20 | \usepackage{epic,eepic} |
---|
[955d9e43] | 21 | \usepackage{upquote} % switch curled `'" to straight |
---|
[27dde72] | 22 | \usepackage{dirtytalk} |
---|
[694ee7d] | 23 | \usepackage{calc} |
---|
| 24 | \usepackage{xspace} |
---|
[cae28da] | 25 | \usepackage[labelformat=simple]{subfig} |
---|
| 26 | \renewcommand{\thesubfigure}{(\alph{subfigure})} |
---|
[694ee7d] | 27 | \usepackage{graphicx} |
---|
[7b69174] | 28 | \usepackage{tabularx} |
---|
[0f9bef3] | 29 | \usepackage{multicol} |
---|
[a9aab60] | 30 | \usepackage[acronym]{glossaries} |
---|
[d67cdb7] | 31 | \usepackage{varioref} |
---|
[955d9e43] | 32 | \usepackage{listings} % format program code |
---|
| 33 | \usepackage[flushmargin]{footmisc} % support label/reference in footnote |
---|
| 34 | \usepackage{latexsym} % \Box glyph |
---|
| 35 | \usepackage{mathptmx} % better math font with "times" |
---|
[694ee7d] | 36 | \usepackage[usenames]{color} |
---|
| 37 | \usepackage[pagewise]{lineno} |
---|
[2b72090] | 38 | \renewcommand{\linenumberfont}{\scriptsize\sffamily} |
---|
[9b4343e] | 39 | \usepackage{fancyhdr} |
---|
[64b272a] | 40 | \usepackage{float} |
---|
| 41 | \usepackage{siunitx} |
---|
| 42 | \sisetup{ binary-units=true } |
---|
[fe84230] | 43 | \input{style} % bespoke macros used in the document |
---|
[2b72090] | 44 | \usepackage{url} |
---|
[694ee7d] | 45 | \usepackage[dvips,plainpages=false,pdfpagelabels,pdfpagemode=UseNone,colorlinks=true,pagebackref=true,linkcolor=blue,citecolor=blue,urlcolor=blue,pagebackref=true,breaklinks=true]{hyperref} |
---|
[2b72090] | 46 | \usepackage{breakurl} |
---|
| 47 | \urlstyle{rm} |
---|
[c69adb7] | 48 | |
---|
[a9aab60] | 49 | \usepackage{tikz} |
---|
| 50 | \def\checkmark{\tikz\fill[scale=0.4](0,.35) -- (.25,0) -- (1,.7) -- (.25,.15) -- cycle;} |
---|
| 51 | |
---|
[955d9e43] | 52 | \setlength{\topmargin}{-0.45in} % move running title into header |
---|
[694ee7d] | 53 | \setlength{\headsep}{0.25in} |
---|
| 54 | |
---|
| 55 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
---|
| 56 | |
---|
| 57 | % Names used in the document. |
---|
| 58 | |
---|
| 59 | \newcommand{\Version}{1.0.0} |
---|
| 60 | \newcommand{\CS}{C\raisebox{-0.9ex}{\large$^\sharp$}\xspace} |
---|
| 61 | |
---|
| 62 | \newcommand{\Textbf}[2][red]{{\color{#1}{\textbf{#2}}}} |
---|
| 63 | \newcommand{\Emph}[2][red]{{\color{#1}\textbf{\emph{#2}}}} |
---|
| 64 | \newcommand{\R}[1]{\Textbf{#1}} |
---|
| 65 | \newcommand{\B}[1]{{\Textbf[blue]{#1}}} |
---|
| 66 | \newcommand{\G}[1]{{\Textbf[OliveGreen]{#1}}} |
---|
| 67 | \newcommand{\uC}{$\mu$\CC} |
---|
| 68 | \newcommand{\cit}{\textsuperscript{[Citation Needed]}\xspace} |
---|
[0f9bef3] | 69 | \newcommand{\TODO}{{\Textbf{TODO}}} |
---|
[694ee7d] | 70 | |
---|
[c69adb7] | 71 | \input{glossary} |
---|
[694ee7d] | 72 | |
---|
| 73 | \newsavebox{\LstBox} |
---|
| 74 | |
---|
| 75 | %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
---|
| 76 | |
---|
[fb31cb8] | 77 | \setcounter{secnumdepth}{2} % number subsubsections |
---|
| 78 | \setcounter{tocdepth}{2} % subsubsections in table of contents |
---|
[27dde72] | 79 | % \linenumbers % comment out to turn off line numbering |
---|
[694ee7d] | 80 | \makeindex |
---|
[9b4343e] | 81 | \pagestyle{fancy} |
---|
| 82 | \fancyhf{} |
---|
| 83 | \cfoot{\thepage} |
---|
[bf70aa9] | 84 | \rfoot{v\input{version}} |
---|
[694ee7d] | 85 | |
---|
| 86 | |
---|
| 87 | |
---|
[cf966b5] | 88 | %====================================================================== |
---|
| 89 | % L O G I C A L D O C U M E N T -- the content of your thesis |
---|
| 90 | %====================================================================== |
---|
| 91 | \begin{document} |
---|
[efe4d730] | 92 | |
---|
[cf966b5] | 93 | % For a large document, it is a good idea to divide your thesis |
---|
| 94 | % into several files, each one containing one chapter. |
---|
| 95 | % To illustrate this idea, the "front pages" (i.e., title page, |
---|
| 96 | % declaration, borrowers' page, abstract, acknowledgements, |
---|
| 97 | % dedication, table of contents, list of tables, list of figures, |
---|
| 98 | % nomenclature) are contained within the file "thesis-frontpgs.tex" which is |
---|
| 99 | % included into the document by the following statement. |
---|
| 100 | %---------------------------------------------------------------------- |
---|
| 101 | % FRONT MATERIAL |
---|
| 102 | %---------------------------------------------------------------------- |
---|
| 103 | \input{frontpgs} |
---|
| 104 | |
---|
| 105 | %---------------------------------------------------------------------- |
---|
| 106 | % MAIN BODY |
---|
| 107 | %---------------------------------------------------------------------- |
---|
[efe4d730] | 108 | |
---|
[27dde72] | 109 | \input{intro} |
---|
[694ee7d] | 110 | |
---|
[7c17511] | 111 | \input{cforall} |
---|
| 112 | |
---|
[27dde72] | 113 | \input{basics} |
---|
[694ee7d] | 114 | |
---|
[27dde72] | 115 | \input{concurrency} |
---|
[efe4d730] | 116 | |
---|
[27dde72] | 117 | \input{parallelism} |
---|
[694ee7d] | 118 | |
---|
[dcfc4b35] | 119 | \input{internals} |
---|
| 120 | |
---|
[d67cdb7] | 121 | \input{together} |
---|
[0f9bef3] | 122 | |
---|
[64b272a] | 123 | \input{results} |
---|
| 124 | |
---|
[07c1e595] | 125 | \input{future} |
---|
[694ee7d] | 126 | |
---|
| 127 | |
---|
[c69adb7] | 128 | \clearpage |
---|
[e3b0e2e] | 129 | |
---|
| 130 | % B I B L I O G R A P H Y |
---|
| 131 | % ----------------------------- |
---|
| 132 | \addcontentsline{toc}{chapter}{Bibliography} |
---|
[694ee7d] | 133 | \bibliographystyle{plain} |
---|
[cae28da] | 134 | \bibliography{pl,local} |
---|
[e3b0e2e] | 135 | \cleardoublepage |
---|
| 136 | \phantomsection % allows hyperref to link to the correct page |
---|
| 137 | |
---|
| 138 | % G L O S S A R Y |
---|
| 139 | % ----------------------------- |
---|
| 140 | \addcontentsline{toc}{chapter}{Glossary} |
---|
| 141 | \printglossary |
---|
| 142 | \cleardoublepage |
---|
| 143 | \phantomsection % allows hyperref to link to the correct page |
---|
[694ee7d] | 144 | |
---|
| 145 | |
---|
| 146 | \end{document} |
---|