Prohlížení Diplomové práce - 13136 dle autora "Demlová Marie"
-
Dotazovací engine grafové databáze využívající stromové dekompozice
Autor: Horák Karel; Vedoucí práce: Černoch Radomír; Oponent práce: Demlová Marie
Grafové databáze se těší vzrůstající oblibě a nezřídka se stávají alternativou k datovým úložištím založeným na relační technologii. Zaměříme se na rozbor teoretických problémů řešených grafovými databázemi a navrhneme ... -
Konstrukce experimentu potvrzující ekvivalenci konečně-stavových automatů
Autor: Soucha Michal; Vedoucí práce: Mařík Radek; Oponent práce: Demlová Marie
Tento dokument obsahuje přehled testovacích metod konečně-stavových automatů. Testovací metoda kontroluje zda se nějaký automat shoduje s daným automatem. Nová metoda je představena a následně experimentálně prokázána, že ...