X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=glossaries.tex;h=972d46cc8e881bd1a95505cb3dffc68b257f1eab;hb=40c364b9de5d27b8afedcfd83d76499acc9e31af;hp=ccc274e9f0b30dd7d10fe299238e4fae77829459;hpb=3369704052f2381076b72efb24d57a943172e729;p=phd-thesis.git

diff --git a/glossaries.tex b/glossaries.tex
index ccc274e..972d46c 100644
--- a/glossaries.tex
+++ b/glossaries.tex
@@ -15,10 +15,12 @@
 \myacronym{CWTS}{CWTS}{\gls{CLEAN} \gls{WEMOS} temperature sensor}
 \myacronym{DHT}{DHT}{digital humidity and temperature}
 \myacronym{DSL}{DSL}{domain-specific language}
+\myacronym{DVFS}{DVFS}{dynamic voltage and frequency scaling}
 \myacronym{ECO2}{eCO\textsubscript{2}}{equivalent carbon dioxide}
 \myacronym{EDSL}{eDSL}{embedded \glsxtrlong{DSL}}
 \myacronym[prefixfirst={a\ },prefix={an\ }]{FP}{FP}{functional programming}
 \myacronym[prefixfirst={a\ },prefix={an\ }]{FRP}{FRP}{functional reactive programming}
+\myacronym[prefixfirst={a\ },prefix={an\ }]{FPGA}{FPGA}{field-programmable gate array}
 \myacronym{GADT}{GADT}{generalised \glsxtrshort{ADT}}
 \myacronym{GHC}{GHC}{Glasgow \gls{HASKELL} Compiler}
 \myacronym{GPIO}{GPIO}{general-purpose \glsxtrlong{IO}}
@@ -53,13 +55,13 @@
 \myacronym[category=noexpand]{TCP}{TCP}{transmission control protocol}
 \myacronym{TOP}{TOP}{task-oriented programming}
 \myacronym{TOSD}{TOSD}{task-oriented software development}
-\myacronym{LSOC}{LSOC}{layered separation of concerns}
 \myacronym{TRS}{TRS}{term rewriting system}
 \myacronym{TTH}{TTH}{typed \glsxtrlong{TH}}
 \myacronym{TVOC}{TVOC}{total volatile organic compounds}
 \myacronym{UI}{UI}{user interface}
 \myacronym{UOD}{UoD}{universe of discourse}
 \myacronym{UOG}{UoG}{University of Glasgow}
+\myacronym{VM}{VM}{virtual machine}
 
 % Glossaries
 \newglossaryentry{ABC}{%