DPOSO Pokroky v souběžnosti

Fakulta informatiky
podzim 2020
Rozsah
3/0/2. 5 kr. Ukončení: z.
Vyučující
prof. RNDr. Luboš Brim, CSc. (přednášející)
prof. RNDr. Ivana Černá, CSc. (přednášející)
prof. RNDr. Mojmír Křetínský, CSc. (přednášející)
prof. RNDr. Antonín Kučera, Ph.D. (přednášející)
prof. RNDr. Jiří Barnat, Ph.D. (přednášející)
prof. RNDr. Jan Strejček, Ph.D. (přednášející)
Garance
prof. RNDr. Petr Hliněný, Ph.D.
Fakulta informatiky
Dodavatelské pracoviště: Fakulta informatiky
Předpoklady
!NOWANY(DEMBSY Research project in embedded system design, DFOME Formální metody v teorii i praxi, DMKZI Metody kvantového zpracování informace, DPGZO Metody počítačové grafiky a zpracování obrazu, DMPOS Metody počítačových sítí, DMZDD Metody zpracování digitálních dat, DPITS Podnikové IT systémy a služby, DZPJUI Pokročilé metody zpracování přirozeného jazyka a umělé inteligence, DRPSEC Research project in computer security) && SOUHLAS
Omezení zápisu do předmětu
Předmět je určen pouze studentům mateřských oborů.
Mateřské obory/plány
předmět má 8 mateřských oborů, zobrazit
Anotace
Předmět pokrývá současné směry výzkumu v oblasti souběžných, paralelních a distribuovaných systémů. Cílem je referovat o nejnovějších výsledcích v oblasti, diskutovat o možných směrech výzkumu a rovněž poskytnout studentům prostor pro prezentaci vlastních výsledků.
Obsahem předmětu jsou algoritmy a nástroje pro praktickou verifikaci počítačových systémů, verifikace systémů založených na komponentách, redukce stavových prostorů, verifikace nekonečně-stavových systémů, paralelní verifikace konečně-stavových systémů, analýza nefunkčních požadavků, I/O efektivní algoritmy pro verifikaci.
Klíčová témata
Obsahem předmětu jsou algoritmy a nástroje pro praktickou verifikaci počítačových systémů, verifikace systémů založených na komponentách, redukce stavových prostorů, verifikace nekonečně-stavových systémů, paralelní verifikace konečně-stavových systémů, analýza nefunkčních požadavků, I/O efektivní algoritmy pro verifikaci. V optimálním případě se očekává referování vlastních výsledků.
Studijní zdroje a literatura
  • proceedings of relevant conferences
Přístupy, postupy a metody používané ve výuce
individuální a týmové projekty
Způsob ověření výstupů z učení a požadavky na ukončení
semináře, aktivní účast.
Předmět je zařazen také v obdobích podzim 2007, jaro 2008, podzim 2008, jaro 2009, 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.
  • Statistika zápisu (nejnovější)
  • Permalink: https://is.muni.cz/predmet/fi/podzim2020/DPOSO