• Combinatorial Properties of Metrically Homogeneous Graphs 

      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 

      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 

      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 

      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 

      Konečný, Matěj (Univerzita Karlova, Matematicko-fyzikální fakulta, 2019)
      Date of defense: 11. 6. 2019
      The structural Ramsey theory is a field on the boundary of combinatorics and model theory with deep connections to topological dynamics. Most of the known Ramsey classes in finite binary symmetric relational language can ...
    • Škálovatelná optimalizace celých programů 

      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 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