Now showing items 1-3 of 3

  • 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 ...
  • 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, ...