Merge remote-tracking branch 'refs/remotes/origin/master'
-rw-r--r-- 77 .chktexrc
-rw-r--r-- 169 .gitignore
-rw-r--r-- 0 .gitmodules
-rw-r--r-- 1265 Makefile
-rw-r--r-- 592 abstract.tex
-rw-r--r-- 409 acknowledgements.tex
-rw-r--r-- 83 appendix-device-interface.tex
-rw-r--r-- 3657 appendix-protocol.tex
-rw-r--r-- 8714 conclusion.tex
drwxr-xr-x - fig
-rw-r--r-- 2984 glossaries.tex
-rw-r--r-- 113 guests.txt
drwxr-xr-x - img
-rw-r--r-- 8577 introduction.tex
drwxr-xr-x - listings
-rw-r--r-- 6008 methods.dsl.tex
-rw-r--r-- 10338 methods.mtask.tex
-rw-r--r-- 10102 methods.top.tex
drwxr-xr-x - presentation
-rw-r--r-- 28776 results.arch.tex
-rw-r--r-- 15728 results.mtask.tex
-rw-r--r-- 9116 thesis.bib
-rw-r--r-- 3358 thesis.pre
-rw-r--r-- 1925 thesis.tex
-rw-r--r-- 790 titlepage.tex