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

předmět má 6 mateřských oborů, zobrazit

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.

Metody hodnocení

Povinně volitelný předmět, ohodnocený 3 kredity, předmět lze opakovaně zapisovat.

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