[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}
|
---|