Statistical model checking in approximate computing systems

Título

dc.contributor.advisor	García Escudero, Luis Ángel	es
dc.contributor.author	Pérez Hernández, Sergio
dc.contributor.editor	Universidad de Valladolid. Facultad de Ciencias	es
dc.date.accessioned	2020-12-03T10:09:43Z
dc.date.available	2020-12-03T10:09:43Z
dc.date.issued	2020
dc.identifier.uri	http://uvadoc.uva.es/handle/10324/43832
dc.description.abstract	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.	es
dc.description.abstract	Este trabajo se centra en la prueba de sistemas computacionales aproximados, comprobando, entre otras cosas, su tasa de acierto y si son útiles. Para estas pruebas se utilizará UPPAAL SMC, una herramienta de comprobación de modelos estadísticos.	es
dc.format.mimetype	application/pdf	es
dc.language.iso	eng	es
dc.rights.accessRights	info:eu-repo/semantics/openAccess	es
dc.rights.uri	http://creativecommons.org/licenses/by-nc-nd/4.0/	*
dc.subject.classification	Approximate computing	es
dc.subject.classification	Statistical model checking	es
dc.subject.classification	UPPAAL	es
dc.subject.classification	R	es
dc.title	Statistical model checking in approximate computing systems	es
dc.type	info:eu-repo/semantics/bachelorThesis	es
dc.description.degree	Grado en Estadística	es
dc.rights	Attribution-NonCommercial-NoDerivatives 4.0 Internacional	*