IV115 Seminář laboratoře paralelních a distribuovaných systémů

Fakulta informatiky
jaro 2009
Rozsah
0/2. 2 kr. (plus ukončení). Doporučované ukončení: k. Jiná možná ukončení: z.
Vyučující
prof. RNDr. Jiří Barnat, Ph.D. (přednášející)
Garance
prof. RNDr. Luboš Brim, CSc.
Katedra teorie programování – Fakulta informatiky
Rozvrh
Po 10:00–11:50 B410
Předpoklady
SOUHLAS
Schopnost samostatného studia odborných publikací souvisejících s verifikací a modelováním complexních systémů.
Omezení zápisu do předmětu
Předmět je nabízen i studentům mimo mateřské obory.
Předmět si smí zapsat nejvýše 25 stud.
Momentální stav registrace a zápisu: zapsáno: 0/25, pouze zareg.: 0/25, pouze zareg. s předností (mateřské obory): 0/25
Mateřské obory/plány
předmět má 39 mateřských oborů, zobrazit
Cíle předmětu
V semináři jsou probírány klasické i soudobé publikace z aktuálních oblastí výzkumu v automatizované paralelní verifikaci a modelování complexních systémů.
Osnova
  • Témata k diskuzi a články ke studiu a prezentaci jsou vymezeny během prvních dvou týdnů výuky daného semestru.
Literatura
  • GRUMBERG, Orna, Doron A. PELED a E. M. CLARKE. Model checking. Cambridge: MIT Press, 1999, xiv, 314. ISBN 0262032708. info
Metody hodnocení
Seminární výuka založená výhradně na prezentacích připravených studenty. Na začátku semestru představí učitelé několik hlavních témat současného výzkumu a zadají úvodní články. Studenti připravují a přednášejí prezentace. Postupně se přibližují k nejnovějších poznatkům s cílem poznat současný stav výzkumu a odhadnout bílá místa a důležité dosud nevyřešené problémy. Studenti mají velký prostor ovlivnit obsah semináře volbou témat a článků. Pro úspěšné ukončení předmětu musí každý student aktivně vystoupit, nebo absolvovat závěrečný test.
Informace učitele
http://www.fi.muni.cz/paradise/seminar.html
Další komentáře
Předmět je vyučován každý semestr.
Předmět je zařazen také v obdobích podzim 2007, jaro 2008, podzim 2008, podzim 2009, jaro 2010, podzim 2010, jaro 2011, podzim 2011, jaro 2012, podzim 2012, jaro 2013, podzim 2013, jaro 2014, podzim 2014, jaro 2015, podzim 2015, jaro 2016, podzim 2016, jaro 2017, podzim 2017, jaro 2018, podzim 2018, jaro 2019, podzim 2019, jaro 2020, podzim 2020, jaro 2021, podzim 2021, podzim 2022, jaro 2023, podzim 2023, jaro 2024, podzim 2024, jaro 2025.