updates

[phd-thesis.git] / top / green.tex

diff --git a/top/green.tex b/top/green.tex
index 2273e8d..064988d 100644 (file)
--- a/top/green.tex
+++ b/top/green.tex
@@ -102,7 +102,7 @@ thermostat = declarePin D8 PMOutput \ledPin->
 \end{lstClean}
 
 This program repeatedly reads the \gls{DHT} sensor and sets the on-board \gls{LED} based on the comparison with the \cleaninline{goal} as fast as possible.
-The \gls{MTASK} machinery ensures that if there are other tasks running on the node, they make progress.
+The \gls{MTASK} machinery ensures that if there are other tasks running on the device, they make progress.
 However, this solution is far from perfect when we take power consumption into account.
 In most applications, it is very unlikely that the temperature changes significantly within one minute, let alone within some milliseconds.
 Hence, it is sufficient to repeat the measurement with an appropriate interval.
@@ -208,7 +208,6 @@ The \cleaninline{rpeat} task combinator is a special type of \cleaninline{rpeatE
 The derived refresh rate of the repeat combinator is the refresh rate of the child if it is unstable.
 Otherwise, the refresh rate is the embedded rate time minus the start time.
 In case of the \cleaninline{rpeat} task, the default refresh rate is $\rewriterate{0}{0}$ so the task immediately refreshes and starts the task again.
-\todo{netter opschrijven}
 
 \subsubsection{Delay combinators}
 Upon installation, a \cleaninline{delay} task is stored as a \cleaninline{waitUntil} task tree containing the time of installation added to the specified time to wait.