Tato bakalářská práce se zabývá metodikou psaní verifikovaných programů pomocí nástroje VCC. Zmíněná metodika je založena na principu doplnění kódu programu o anotace, jež poskytují specifikaci požadované funkcionality. ...

Tato práce se zabývá detekcí identity uživatelů v rámci počítačových sítí na různých vrstvách architektury TCP/IP. Tyto identity jsou zjišťovány z protokolů běžících na příslušných vrstvách dané architektury. Z hlediska ...

Přimárním cílem této práce je počítačem generovaná holografie, konkrétněji urychlení počítaní syntetických hologramů prostředkami dnešních masivně paraleních grafických čipů. Práce začíná vysvělením základních holografických ...

Tato práce se zabývá aminokyselinovými mutacemi a jejich vlivem na sekundární strukturu proteinů. Hlavním cílem je dokázat hypotézu, že ačkoliv během evoluce dochází poměrně často ke změnám v primární struktuře bílkovin, ...

Cílem této práce je vytvoření webového vývojářského nástroje pro systém Caché. Tento nástroj bude umožňovat vytváření a editaci tříd, rutin a metod. Při tvorbě bylo dbáno na to, aby výsledná aplikace využívala nastavení ...

Tato bakalářská práce popisuje grafický návrh, použité technologie a implementaci systému na automatické generování písemných zkoušek. Jako implementační jazyk byl použit jazyk Java. Práce se zabývá použitím knihovny Swing ...

Tato práce se zabývá procedurálním generováním měst. Jsou v~ní definovány jednotlivé etapy vývoje města a existující metody sloužící k~jejich provedení. Dále jsou popsány postupy vycházející z~uvedených a použité při ...

V této práci je implementována stolní hra dáma. Aplikace umožňuje hrát podle různých pravidel dámy. Podporuje různé způsoby vyhledávání možných tahů hráče. Jedním ze způsobů je paralelní výpočet.

Obsahem práce je návrh formátu pro zápis parametrů a požadavků jednotlivých úloh určených pro systém Beaker a návrh a implementace programu, který na základě vyloučení možných kolizních požadavků sloučí úlohy definované ...

Tato bakalářská práce se zabývá návrhem a implementací simulátoru lesního požáru založeného na celulárních automatech. Text práce je rozdělen na teoretickou a praktickou část. V teoretické části bude nejdříve čtenář obeznámen ...