• Anotátor programů v jazyce C 

      Sušil, Petr (Univerzita Karlova, Matematicko-fyzikální fakulta, 2006)
      Date of defense: 26. 6. 2006
      The aim of this thesis is to create a program for browsing C source codes and facilitate searching in them. The program should cover basic search functions and provide a plugin for the Emacs editor. In contrast to other ...
    • Anotující disassembler 

      Hluzín, Petr (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
      Date of defense: 10. 9. 2007
      V této práci byl vyvinut dissambler pro monolitické mikroprocesory (mikrořadiče) Microchip PIC. Tento dissambler u typických programů staticky určí hodnotu za běhu nastavovaných logických registrů čímž z neúplné adresy v ...
    • Anotující disassembler pro AMD64 

      Láska, Ladislav (Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)
      Date of defense: 18. 6. 2012
      Cílem práce je vytvořit disassembler pro architekturu AMD64, který bude sloužit pro zjednodušení analýzy programů na úrovni strojového kódu. Práce popisuje formát instrukcí, binárních souborů a systémové konvence, které ...
    • Archiv mailových konferencí 

      Rohár, Pavol (Univerzita Karlova, Matematicko-fyzikální fakulta, 2014)
      Date of defense: 4. 9. 2014
      Tato práce se zabývá automatickým archivováním mailů z mailových konferen- cí. Správcem konference k tomu má poskytnout vhodný nástroj a jednotlivým účastníkům umožnit číst archivované maily pomocí webového prohlížeče. Za ...
    • Automatická kontrola programů v jazyce C 

      Doucha, Martin (Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)
      Date of defense: 14. 9. 2009
      V této práci studuji možnost zjišt'ovat běžné začátenické chyby v jazyce C pomocí statických analýz zdrojového kódu a generování run-time testů. Součástí práce je implementace několika jednoduchých statických analýz a ...
    • Cache-oblivious Algorithms 

      Vaner, Michal (Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)
      Date of defense: 14. 5. 2012
      V této práci se zabýváme výpočetním modelem cache-oblivious algoritmů, který je inspirovaný chováním paměťové hierarchie současných počítačů. V tomto modelu studujeme některé grafové algoritmy a techniky jejich návrhu. ...
    • Current Concepts in Version Control Systems 

      Baudiš, Petr (Univerzita Karlova, Matematicko-fyzikální fakulta, 2008)
      Date of defense: 23. 6. 2008
      Popíš eme a rozebereme koncepty, n ávrhov e principy a metody v současnosti uží van e v oboru systém u pro správu verzí , představí me původní práci v t éto oblasti a pouk ažeme na mo žné zají mavé směry dal ší ho výzkumu.
    • A decentralized file synchronization tool 

      Štědronský, Filip (Univerzita Karlova, Matematicko-fyzikální fakulta, 2017)
      Date of defense: 6. 9. 2017
      We explore the problem of file synchronization, with the goal of improving on the efficiency, scalability, robustness, flexibility and security of current file synchronization tools. We solve several important subproblems ...
    • Domácí automatizace 

      Taufer, Pavel (Univerzita Karlova, Matematicko-fyzikální fakulta, 2015)
      Date of defense: 15. 6. 2015
      Navrhujeme jednotný systém pro správu a monitorování domácnosti -- například ovládání světel, termostatu, žaluzií a podobně. Zkoumáme různé způsoby komunikace se zařízeními používanými v automatizaci domácnosti a navrhujeme ...
    • Expanderové kódy 

      Calábková, Markéta (Univerzita Karlova, Matematicko-fyzikální fakulta, 2018)
      Date of defense: 18. 6. 2018
      Wherever information is transmitted we can find error-correcting codes. LDPC (low density parity check) codes are one of frequently used classes of codes and expander codes are promising members of this class. In this work, ...
    • Generator of nanotubes 

      Macková, Kateřina (Univerzita Karlova, Matematicko-fyzikální fakulta, 2018)
      Date of defense: 22. 6. 2018
      The clay mineral called halloysite with crystalline structure is widely used in the world of physics due to its effective properties. The main goal of this thesis is to create a program that creates various tubular ...
    • Graph labeling 

      Böhm, Martin (Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)
      Date of defense: 7. 9. 2011
      Práce představuje výsledky v oblasti schémat pro značkování grafů, která kódují sousednost vrcholů. Tato schémata mají praktické aplikace v oblasti paralelních algoritmů, souvisí však i s teorií univezál- ních grafů. Práce ...
    • Heuristiky pro cesty v mapách 

      Kudláčková, Lada (Univerzita Karlova, Matematicko-fyzikální fakulta, 2019)
      Date of defense: 5. 9. 2019
      Obsahem práce je popis heuristických postupů, které slouží pro hledání nejkratších cest v grafech, a ověření jejich účinnosti na skutečných dat- ech. Věnuje se heuristikám pro Dijkstrův algoritmus, a to především algoritmu ...
    • Hledání pěších cest v mapě 

      Pokorný, Tomáš (Univerzita Karlova, Matematicko-fyzikální fakulta, 2014)
      Date of defense: 16. 6. 2014
      Cestování pěšky po městě je součástí každodenního života mnoha lidí. Najít vhodnou cestu ovšem nemusí být jednoduché. Z dat projektu OpenStreetMap jsme vytvořili datové struktury vhodné pro vyhledávání pěších tras ve městě, ...
    • HTTP server se separací práv 

      Břečka, Jakub (Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)
      Date of defense: 18. 6. 2012
      Webservery hostující mnoho webů na jednom stroji často řeší problém se separací uživatelských práv. Standardní implementace totiž mají vyhrazeného uživatele, pod kterým jsou vyřizovány všechny požadavky. Existuje mnoho ...
    • Hybridní databáze 

      Hušek, Radek (Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)
      Date of defense: 18. 6. 2012
      Tato práce popisuje návrh a implementaci datové struktury, která se snaží kombinovat výhody databází a běžných datových struktur. Ze světa databází vychází především pod- pora pro persistenci dat prostřednictvím jejich ...
    • An implicit representation of sets 

      Lieskovský, Matej (Univerzita Karlova, Matematicko-fyzikální fakulta, 2018)
      Date of defense: 22. 6. 2018
      The 2003 paper by Gianni Franceschini and Roberto Grossi titled "Optimal Worst-Case Operations for Implicit Cache-Oblivious Search Trees" suggests a data structure that supports Insert, Find and Delete operations in O(log ...
    • Inspektor webových stránek 

      Mansurov, Alexandr (Univerzita Karlova, Matematicko-fyzikální fakulta, 2017)
      Date of defense: 6. 9. 2017
      Cílem této práce je vyvinout nástroj pro automatickou kontrolu webových strá- nek. V práci jsme vytvořili rozšiřitelný systém, který ověřuje provázanost odkazů a syntax HTML a CSS. K tomu jsme integrovali již existující ...
    • Klasifikace obsahu dokumentů 

      Major, Martin (Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)
      Date of defense: 15. 9. 2009
      Tato práce se zabývá možnostmi automatické klasifikace textových dokumentů a ukazuje výhody této klasifikace i úskalí při její implementaci. Představuje několik metod a podrobněji se zabývá metodami založenými na analýze ...
    • Kompaktní popis adresářových stromů 

      Končický, Václav (Univerzita Karlova, Matematicko-fyzikální fakulta, 2018)
      Date of defense: 6. 9. 2018
      There exist many copies of data stored as directory trees whose consistency we need to verify. In this work we create a new binary format describing directory trees. It allows to record names, hashed contents, and other ...

      © 2017 Univerzita Karlova, Ústřední knihovna, Ovocný trh 3-5, 116 36 Praha; email: admin-repozitar [at] cuni.cz

      Za dodržení všech ustanovení autorského zákona jsou zodpovědné jednotlivé složky Univerzity Karlovy. / Each constituent part of Charles University is responsible for adherence to all provisions of the copyright law.

      Upozornění / Notice: Získané informace nemohou být použity k výdělečným účelům nebo vydávány za studijní, vědeckou nebo jinou tvůrčí činnost jiné osoby než autora. / Any retrieved information shall not be used for any commercial purposes or claimed as results of studying, scientific or any other creative activities of any person other than the author.

      DSpace software copyright © 2002-2015  DuraSpace
      Theme by 
      @mire NV