• Databáze konferencí a publikací III 

      Autor: Peter Hajtol; Vedoucí práce: Fišer Petr; Oponent práce: Schmidt Jan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-06-14)
      Tato praca analyzuje existujucu webovu aplikaciu pre spravu publikacii a konferencii, vyvinutu a vyuzivanu na Fakulte informacnich technologii CVUT v Praze. V praktickej casti bola aplikacia dalej vyvijana, upravene boli ...
    • Komprese testu pro RAS architekturu založená na řešení SAT problému 

      Autor: Karel Pajskr; Vedoucí práce: Fišer Petr; Oponent práce: Hülle Robert
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2020-06-19)
      Bakalářská práce se zabývá problematikou vytváření komprimovaného testu pro číslicové obvody s RAS architekturou. Práce se sestává z teoretického úvodu do problematiky, popisu a analýzy řešiče Minisat+, jeho integrace ve ...
    • Nová verze databáze konferencí 

      Autor: Zdrubecký Vít; Vedoucí práce: Fišer Petr; Oponent práce: Šimeček Ivan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2013-06-28)
    • Randomizace algoritmů v systému ABC 

      Autor: Lerl Jakub; Vedoucí práce: Fišer Petr; Oponent práce: Schmidt Jan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2015-06-08)
      Logická syntéza je důležitým prvkem v oboru Číslicových obvodů. Nástroj ABC pro logickou syntézu využívá plně deterministických algoritmů. Během procesu není prováděn žádný náhodný výběr. Algoritmy při stejném vstupu tedy ...
    • Webová databáze konferencí 

      Autor: Svoboda Petr; Vedoucí práce: Fišer Petr; Oponent práce: Schmidt Jan
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2015-06-08)
      Cílem práce byla tvorba webové databáze konferencí podle vzoru již existující databáze konferencí vyvinuté v rámci závěrečných prací na FIT a FEL, ČVUT. Byl proveden sběr požadavků a návrh doménového modelu. Součástí práce ...