IV115 - Seminář laboratoře paralelních a distribuovaných systémů
Způsob výuky
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 úspěšně absolvovat
závěrečný test.
Více informací o předmětu:
IV115 - Katalog předmětů v IS
Program semináře
Program semináře je k nalezení na
stránkách
laboratoře ParaDiSe.
Předchozí semestry
-
Podzimní semestr, 2012
- Výzkumné aktivity v rámci laboratoře ParaDiSe a úvod do technologie LLVM
-
Jarní semestr, 2012
- Kombinace explicitních a symbolických metod v model checkingu
-
Podzimní semestr, 2011
- Výzkumné aktivity v rámci laboratoře ParaDiSe a vybrané příspěvky z mezinárodních konferencí
-
Jarní semestr, 2011
- Přehled aktuálních směrů vývoje v oblasti formální verifikace
-
Podzimní semestr, 2010
- Výzkumné aktivity v rámci laboratoře ParaDiSe
-
Jarní semestr, 2010
- Saturace v symbolickém MC, MATLAB, Návrh systémů pomocí komponent
-
Podzimní semestr, 2009
- Výzkumné aktivity v rámci laboratoře ParaDiSe, Interpretace a
zpracování protipříkladů
-
Jarní semestr, 2009
- Hybridní systémy, modelování a verifikace
-
Podzimní semestr, 2008
- Výzkumné aktivity v rámci laboratoře ParaDiSe, Výpočty s pomocí
externí paměti
-
Jarní semestr, 2008
- Verifikace systémů pro řízení letecké dopravy
-
Podzimní semestr, 2007
- Úvod do Systems Biology