Now showing items 1-20 of 33

  • Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection 

    Češka, Milan; Havlena, Vojtěch; Holík, Lukáš; Lengál, Ondřej; Vojnar, Tomáš (Springer Verlag, 2018-02-23)
    We consider the problem of approximate reduction of non-deterministic automata that appear in hardware-accelerated network intrusion detection systems (NIDSes). We define an error distance of a reduced automaton from the ...
  • BDD knihovna 

    Troška, Karol
    Binární rozhodovací diagram je datová struktura využívaná v mnoha oblastech informatiky. Tato práce popisuje BDD ako matematický formalizmus a navrhuje možnou reprezentaci BDD v počítači. Návrh je zaměřen především na ...
  • Context Awareness for Mobile Phones 

    Szánto, Ladislav
    Táto práce má dva cíle. Prvním je pojdenáváni o context awareness dnešných mobilních telefónu a o možnostech jak by mohla byt context awareness využita v rúzných odvetvích biznisu. Druhý cíl je více praktický a pozestáva ...
  • Datové struktury s paralelním přístupem 

    Opletal, Tomáš
    Paralelní programování přináší, kromě možnosti rozložit běh programu na více současně běžících procesů sdílejících data, také některé problémy. Je potřeba tyto paralelně běžící procesy synchronizovat a zařídit, že při ...
  • Efektivní algoritmy pro práci s Büchiho automaty 

    Laščák, Tomáš
    Cílem této práce je rozšířit existující knihovnu VATA o modul pro práci s Büchiho automaty, které se řadí mezi konečně stavové automaty nad nekonečnými slovy. Tyto automaty jsou využívány v různých oblastech informatiky, ...
  • Efektivní algoritmy pro práci s čítacími automaty 

    Mikšaník, David
    Čítací automaty (CA) jsou klasické konečné automaty rozšířené o omezené čítače. CA stále reprezentují třídu regulárních jazyků, ale kompaktněji než konečné automaty. Jelikož jsou CA nedávným modelem, chybějí zde efektivní ...
  • Generická syntéza invariantů v programu založená na šablonách 

    Marušák, Matej
    Cieľom tejto práce je návrh a implementácia generického strategy solveru pre nástroj 2LS. 2LS je analyzátor na statickú verifikáciu programov napísaných v jazyku C. Verifikovaný program je za využita abstraktnej interpretácie ...
  • Generování strukturovaných testovacích dat 

    Olšák, Ondřej
    Cílem této práce je vytvořit nástroj umožňující generovat soubory obsahující strukturovaná data za účelem testování na základě vstupních domén. Tato práce se soustředí na stromově strukturovaná data. Nástroj integruje již ...
  • IDE for SCADA Development at CERN 

    Mareček, Matěj
    Cílem této magisterské práce je navrhnout a implementovat IDE (integrované vývojové prostředí), které zvýší efektivitu a bezpečnost vývoje pro SIMATIC WinCC Open Architecture. Tato práce je založena na výzkumu provedeném ...
  • Inkrementální induktivní pokrytelnost pro alternující konečné automaty 

    Vargovčík, Pavol
    V tejto práci navrhujeme špecializáciu algoritmu inductive incremental  coverability, ktorá rieši problém prázdnosti alternujúcich konečných automatov. Experimentujeme s rôznymi návrhovými rozhodnutiami, analyzujeme ich a ...
  • Knihovna pro binární rozhodovací diagramy 

    Janků, Petr
    Efektivní manipulace Booleovských funkcí je důležitou součástí mnoha počítačových návrhů. Jako datová struktura pro reprezentaci a manipulaci s Booleovskými funkcemi se běžně používají binární rozhodovací diagramy. Tyto ...
  • Knihovna pro binární rozhodovací diagramy 

    Paulovčák, Martin
    Cieľom tejto práce je vytvoriť jednoducho použiteľnú knižnicu, ktorá bude poskytovať základné prostriedky pre manipuláciu booleovských funckií prostredníctvom šiestich rôznych variánt binárnych rozhodovacích diagramov - ...
  • Kongruence pro stromové automaty 

    Žufan, Petr
    Tento článek pojednává o testování ekvivalence stromových automatů (TA). Přináší nový algoritmus vycházející z algoritmu Bonchiho a Pouse pro slovní automaty. Tento nový algoritmus spojuje bisimulaci s determinizací za ...
  • Kooperativní plánování projektů v aplikaci Getting Things GNOME 

    Matušov, Izidor
    Tato práce pojednává o rozšíření pro aplikaci Getting Things GNOME, které ji umožní používat pro plánování a správu kooperativních projektů. Čtenář je seznámen se základními principy a vybranými metodami plánování a řízení ...
  • Optimalizace testování pomocí algoritmů prohledávání prostoru 

    Starigazda, Michal
    Testování vícevláknových programů je náročný proces kvůli velkému množství možných interakcí mezi vlákny, které je třeba otestovat. Technika vkládání šumu umožňuje zvýšit počet otestovaných proložení (interakcí) konkurenčních ...
  • Podnikatelský záměr 

    Holík, Lukáš
    Bakalářská práce je zaměřena na kontrolu finančního zdraví firmy Dusab, spol. s r.o. na základě vybraných metod finanční analýzy. Dále práce vyhodnocuje stávající ekonomickou a marketingovou situaci společnosti. Bakalářská ...
  • Podnikatelský záměr 

    Holík, Lukáš
    Cílem diplomové práce je vytvořit podnikatelský plán pro pana Davida Mokrého, majitele kavárny s názvem Blue Queen v Boskovicích, který v blízké době chce rozšířit svoji podnikatelskou činnost o další podnik - Black King. ...
  • Podnikatelský záměr 

    Holík, Lukáš
    Cílem diplomové práce je vytvořit podnikatelský plán pro pana Davida Mokrého, majitele kavárny s názvem Blue Queen v Boskovicích, který v blízké době chce rozšířit svoji podnikatelskou činnost o další podnik - Black King. ...
  • Pokrytelnosti pro paralelní programy 

    Turoňová, Lenka
    Tato diplomová práce se zabývá automatickou verifikací systémů s paralelně běžícími procesy. Práce diskutuje existující metody a možnosti jejich optimalizace. Stávající techniky jsou založeny na hledání induktivního ...
  • Praktická efektivita kontejnerů 

    Halámka, Jan
    Práce se zabývá teoretickým a praktickým porovnáním následujících kontejnerů: vector, deque, list, hash table, avl-tree, red black tree, splay tree, sg-tree, treap, B-tree, binomiální halda, fibonacciho halda, rope, skiplist ...