Softwarové systémy 10.2.2020

Vše o státnicích úspěšně završujících roky studia na naší alma mater.

Softwarové systémy 10.2.2020

Příspěvekod andy » 12. 2. 2020 19:49

Zaklady zlozitosti a vycislitelnosti [Hladik] - Pseudopolynomialne algoritmy a silna NP-uplnost
* definicie a pseudopolynomialny algoritmus pre batoh
* priklady silno a slabo NP-uplnych problemov

Datove struktury [Kucera] - Haldy (zamerat sa na binomialne)
* definicie, operacie,
* amortizovana zlozitost

Systemove aspekty pocitacov [Yaghob] - Real-time planovanie
* definicie, prehlad algoritmov pre aperiodicke/periodicke tasky
* doplnujuce otazky k rozdeleniu RT systemov (hard-RT, firm-RT, soft-RT...)

Paralelne a distribuovane systemy [Zavoral] - Konsenzus v distribuovanych systemoch
* co to je, priklady problemov (o 2 armadach, o byzantskych generaloch)
* jeden protokol popisat detailnejsie (popisoval som PAXOS)

Formalne metody [Parizek] - Abstrakcie, CEGAR
* co to je, co to riesi, priklady abstrakcii
* popisat CEGAR loop (initial abstraction, model checking, counter-example analysis, abstraction refinement)
andy
Matfyz(ák|ačka) level I
 
Příspěvky: 1
Registrován: 12. 2. 2020 19:04
Typ studia: Informatika Mgr.
Login do SIS: cizmaria

Zpět na Magisterské SZZ

Kdo je online

Uživatelé procházející toto fórum: Žádní registrovaní uživatelé a 1 návštěvník