• Implementace vyhodnocovače lambda výrazu 

      Autor: Jan Sliacký; Vedoucí práce: Máj Petr; Oponent práce: Scholtzová Jiřina
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-06-15)
      l-kalkul je stěžejní koncept počítačových věd. Jako takový je učen na většině univerzit vyučujících informatiku a počítačové vědy včetně FIT ČVUT. Pro mnoho studentů může být studium l-kalkulu a pochopení jeho významu a ...
    • Interpreter podmnožiny Prologu pomocí Warren Abstract Machine 

      Autor: Jiří Skotal; Vedoucí práce: Verter Jan Liam; Oponent práce: Pecka Tomáš
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2024-06-21)
      Tato práce se zabývá implementací interpreteru pro podmnožinu jazyka Prolog pomocí Warren Abstract Machine. Podrobně popisuje teoretický model Warren Abstract Machine, její vnitřní fungování a nabízí detailní příklady jako ...
    • Out of process byte-code kompilátor pro programovací jazyk R 

      Autor: Adam Plodek; Vedoucí práce: Křikava Filip; Oponent práce: Krynski Sebastián
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2024-06-06)
      R je dynamický programovaní jazyk, který je převážně používaný ve statistice a pro vizualizaci dat. Jeho netypické vlastnosti a bohatý ekosystém balíčků umožňuje statistikům psát software bez pokročilých programátorských ...
    • Profiler pro programovací jazyk R 

      Autor: Karolina Hrnčiříková; Vedoucí práce: Křikava Filip; Oponent práce: Petříček Tomáš
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2024-06-06)
      Jazyk R vyniká v průzkumu a analýze dat, ale často čelí výzvám v oblasti efektivity. R je dynamicky typováno, má automatický sběr paměti a co je nejdůležitější, jedna z jeho hlavních implementací, GNU R, interpretuje AST ...
    • Vylepšení LearnShell backendu pro zadávání příkladů a zkoušek 

      Autor: Ondřej Cihlář; Vedoucí práce: Žitný Jakub; Oponent práce: Černý Viktor
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2021-06-10)
      Tato práce se zabývá analýzou backendu systému LearnShell, návrhem vylepšení a jejich následnou implementací. Hlavní navržené vylepšení je systém bodových bonusů a penalizací, který byl implementován formou doménově ...