X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=thesis.tex;h=c4aaa01e6121402c43c918daeca36e8ea36d6746;hb=8c6f463e3da3f3a2469b44f17705d633c988fee6;hp=df7945a82b0b2b4e51f679b3327a0e214c8beb04;hpb=f69476121f7741d51a7d82725fc6a816f51b5c19;p=msc-thesis1617.git diff --git a/thesis.tex b/thesis.tex index df7945a..c4aaa01 100644 --- a/thesis.tex +++ b/thesis.tex @@ -1,18 +1,87 @@ %&thesis +\usepackage[nonumberlist,acronyms]{glossaries} +\makeglossaries% + +\newacronym{GADT}{GADT}{Generalized Algebraic Datatype} +\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} +\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}} + \begin{document} +\frontmatter{} + +%Titlepage \maketitleru[ + pagenr=1, course={Master Thesis}, institute={Radboud University Nijmegen}, authorstext={Author:}, righttextheader={Supervisors:}, righttext={prof.~dr.~dr.h.c.~ir.~M.J.~Plasmeijer\\dr.~P.W.M.~Koopman}] -%\listoftodos[Todo] +\listoftodos[Todo] + +%Abstract +\chapter*{\centering Abstract} +\begin{quotation} + \centering\noindent + \input{abstract.tex} +\end{quotation} + +\chapter*{\centering Acknowledgements} +\begin{quotation} + \centering\it\noindent + \input{acknowledgements.tex} +\end{quotation} + +%Table of contents \tableofcontents -\chapter{Introduction} -\chapter{Methods} -\chapter{Results} -\chapter{Conclusion \& Discussion} +%Glossaries +\glsaddall{} +\printglossaries% + +\mainmatter{} +\glsresetall +\chapter{Introduction}\label{chp:introduction} +\input{introduction.tex} + +\chapter{Methods}\label{chp:methods} +\input{methods.tex} + +\chapter{Results}\label{chp:results} +\chapter{Conclusion \& Discussion}\label{chp: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} + +\chapter{Device client interface}\label{app:device-interface} +\input{appendix-device-interface.tex} + +\lstlistoflistings{} +\listoffigures{} +\listoftables{} \bibliographystyle{ieeetr} \bibliography{thesis}