RT info:eu-repo/semantics/bachelorThesis
T1 Statistical model checking in approximate computing systems
A1 Pérez Hernández, Sergio
A2 Universidad de Valladolid. Facultad de Ciencias
K1 Approximate computing
K1 Statistical model checking
K1 UPPAAL
K1 R
AB This thesis is focused in testing approximate computing systems, checking, among other things, its hit rate and if they are useful. For these tests, UP- PAAL SMC, a statistical model checking tool, will be used.
YR 2020
FD 2020
LK http://uvadoc.uva.es/handle/10324/43832
UL http://uvadoc.uva.es/handle/10324/43832
LA eng
DS UVaDOC
RD 04-dic-2024