• Ahead-of-time kompilátor pro jazyk microC 

      Autor: Václav Král; Vedoucí práce: Křikava Filip; Oponent práce: Kašpar Jiří
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2022-06-02)
      Cílem této práce je implementace ahead-of-time optimalizujícího kompilátoru microC---jazyku, který se používá v předmětu NI-APR (Vybrané metody analýzy programů) na FIT ČVUT pro výuku analýz programů. Tento kompilátor má ...
    • Comma-shell, interaktivní debugger shellu 

      Autor: Nesrovnal Tomáš; Vedoucí práce: Baier Jan; Oponent práce: Kašpar Jiří
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2017-05-09)
      Comma-shell je nástroj pro lepší práci v interaktivním shellu, určený přede- vším pro uživatele seznamující se s prosředím v shellu. První částí je debugger, který umí spouštět a analyzovat příkazy po částech. Druhou částí ...
    • Efficient concurrent memoization system 

      Autor: Viacheslav Kroilov; Vedoucí práce: Langr Daniel; Oponent práce: Kašpar Jiří
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2020-06-11)
      Automaticky memoizační systém - také softwarová cache - ukládá omezený počet prvků v paměti, které byly nedávno zpřístupněny a zrychluje tak následný přístup k nim. Least-Recently-Used (LRU) je populární strategie nahrazování ...
    • Paralelní řešič lineárních nerovnic 

      Autor: Fritsch Richard; Vedoucí práce: Šimeček Ivan; Oponent práce: Kašpar Jiří
      (České vysoké učení technické v Praze. Vypočetní a informační centrum., 2014-06-27)
    • Power manager pro jakýkoliv linuxový desktop 

      Autor: Róbert Selvek; Vedoucí práce: Křikava Filip; Oponent práce: Kašpar Jiří
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2022-06-02)
      Správce napájení je služba, která reaguje na aktivitu uživatele a spouští různé akce pro úsporu energie. Například ztlumí jas obrazovky, uzamkne uživatelskou relaci nebo převede systém do režimu spánku. Většina stávajících ...
    • Výkonnostní analýza programu LSU3shell 

      Autor: Kočička Martin; Vedoucí práce: Langr Daniel; Oponent práce: Kašpar Jiří
      (České vysoké učení technické v Praze. Vypočetní a informační centrum.Czech Technical University in Prague. Computing and Information Centre., 2019-01-31)
      Ab initio přístup ke zkoumání struktury atomových jader je na popředí součas- ného vývoje nukleární fyziky. LSU3shell je implementací ab initio metody zvané symmetry-adapted no-core shell model (SA-NCSM) pro vysoce paralelní ...