Detail práce

Statistical Model Checking of Approximate Computing Systems

Bakalářská práce Student: Pérez Sergio H. Akademický rok: 2018/2019 Vedoucí: Strnadel Josef, Ing., Ph.D.
Název česky
Statistical Model Checking of Approximate Computing Systems
Jazyk práce
anglický
Abstrakt
Klíčová slova
Ústav
Studijní program
Krátkodobé hostující studium bakalářské, obor Informační technologie
Soubory
Stav
obhájeno, hodnocení C
Obhajoba
12. června 2019
Oponent
Citace
PÉREZ, Sergio. Statistical Model Checking of Approximate Computing Systems. Brno, 2019. Bakalářská práce. Vysoké učení technické v Brně, Fakulta informačních technologií. 2019-06-12. Vedoucí práce Strnadel Josef. Dostupné z: https://www.fit.vut.cz/study/thesis/21362/
BibTeX
@bachelorsthesis{FITBT21362,
    author = "H. Sergio P\'{e}rez",
    type = "Bakal\'{a}\v{r}sk\'{a} pr\'{a}ce",
    title = "Statistical Model Checking of Approximate Computing Systems",
    school = "Vysok\'{e} u\v{c}en\'{i} technick\'{e} v Brn\v{e}, Fakulta informa\v{c}n\'{i}ch technologi\'{i}",
    year = 2019,
    location = "Brno, CZ",
    language = "english",
    url = "https://www.fit.vut.cz/study/thesis/21362/"
}
Nahoru