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/"
}
Back to top