FI:DPOSO Pokroky v souběžnosti - Informace o předmětu

DPOSO Pokroky v souběžnosti

Rozsah

3/0. 3 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í)
Ing. Dana Komárková (přednášející)

Garance

prof. RNDr. Antonín Kučera, Ph.D.
Fakulta informatiky

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

• Informatika (angl.) (program FI, D-IN)
• Informatika (angl.) (program FI, D-IN4) (2)
• Informatika (program FI, D-IN)
• Informatika (program FI, D-IN4) (2)
• Počítačové systémy a technologie (angl.) (program FI, D-IN4) (2)
• Počítačové systémy a technologie (program FI, D-IN4) (2)

Cíle předmětu

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.

Osnova

• 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ů.

Literatura

• proceedings of relevant conferences

Výukové metody

individuální a tímové projekty

Metody hodnocení

semináře, aktivní účast.

• Statistika zápisu (jaro 2010, nejnovější)
  
• Permalink: https://is.muni.cz/predmet/fi/jaro2010/DPOSO