Hledat
Zobrazují se záznamy 31-40 z 61
Deployment Planner for Heterogeneous Component-based Applications
Deployment Planner for Heterogeneous Component-based Applications
Diplomová práce (OBHÁJENO)
Vedoucí práce: Bulej, Lubomír
Datum publikování: 2008
Datum obhajoby: 24. 09. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Nasazování komponentových aplikací je proces, který je zpřístupňuje uživatelům k dalšímu používání. OMG Deployment & Con guration Speci cation je dokument, jehožz cílem je vytvořený jednotného nasazovacího řešení ...
Deployment of component applications is the process of making them available for further use by clients. The OMG Deployment & Conguration Speci cation aims at creating a uni ed deployment process independent of component ...
Deployment of component applications is the process of making them available for further use by clients. The OMG Deployment & Conguration Speci cation aims at creating a uni ed deployment process independent of component ...
Constraint satisfaction for HW/SW verification
Použití programování s omezujícími podmínkami pro verifikaci HW/SW
Diplomová práce (OBHÁJENO)
Vedoucí práce: Barták, Roman
Datum publikování: 2008
Datum obhajoby: 26. 05. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Constraint satisfaction techniques (CSP) are a powerful framework for modeling and solving various problems in artificial intelligence and operations research. Verification of HW and SW can profit from employing constraint ...
Programování s omezujícími podmínkami (CSP) je silným nástrojem pro modelování a řešení mnoha problémů v umělé inteligenci a operačním výzkumu. Verifikace HW a SW může využít CSP pro automatické vytváření testů. Hlavním ...
Programování s omezujícími podmínkami (CSP) je silným nástrojem pro modelování a řešení mnoha problémů v umělé inteligenci a operačním výzkumu. Verifikace HW a SW může využít CSP pro automatické vytváření testů. Hlavním ...
Normality Testing of some Elements of Climate
Ověření normality rozdělení některých klimatických prvků
Diplomová práce (OBHÁJENO)
Vedoucí práce: Huth, Radan
Datum publikování: 2008
Datum obhajoby: 16. 09. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Normality of daily temperature is often presumed in climatology. This study aims to verify the adequacy of such a model and possibly design a better one. A set of 20th century temperature data from all parts of Europe is ...
Visual development of hierarchical components
Visual development of hierarchical components
Diplomová práce (OBHÁJENO)
Vedoucí práce: Hnětynka, Petr
Datum publikování: 2008
Datum obhajoby: 26. 05. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Componenent systems allow development of new applications by assembling existing components together to form a desired result. General purpose components can be reused for development of different applications which leads ...
Komponentové systémy umožňují vývoj aplikací pomocí sestavování existujících komponent do funkčních celků splňujících požadavky na danou aplikaci. Univerzální komponenty je možné opakovaně využít na vývoj různých aplikací, ...
Komponentové systémy umožňují vývoj aplikací pomocí sestavování existujících komponent do funkčních celků splňujících požadavky na danou aplikaci. Univerzální komponenty je možné opakovaně využít na vývoj různých aplikací, ...
Integrating Profiler Data
Integrování profilovacích dat
Diplomová práce (OBHÁJENO)
Vedoucí práce: Tůma, Petr
Datum publikování: 2008
Datum obhajoby: 26. 05. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Performance is one of the important aspects of software applications. With growing complexity of different parts of computer systems, the search for problematic code areas is getting more and more difficult. To help in ...
Výkon je jeden z důležitých aspektů softwarových aplikací. Vyhledávání problematických oblastí kódu se stává stále náročnější, protože složitost různých částí počítačových systémů rychle roste. Na usnadnění tohoto hledání ...
Výkon je jeden z důležitých aspektů softwarových aplikací. Vyhledávání problematických oblastí kódu se stává stále náročnější, protože složitost různých částí počítačových systémů rychle roste. Na usnadnění tohoto hledání ...
Generating of Random Samples with Given Properties and Application to Banking
Generování náhodného výběru s předepsanými vlastnostmi s aplikacemi v bankovnictví
Diplomová práce (OBHÁJENO)
Vedoucí práce: Franěk, Petr
Datum publikování: 2008
Datum obhajoby: 12. 02. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: The work concerns the searching for the algorithm for generating of the random variables with the given properties. There are made analyses of comparisons of the algorithms, and the optimal algorithm was chosen based on ...
Výroková logika a algebra
Výroková logika a algebra
Diplomová práce (OBHÁJENO)
Vedoucí práce: Krajíček, Jan
Datum publikování: 2008
Datum obhajoby: 10. 09. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Algebraic proof systems of which the most important are the polynomial calculus and the Nullstellensatz proof system are proof systems that use algebraic means for proving propositional tautologies - they are based on ...
Segmentace a odhad hustoty ve stehennim kloubu
Segmentace a odhad hustoty ve stehennim kloubu
Diplomová práce (OBHÁJENO)
Vedoucí práce: Maršálek, Lukáš
Datum publikování: 2008
Datum obhajoby: 26. 05. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: There are two basic ways of surgical treatment of femoral neck fracture - total endoprosthesis or a special metal screw in the bone. In case of a dense enough bone the screws are preferred. But for a too parse bone, the ...
Existují dvě hlavní metody pro léčbu zlomenin krčku stehenní kosti - totální endoprotéza a spojení speciálním kovovým šroubem. Při dostatečně kvalitní kosti je preferován šroub. Ovšem pokud je příliš řídká, šroub se může ...
Existují dvě hlavní metody pro léčbu zlomenin krčku stehenní kosti - totální endoprotéza a spojení speciálním kovovým šroubem. Při dostatečně kvalitní kosti je preferován šroub. Ovšem pokud je příliš řídká, šroub se může ...
Szemerédi Regularity Lemma a jeho aplikace v kombinatorice
Szemerédi Regularity Lemma a jeho aplikace v kombinatorice
Diplomová práce (OBHÁJENO)
Vedoucí práce: Kráľ, Daniel
Datum publikování: 2008
Datum obhajoby: 29. 09. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: V práci podáme důkaz domněnky Loebla, Komlóse a Sósové (1995) pro husté grafy. Dokážeme následující tvrzení. Pro libovolné q > 0 existuje číslo n0 takové, že pokud má libovolný graf G řadu n > n0 alespoň polovinu vrcholů ...
In the thesis we provide a solution of the Loebl-Komlós-Sós Conjecture (1995) for dense graphs. We prove that for any q > 0 there exists a number n0 N such that for any n > n0 and k > qn the following holds. Let G be a ...
In the thesis we provide a solution of the Loebl-Komlós-Sós Conjecture (1995) for dense graphs. We prove that for any q > 0 there exists a number n0 N such that for any n > n0 and k > qn the following holds. Let G be a ...
Interoperability between component-based and service-oriented systems
Interoperabilita mezi komponentovými a servisně orientovanými systémy
Diplomová práce (OBHÁJENO)
Vedoucí práce: Hnětynka, Petr
Datum publikování: 2008
Datum obhajoby: 24. 09. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Pro vývoj a návrh rozsáhlých softwarových systémů, se používají převážně dva přístupy: komponentový a servisně-orientovaný návrh. V systémech, kde se oba přístupy kombinují, je interoperabilita (t.j. jejich vzájemná ...
The component-based and service-oriented development have become commonly used techniques for building high quality, evolvable, large systems in a timely and affordable manner. In this setting, interoperability is one the ...
The component-based and service-oriented development have become commonly used techniques for building high quality, evolvable, large systems in a timely and affordable manner. In this setting, interoperability is one the ...