X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=mtask.semantics.tex;h=bf8b9100df326432b81492988b08883ac6a2c472;hb=cd9fdb167f78b9481cdd29686a1a65daffeff940;hp=2cee3cc955f8b8b64ab0363e3e71c24fd3d19e7b;hpb=cbc3fdf2cc344248d0e81505622ce1294c7d311e;p=msc-thesis1617.git

diff --git a/mtask.semantics.tex b/mtask.semantics.tex
index 2cee3cc..bf8b910 100644
--- a/mtask.semantics.tex
+++ b/mtask.semantics.tex
@@ -15,7 +15,7 @@ time. When the waiting time has not passed; the delta is subtracted and the
 they are executed. When an \gls{mTask} opts to queue another \gls{mTask} it
 can just append it to the queue.
 
-~\\
+\vspace{1em}
 \begin{algorithm}[H]
 	\KwData{\textbf{queue} queue, \textbf{time} $t, t_p$}
 
@@ -38,7 +38,7 @@ can just append it to the queue.
 	\caption{Engine pseudocode for the \gls{C}- and
 		\gls{iTasks}-view}\label{lst:engine}
 \end{algorithm}
-~\\
+\vspace{1em}
 
 To achieve this in the \gls{EDSL} a \gls{Task} class is added that work in a
 similar fashion as the \texttt{sds} class. This class is listed in