• API for C# code generation 

      Defence status: DEFENDED
      Lukeš, Stanislav (Univerzita Karlova, Matematicko-fyzikální fakulta, 2020)
      Date of defense: 14. 9. 2020
      V práci představujeme knihovnu pro implementaci robustních generátorů kódu v jazyce C#. Stávající generátory kódu často pro nějaké vstupy produkují nepřeložitelný kód. Dochází ke jmeným kolizím a dalším problémům, což ...
    • Combinatorial Properties of Metrically Homogeneous Graphs 

      Defence status: DEFENDED
      Konečný, Matěj (Univerzita Karlova, Matematicko-fyzikální fakulta, 2018)
      Date of defense: 22. 6. 2018
      Ramsey theory looks for regularities in large objects. Model theory studies algebraic structures as models of theories. The structural Ramsey theory com- bines these two fields and is concerned with Ramsey-type questions ...
    • Optimalizace vědeckých výpočtů pro GNU Compiler Collection 

      Defence status: DEFENDED
      Jambor, Martin (Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)
      Date of defense: 21. 5. 2007
      Many members of the scientific community look for alternatives to Fortran to increase maintainability, reusability and interoperability of their projects and component and to achieve rapid development and deployment. C++ ...
    • Optimizing large applications 

      Defence status: DEFENDED
      Liška, Martin (Univerzita Karlova, Matematicko-fyzikální fakulta, 2013)
      Date of defense: 9. 9. 2013
      Oba hlavní open source překladače, GCC a LLVM, dnes dosahují stavu, kdy jsou schopny link-time optimalizovat velké aplikace. U rozsáhlých aplikací si nevystačíme jenom s klasickými měřítky výkonu jako je rychlost nebo ...
    • Pattern matching in compilers 

      Defence status: DEFENDED
      Bílka, Ondřej (Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)
      Date of defense: 18. 9. 2012
      Název práce: Pattern matching in compilers Autor: Ondřej Bílka Katedra: Katedra Aplikované Matematiky Vedoucí diplomové práce: Jan Hubička, Katedra Aplikované Matematiky Abstrakt: V této práci vyvineme nástroje na efektivní ...
    • Semigroup-valued metric spaces 

      Defence status: DEFENDED
      Konečný, Matěj (Univerzita Karlova, Matematicko-fyzikální fakulta, 2019)
      Date of defense: 11. 6. 2019
      Strukturální Ramseyova teorie je obor na rozmezí kombinatoriky a teorie modelů s hlubokými souvislostmi s dynamickými systémy. Ramseyovskost většiny známých ramseyovských tříd v konečném binárním symetrickém relačním jazyce ...
    • Semigroup-valued metric spaces 

      Defence status: RECOGNIZED
      Konečný, Matěj (Univerzita Karlova, Matematicko-fyzikální fakulta, 2020)
      Date of defense: 14. 7. 2020
      Strukturální Ramseyova teorie je obor na rozmezí kombinatoriky a teorie modelů s hlubokými souvislostmi s dynamickými systémy. Ramseyovskost většiny známých ramseyovských tříd v konečném binárním symetrickém relačním jazyce ...
    • Škálovatelná optimalizace celých programů 

      Defence status: DEFENDED
      Láska, Ladislav (Univerzita Karlova, Matematicko-fyzikální fakulta, 2017)
      Date of defense: 30. 1. 2017
      Oba vedoucí open-source překladače, GCC a LLVM, mají vyspělé optimizéry celých programů, použitelné pro většinu současného softwaru. Stále však trpní mnoha problémy s výkonem, což zapřičiňuje nemožnost použít některé analýzy ...

      © 2017 Univerzita Karlova, Ústřední knihovna, Ovocný trh 560/5, 116 36 Praha 1; 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