X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=thesis.tex;h=a468137c577fc8882476782ed64dd5bddcab143e;hb=ca9869787f9369515d8ab7dc7a04f56cc7ef02a0;hp=d36ac86464a70dfba68a915994b6a82860940965;hpb=0318eb1b212df7d3980f268f03429936d2f1d617;p=msc-thesis1617.git diff --git a/thesis.tex b/thesis.tex index d36ac86..a468137 100644 --- a/thesis.tex +++ b/thesis.tex @@ -2,30 +2,8 @@ \usepackage[nonumberlist,acronyms]{glossaries} \makeglossaries% -\newacronym{GADT}{GADT}{Generalized Algebraic Datatype} -\newacronym{GPIO}{GPIO}{General-Purpose Input/Output} -\newacronym{ADT}{ADT}{Algebraic Datatype} -\newacronym{SDS}{SDS}{Shared Data Source} -\newacronym{IoT}{IoT}{Internet of Things} -\newacronym{TOP}{TOP}{Task Oriented Programming} -\newacronym{EDSL}{(E)DSL}{(Embedded) Design Specific Language} -\newacronym{RISC}{RISC}{Reduced Instruction Set Computer} -\newacronym{ARM}{ARM}{Acorn \acrshort{RISC} Machine} -\newacronym{LTN}{LTN}{Low Throughput Network} -\newacronym{IDE}{IDE}{Integrated Development Environment} -\newacronym{TCP}{TCP}{Transmission Control Protocol} -\newglossaryentry{Clean}{name=Clean, - description={is a pure lazy functional programming language based on graph - rewriting}} -\newglossaryentry{iTasks}{name=iTasks, - description={is a \acrshort{TOP} implementation written as a \acrshort{EDSL} - in the \gls{Clean} programming language}} -\newglossaryentry{Task}{name=Task, - description={is the basic building block of a \acrshort{TOP} system}} -\newglossaryentry{mTask}{name=mTask, - description={is an abstraction for \glspl{Task} living on \acrshort{IoT} devices}} -\newglossaryentry{C}{name=C, - description={is low-level programming language suitable for embedded devices}} +\input{acronyms} +\input{glossaries} \begin{document} \frontmatter{} @@ -46,13 +24,13 @@ \chapter*{\centering Abstract} \begin{quotation} \centering\noindent - \input{abstract.tex} + \input{abstract} \end{quotation} \chapter*{\centering Acknowledgements} \begin{quotation} \centering\it\noindent - \input{acknowledgements.tex} + \input{acknowledgements} \end{quotation} %Table of contents @@ -61,26 +39,39 @@ \mainmatter{} \glsresetall{} \chapter{Introduction}\label{chp:introduction} -\input{introduction.tex} +\input{introduction} -\chapter{Methods}\label{chp:methods} -\input{methods.tex} +\chapter{\acrlong{TOP}}\label{chp:top} +\input{methods.top} -\chapter{Results}\label{chp:results} -\input{results.tex} +\chapter{\acrlongpl{EDSL}}\label{chp:dsl} +\input{methods.dsl} + +\chapter{mTask}\label{chp:mtask} +\input{methods.mtask} + +\chapter{Architecture}\label{chp:arch} +\input{results.arch} + +\chapter{mTask continued}\label{chp:mtaskcont} +\input{results.mtask} \chapter{Conclusion \& Discussion}\label{chp:conclusion} +\input{conclusion} \appendix\label{chp:appendix} -\chapter{Planning}\label{app:planning} -\input{appendix-planning.tex} - \chapter{Communication protocol}\label{app:communication-protocol} -\input{appendix-protocol.tex} +\input{appendix-protocol} \chapter{Device client interface}\label{app:device-interface} -\input{appendix-device-interface.tex} +\input{appendix-device-interface} + +\cleardoublepage{} +\phantomsection{} +\addcontentsline{toc}{chapter}{Bibliography} +\bibliographystyle{ieeetr} +\bibliography{thesis} \cleardoublepage{} \phantomsection{} @@ -93,14 +84,12 @@ \endgroup \cleardoublepage{} +\phantomsection{} \addcontentsline{toc}{chapter}{Glossaries \& Acronyms} - \begingroup \let\clearpage\relax \let\cleardoublepage\relax \printglossaries% \endgroup -\bibliographystyle{ieeetr} -\bibliography{thesis} \end{document}