green

[phd-thesis.git] / glossaries.tex

diff --git a/glossaries.tex b/glossaries.tex
index ccc274e..c7cef75 100644 (file)
--- a/glossaries.tex
+++ b/glossaries.tex
@@ -8,17 +8,19 @@
 \myacronym{ADT}{ADT}{algebraic data type}
 \myacronym{API}{API}{application programming interface}
 \myacronym{ARDSL}{ARDSL}{\gls{ARDUINO} \glsxtrshort{DSL}}
-\myacronym[category=noexpand]{CEFP}{CEFP}{Central European Summer School of \glsxtrlong{FP}}
+\myacronym[category=noexpand]{CEFP}{CEFP}{Central European \glsxtrlong{FP} School}
 \myacronym{CRS}{CRS}{\gls{CLEAN} Raspberry Pi system}
 \myacronym{CRTS}{CRTS}{\gls{CLEAN} Raspberry Pi temperature sensor}
 \myacronym{CWS}{CWS}{\gls{CLEAN} \gls{WEMOS} system}
 \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}}
@@ -32,11 +34,12 @@
 \myacronym{IR}{IR}{intermediate representation}
 \myacronym{ISR}{ISR}{interrupt service routine}
 \myacronym{LEAN}{LEAN}{language of East-Anglia and Nijmegen}
-\myacronym[prefixfirst={a\ },prefix={an\ }]{LED}{LED}{light-emitting diode}
-\myacronym{OLED}{OLED}{organic \glsxtrlong{LED}}
+\myacronym[category=noexpand,prefixfirst={a\ },prefix={an\ }]{LED}{LED}{light-emitting diode}
+\myacronym[category=noexpand]{OLED}{OLED}{organic \glsxtrshort{LED}}
 \myacronym[category=noexpand]{OS}{OS}{operating system}
 \myacronym{OTA}{OTA}{over-the-air}
 \myacronym{PIR}{PIR}{passive infrared}
+\myacronym{PFRP}{P-FRP}{priority-based \glsxtrshort{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}
@@ -53,13 +56,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}{%
@@ -68,7 +71,7 @@
 }
 \newglossaryentry{MTASK}{%
        name=mTask,
-       description={- a \glsxtrshort{TOP} \glsxtrshort{EDSL} for microcontrollers integrated with the \gls{ITASK} system},
+       description={- a \glsxtrshort{TOP} \glsxtrshort{EDSL} for edge devices integrated with the \gls{ITASK} system},
 }
 \newglossaryentry{ITASK}{%
        name=iTask,
@@ -110,6 +113,10 @@
        name=I\textsuperscript{2}C,
        description={(Inter-Integrated Circuit) {-} a simple serial communication protocol often used to connect sensors to microcontrollers}
 }
+\newglossaryentry{WIFI}{
+       name=Wi-Fi,
+       description={- is a family of wireless network protocols commonly used for local area networking}
+}
 \newglossaryentry{SPI}{
        name=SPI,
        description={(Serial Peripheral Interface) {-} a synchronous serial communication protocol often used to connect sensors to microcontrollers}