Thesis Details
Statistical Model Checking of Approximate Computing Systems
Bachelor's Thesis
Student: Pérez Sergio H.
Academic Year: 2018/2019
Supervisor: Strnadel Josef, Ing., Ph.D.
Czech title
Statistical Model Checking of Approximate Computing Systems
Language
English
Abstract
This thesis will be focused on the design, implementation and analysis of approximate computing system. This kind of systems allows some errors but improving performance and other aspects of it. UPPAAL SMC, a statistical model checking tool, will be used to implement and test the models.
Keywords
Approximate computing, statistical model checking, reliability, error rate, UPPAAL.
Department
Degree Programme
Shortterm study BSc., Field of Study
Information Technology
Files
Status
defended, grade C
Date
12 June 2019
Reviewer
Citation
PÉREZ, Sergio. Statistical Model Checking of Approximate Computing Systems. Brno, 2019. Bachelor's Thesis. Brno University of Technology, Faculty of Information Technology. 2019-06-12. Supervised by Strnadel Josef. Available from: https://www.fit.vut.cz/study/thesis/21362/
BibTeX
@bachelorsthesis{FITBT21362, author = "H. Sergio P\'{e}rez", type = "Bachelor's thesis", title = "Statistical Model Checking of Approximate Computing Systems", school = "Brno University of Technology, Faculty of Information Technology", year = 2019, location = "Brno, CZ", language = "english", url = "https://www.fit.vut.cz/study/thesis/21362/" }