Now showing items 1-5 of 5

  • Cluster vizualizace dat pro InfiSpector 

    Hais, Vratislav
    Tato 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 ...
  • Knihovna pro konečné automaty a převodníky 

    Bieliková, Michaela
    Konečné automaty majú široké uplatnenie v informatike, okrem iných vo formálnej verifikácii, modelovaní systémov a spracovaní prirodzeného jazyka. Avšak modely skutočne reprezentujúce realitu bývajú veľmi komplikované a ...
  • Nástroj pro statickou analýzu programů se seznamy 

    Kotoun, Michal
    Tvorba softwarového analyzátoru je komplexní úloha -- je nutno implementovat parsování zdrojového kódu, reprezentaci instrukcí, abstrakci hodnot, uživatelské rozhraní, ... a také analýzu samu. Abychom předešli zbytečné ...
  • Simulace pro symbolické automaty 

    Síč, Juraj
    Symbolické automaty sú podobné klasickým automatom s jedným veľkým rozdielom: prechody sú značené predikátmi definovanými v oddelenej teórii. Toto umožňuje použiť veľké abecedy s pouźitím oveľa menšieho miesta. V tejto ...
  • Vzdálené nasazení InfiSpectoru 

    Číž, Marek
    InfiSpector je aplikace, která graficky zobrazuje komunikaci mezi uzly Infinispan serverů. Chceme oddělit infrastrukturu InfiSpectoru od aplikace jako takové. Důsledkem oddělení infrastury InfiSpectoru od samotné aplikace ...