X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=glossaries.tex;h=fc8ffe77e866c9b9199109ce326d21d9ab98a949;hb=48685f7c608c566a9b6935e02e39196dea783b4c;hp=e3d3562567f81eeefe0cf45a9d1c2998116ae6ad;hpb=fee9c0b9355b18bc2d07db1fd83407003d4000e2;p=phd-thesis.git

diff --git a/glossaries.tex b/glossaries.tex
index e3d3562..fc8ffe7 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}}
@@ -37,6 +39,7 @@
 \myacronym[category=noexpand]{OS}{OS}{operating system}
 \myacronym{OTA}{OTA}{over-the-air}
 \myacronym{PIR}{PIR}{passive infrared}
+\myacronym{PFRP}{P-FRP}{priority-based \glsxtrlong{FRP}}
 \myacronym{PRS}{PRS}{\gls{PYTHON} Raspberry Pi system}
 \myacronym{PWS}{PWS}{\gls{MICROPYTHON} \gls{WEMOS} system}
 \myacronym{PRTS}{PRTS}{\gls{PYTHON} Raspberry Pi temperature sensor}