Hledat
Zobrazují se záznamy 1-7 z 7
Škálovatelná optimalizace celých programů
Scalable link-time optimization
Diplomová práce (OBHÁJENO)
Vedoucí práce: Hubička, Jan
Datum publikování: 2017
Datum obhajoby: 30. 01. 2017
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: 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 ...
Both major open-source compilers, GCC and LLVM, have a mature link-time optimization framework usable on most current programs. They are however not free from many performance issues, which prevent them to perform certain ...
Both major open-source compilers, GCC and LLVM, have a mature link-time optimization framework usable on most current programs. They are however not free from many performance issues, which prevent them to perform certain ...
Matching covers of cubic graphs
Pokrývání kubických grafů párováními
Diplomová práce (OBHÁJENO)
Vedoucí práce: Šámal, Robert
Datum publikování: 2017
Datum obhajoby: 07. 06. 2017
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Hypotéza Berge a Fulkersona říká, že každý kubický graf bez mostů lze pokrýt šesti perfektními párováními tak, aby každá hrana byla obsažena právě ve dvou z nich. Další hypotéza od Berge říká, že každý kubický graf bez ...
Berge and Fulkerson conjectured that for each cubic bridgeless graph there are six perfect matchings such that each edge is contained in exactly two of them. Another conjecture due to Berge says that we can cover cubic ...
Berge and Fulkerson conjectured that for each cubic bridgeless graph there are six perfect matchings such that each edge is contained in exactly two of them. Another conjecture due to Berge says that we can cover cubic ...
Stuctural Aspects of Graph Homomorphisms
Stuctural Aspects of Graph Homomorphisms
Diplomová práce (OBHÁJENO)
Vedoucí práce: Nešetřil, Jaroslav
Datum publikování: 2017
Datum obhajoby: 06. 09. 2017
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: This thesis is about graph-indexed random walks, Lipschitz mappings and graph homo- morphisms. It discusses connections between these notions, surveys the existing results, and shows new results. Graph homomorphism is an ...
Tato diplomová práce se zabývá náhodnými procházkami, Lipschitzovskými zobrazeními a grafovými homomorfismy. Diskutujeme propojení těchto pojmů, dáváme přehled dosavadních výsledků a ukazujeme nové výsledky. Grafový ...
Tato diplomová práce se zabývá náhodnými procházkami, Lipschitzovskými zobrazeními a grafovými homomorfismy. Diskutujeme propojení těchto pojmů, dáváme přehled dosavadních výsledků a ukazujeme nové výsledky. Grafový ...
Structural properties of hereditary permutation classes
Strukturální vlastnosti dědičných tříd permutací
Diplomová práce (OBHÁJENO)
Vedoucí práce: Jelínek, Vít
Datum publikování: 2017
Datum obhajoby: 07. 09. 2017
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: A permutation class C is splittable if it is contained in a merge of its two proper subclasses, and it is 1-amalgamable if given two permutations σ, τ ∈ C, each with a marked element, we can find a permutation π ∈ C ...
Permutační třída C je splittovatelná pokud je obsažena v mergi svých dvou vlastních podtříd, a je 1-amalgamovatelná pokud pro libovolné permutace σ, τ ∈ C, každá s jedním vyznačeným prvkem, dokážeme najít permutaci π ∈ C, ...
Permutační třída C je splittovatelná pokud je obsažena v mergi svých dvou vlastních podtříd, a je 1-amalgamovatelná pokud pro libovolné permutace σ, τ ∈ C, každá s jedním vyznačeným prvkem, dokážeme najít permutaci π ∈ C, ...
3-Coloring Graphs on Torus
3-barevnost grafů na toru
Diplomová práce (OBHÁJENO)
Vedoucí práce: Dvořák, Zdeněk
Datum publikování: 2017
Datum obhajoby: 06. 09. 2017
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: The theory of Dvořák et al. shows that a 4-critical triangle-free graph embedded in the torus has only a bounded number of faces of length greater than 4 and that the size of these faces is also bounded. We study the natural ...
Dvořák et al. dokázali, že 4-kritická graf bez trojúhelníků vnořený v toru má pouze omezeně mnoho stěn délky větší než 4 a velikost těchto stěn je také omezena. V této práci studujeme operaci redukce těchto vnořených grafů ...
Dvořák et al. dokázali, že 4-kritická graf bez trojúhelníků vnořený v toru má pouze omezeně mnoho stěn délky větší než 4 a velikost těchto stěn je také omezena. V této práci studujeme operaci redukce těchto vnořených grafů ...
Hereditary classes of binary matrices
Dědičné třídy binárních matic
Diplomová práce (OBHÁJENO)
Vedoucí práce: Jelínek, Vít
Datum publikování: 2017
Datum obhajoby: 07. 06. 2017
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Intervalové minory binárních matic byly zavedeny Jacobem Foxem při vý- zkumu Stanleyho-Wilfových limit. Prozkoumáme, co se dá odvodit z jejich vztahu s teorií neobsahování podmaticových vzorů, což je velmi populární oblast ...
Interval minors of binary matrices were introduced by Jacob Fox in the study of Stanley-Wilf limits. We study what can be implied from their relation to the theory of pattern avoidance of submatrices, which is a very popular ...
Interval minors of binary matrices were introduced by Jacob Fox in the study of Stanley-Wilf limits. We study what can be implied from their relation to the theory of pattern avoidance of submatrices, which is a very popular ...
Data structure behavior with variable cache size
Chování datových struktur při změnách velikosti vyrovnávací paměti
Diplomová práce (OBHÁJENO)
Vedoucí práce: Koucký, Michal
Datum publikování: 2017
Datum obhajoby: 07. 06. 2017
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Cache-oblivious algoritmy jsou dobře prostudované v situaci, kdy velikost cache zůstává konstantní. V posledních letech byla zkoumána i situace s pro- měnlivou velikostí cache. Naší motivací jsou programy běžící pseudo-paralelně ...
Cache-oblivious algorithms are well understood when the cache size remains constant. Recently variable cache sizes have been considered. We are motivated by programs running in pseudo-parallel and competing for a single ...
Cache-oblivious algorithms are well understood when the cache size remains constant. Recently variable cache sizes have been considered. We are motivated by programs running in pseudo-parallel and competing for a single ...