Browsing by Author "Lengál, Ondřej"
Now showing items 1-20 of 41
-
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 ... -
Automatická identifikace šablony generující spam kampaně
Kovařík, DavidSpam se typicky nevyskytuje ve formě samostatných zpráv, ale často bývá sdružován do takzvaných kampaní. Ty bývají automaticky generovány pomocí šablon. Díky tomu jsou jednotlivé zprávy sémanticky, ale ne syntakticky, ... -
Automatický theorem prover
Mazánek, MartinTato bakalářská práce se zabývá implementací systému pro automatické dokazování vět výrokové a predikátové logiky používajícím rezoluci. Cílem této práce je vytvořit jednoduchý systém a zdokumentovat jeho vývoj, nikoliv ... -
Automaty v nekonečně stavové formální verifikaci
Lengál, OndřejTato práce se zaměřuje na konečné automaty nad konečnými slovy a konečnými stromy, a použití těchto automatů při formální verifikaci nekonečně stavových systémů. Práce se nejdříve věnuje rozšíření existujícího přístupu pro ... -
BDD knihovna
Troška, KarolBiná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 ... -
Cluster vizualizace dat pro InfiSpector
Hais, VratislavTato bakalářská práce je zaměřena na rozšíření projektu InfiSpector a to o přidání nového grafu, který bude sloužit pro výběr časového intervalu a o úpravu open-source grafů pro sledování provozu mezi servery, které jsme ... -
Computer-Aided Synthesis of Probabilistic Models
Andriushchenko, RomanPředkládaná práce se zabývá problémem automatizované syntézy pravděpodobnostních systémů: máme-li rodinu Markovských řetězců, jak lze efektivně identifikovat ten který odpovídá zadané specifikaci? Takové rodiny často ... -
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 ... -
A Decision Procedure for the WSkS Logic
Fiedor, TomášRůzné typy logik se často používají jako prostředky pro formální specifikaci systémů. Slabá monadická logika druhého řádu s k následníky (WSkS) je jednou z nich a byť má poměrně velkou vyjadřovací sílu, stále je rozhodnutelná. ... -
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í ... -
Efektivní algoritmy pro práci s konečnými automaty
Hruška, MartinNedeterministické konečné automaty jsou používány v mnoha oblastech informatiky, mimo jiné také ve formální verifikaci, při návrhu číslicových obvodů nebo pro reprezentaci regulárlních jazyků. Jejich výhodou oproti ... -
Efektivní algoritmy pro stromové automaty
Valeš, OndřejCílem této práce je navržení efektivních algoritmů pro testování jazykové ekvivalence a inkluze stromových automatů a dále pak implementace těchto algoritmů jako rozšíření knihovny VATA. Nejprve je provedena rešerše ... -
Efektivní funkcionální knihovna pro konečné automaty
Říha, JakubKonečné automaty jsou důležitou matematickou abstrakcí. Ve formální verifikaci se konečné automaty používají ke stručné reprezentaci regulárních jazyků. V této souvislosti se používají operace nad konečnými automaty, jako ... -
Efektivní knihovna pro práci s konečnými stromovými automaty
Lengál, OndřejMnoho současných počítačových systémů používá dynamické datové či řídicí struktury předem neomezené velikosti. Tyto datové struktury mají často charakter stromů nebo se dají zakódovat jako stromy s některými dodatečnými ... -
Funkční verifikace výpočetních jednotek procesoru
Valach, LukášPráce se zaobírá začleněním procesu funkční verifikace do vývojového cyklu návrhu funkčních jednotek v prostředí pro souběžný návrh hardwaru a softwaru systému Codasip. Cílem bylo navrhnout a implementovat verifikační ... -
Generování procesních elementů pro FPGA
Lengál, OndřejNěkteré aplikace zpracovávající informace, jako je například monitorování počítačových sítí, vyžadují nepřetržité zpracovávání dat přicházejících vysokou rychlostí. S tím, jak tato rychlost vývojem stále stoupá, je žádoucí, ... -
Infrastruktura pro testování a nasazování v oblasti kontejnerů
Ormandy, AdamZnížená efektivita spôsobená robením repetitívnych a manuálnych prác je častým problémom v IT. Vývojári často testujú a nasadzujú svoj software manuálne, čo je nielen náročné na čas, nezáživné a náchylné k chybám. Táto ... -
Inkrementální induktivní pokrytelnost pro alternující konečné automaty
Vargovčík, PavolV 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
Paulovčák, MartinCieľ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 - ...