X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=back%2Fsummary.tex;h=0f1a927797a103c74e97fe888125d8a888812165;hb=529531e1028ae26ab889456d65958794154d5b25;hp=3fbb2a5646ae733c0bd6b8aa6366c08803c76b72;hpb=c1b9a0995445470a66854861c04df440b7d7ffb3;p=phd-thesis.git

diff --git a/back/summary.tex b/back/summary.tex
index 3fbb2a5..0f1a927 100644
--- a/back/summary.tex
+++ b/back/summary.tex
@@ -7,8 +7,6 @@
 \ifSubfilesClassLoaded{\chapter*{Summary}}{\chapter{Summary}}%
 \label{chp:summary}%
 \glsresetall%
-%\begin{center}
-%\noindent%
 The number of computers around us is growing exponentially, compounding the complexity of the systems in which they operate.
 Many of these computers are \emph{edge devices} operating in \gls{IOT} systems.
 Within these orchestrations of computers, they interact with the environment using sensors and actuators.
@@ -33,11 +31,10 @@ Then \gls{MTASK} is shown, a \gls{TOP} \gls{DSL} for \gls{IOT} edge devices, emb
 Tasks are constructed and compiled at run time.
 This allows tasks to be tailor-made for the current work requirements.
 The compiled task is sent to the device for interpretation.
-For a device to be used in an \gls{MTASK} system, it must to be programmed once with a lightweight domain-specific \gls{OS}.
+For a device to be used in an \gls{MTASK} system, it is programmed once with a lightweight domain-specific \gls{OS}.
 This \gls{OS} executes tasks in an energy-efficient way and automates all communications and data sharing.
 All aspects of the \gls{MTASK} system are shown: example applications, language design, implementation details, integration with \gls{ITASK}, and green computing facilities.
 When using \gls{MTASK} in conjunction with \gls{ITASK}, entire \gls{IOT} systems are programmed tierlessly from a single source, language, paradigm, high abstraction level, and type system.
 Many problems such as semantic friction; maintainability and robustness issues; and interoperation safety are mitigated when using tierless programming.
 %This is a summary of 350--400 words.
-%\end{center}
 \end{document}