Hledat
Zobrazují se záznamy 21-30 z 55
Efficient Gathering of Performance Information on Multicore Systems
Efektivní sběr informací o výkonu na multicore systémech
Rigorózní práce (UZNÁNO)
Datum publikování: 2009
Datum obhajoby: 11. 09. 2009
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Modern multicore processors provide performance counters that export information on various essential aspects of software execution, from instruction decoding to cache utilization. Typically, a processor is capable of ...
Moderní vícejádrové (multicore) procesory mají k dispozici registry, prostřednictvím nichž je možné získávat informace o řadě důležitých aspektů výkonnosti systému, od jednotek pro dekódování instrukcí po využtí pamětí ...
Moderní vícejádrové (multicore) procesory mají k dispozici registry, prostřednictvím nichž je možné získávat informace o řadě důležitých aspektů výkonnosti systému, od jednotek pro dekódování instrukcí po využtí pamětí ...
Using XML technologies to apply design patterns
Using XML technologies to apply design patterns
Diplomová práce (NEOBHÁJENO)
Vedoucí práce: Bednárek, David
Datum publikování: 2009
Datum obhajoby: 25. 05. 2009
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Přestože moderní styl programování vyžaduje široké nasazení návrhových vzorů, programovací jazyky nenabízejí pohodlné prostředky k jejich efektivní aplikaci. Cílem této práce je ukázat v praxi, že zapojení moderní XML ...
Although contemporary programming style involves massive use of design patterns, programming languages does not offer suitable means tu support their application. Aim of this work is to show in practice that modern XML ...
Although contemporary programming style involves massive use of design patterns, programming languages does not offer suitable means tu support their application. Aim of this work is to show in practice that modern XML ...
Unit checking for Java IDE
Unit checking for Java IDE
Diplomová práce (OBHÁJENO)
Vedoucí práce: Šerý, Ondřej
Datum publikování: 2009
Datum obhajoby: 07. 09. 2009
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Code model checking is a rapidly advancing research topic. However, apart from very constrained scenarios (e.g., veri cation of device drivers by SLAM), the code model checking tools are not widely used in general software ...
Model checking programů představuje rychle se rozvíjejích oblast výzkumu. Bohužel tato technika zatím není kromě několika speciálních případů (např. veri fikace ovladačů pomocí nástroje SLAM) příliš rozšířena ve standardním ...
Model checking programů představuje rychle se rozvíjejích oblast výzkumu. Bohužel tato technika zatím není kromě několika speciálních případů (např. veri fikace ovladačů pomocí nástroje SLAM) příliš rozšířena ve standardním ...
Dynamic linking, debugging and tracing in HelenOS
Dynamický linker a rozhraní pro ladění a trasování v HelenO
Diplomová práce (OBHÁJENO)
Vedoucí práce: Děcký, Martin
Datum publikování: 2009
Datum obhajoby: 02. 02. 2009
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: HelenOS je operační systém, který vznikl vrámci softwarového projektu na MFF UK. V systému zatím chybí podpora dynamických knihoven a ladění a trasování procesů. Dynamické knihovny umožňují vyvíjet části velkých softwarových ...
HelenOS is an operating system that originated as a software project at the Faculty of Mathematics and Physics. So far it lacks support for dynamically linked libraries as well as support for process tracing and debugging. ...
HelenOS is an operating system that originated as a software project at the Faculty of Mathematics and Physics. So far it lacks support for dynamically linked libraries as well as support for process tracing and debugging. ...
Monitorování serverů zapojených do výpočetního GRIDu
Monitorování serverů zapojených do výpočetního GRIDu
Diplomová práce (OBHÁJENO)
Vedoucí práce: Chudoba, Jiří
Datum publikování: 2009
Datum obhajoby: 25. 05. 2009
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Tato pr áce se zab ývá studiem dostupn ých softwarovýych produktůu pro monitorov ání výypočetní ch farem. Naše studium probě hlo ve v ypočetní farmě Goli áš ve Fyzik ální m Ústavu Akademie Věd Česk e Republiky. Hlavní m ...
This thesis researches available software products for monitoring of computational farms. The Golias computational farm in the Institute of Physics of the Academy of Sciences of the Czech Republic served as a testbase. The ...
This thesis researches available software products for monitoring of computational farms. The Golias computational farm in the Institute of Physics of the Academy of Sciences of the Czech Republic served as a testbase. The ...
Annotation-driven development of software components
Vývoj softwarových komponent řízený anotacemi
Diplomová práce (OBHÁJENO)
Vedoucí práce: Hnětynka, Petr
Datum publikování: 2009
Datum obhajoby: 02. 02. 2009
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Vývoj řízený anotacemi je technika programování, která se v poslední době těší vzrůstající popularitě. Předložená práce se zabývá možnostmi využití této techniky pro vývoj komponentových aplikací. Cílem této práce bylo ...
Annotation-based development is a programming technique which is recently gaining on popularity. The thesis examines ways in which this technique can be applied to development of component applications. Aim of the the ...
Annotation-based development is a programming technique which is recently gaining on popularity. The thesis examines ways in which this technique can be applied to development of component applications. Aim of the the ...
Algorithms for Parallel Searching in XML Datasets
Paralelní vyhledávání nad XML daty
Diplomová práce (OBHÁJENO)
Vedoucí práce: Yaghob, Jakub
Datum publikování: 2009
Datum obhajoby: 07. 09. 2009
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Práce se bude zabývat problematikou indexace XML dat a efektivního vyhledávání s indexem. Hlavním těžíštěm bude snaha navrhnout datové struktury a algoritmy, které umožní úlohu vyhledávání maximálně paralelizovat a využít ...
This thesis will address the problems of indexing XML datasets and finding effective searching methods for indexed data. Defining data structures and algorithms that take highly parallel approach to the searching problem ...
This thesis will address the problems of indexing XML datasets and finding effective searching methods for indexed data. Defining data structures and algorithms that take highly parallel approach to the searching problem ...
Bulk Evaluation of User-Defined Functions in XQuery
Hromadné vyhodnocování uživatelských funkcí v jazyce XQuery
Dizertační práce (OBHÁJENO)
Vedoucí práce: Král, Jaroslav
Datum publikování: 2009
Datum obhajoby: 11. 09. 2009
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: XPath queries are usually translated into an algebra that combines traditional relational operators and XML-speciffic ones. In particular, FLWOR loops are represented using nest, unnest, join, and similar operators and ...
Dotazy v jazyce XPath jsou obvykle překládány do algebraického systému kombinujícího tradiční relační operátory s operátory specifickými pro XML. Konstrukce FLWOR jsou pak reprezentovány operátory nest, unnest, join a ...
Dotazy v jazyce XPath jsou obvykle překládány do algebraického systému kombinujícího tradiční relační operátory s operátory specifickými pro XML. Konstrukce FLWOR jsou pak reprezentovány operátory nest, unnest, join a ...
Using Neural Networks in the Hierachical Routing
Neurónové siete v hierarchickom routingu
Diplomová práce (OBHÁJENO)
Vedoucí práce: Štanclová, Jana
Datum publikování: 2009
Datum obhajoby: 25. 05. 2009
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Predmetom tejto diplomovej práce je ukázat' možné použitie modelov neurónových sietí pre potreby dekompozície dát, užitočnej pre hierarchický routing. Navrhneme hierarchický prístup k problému hl'adania optimálnej cesty v ...
The objective of the diploma thesis is to show possible utilization of the neural networks for the partitioning needs of the hierarchical routing algorithm. The work proposes a hierarchical approach, which can be useful ...
The objective of the diploma thesis is to show possible utilization of the neural networks for the partitioning needs of the hierarchical routing algorithm. The work proposes a hierarchical approach, which can be useful ...
Development of browser-based desktop-oriented web applications
Vývoj desktopovo orientovaných webových aplikácií dostupných cez webový prehliadač
Diplomová práce (OBHÁJENO)
Vedoucí práce: Hnětynka, Petr
Datum publikování: 2009
Datum obhajoby: 25. 05. 2009
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: V súlade s modernými trendami vývoja webových služieb, aplikácie, ktoré bežia na internete, sa stávajú komplexnejšími a bohatšími na vlastnosti. To všetko sa deje, zatiaľ čo sa počítače a kapacita sieťových prenosov čoraz ...
In accordance with new trends in development of web-based services, applications that are running on the Internet tend to be more complex and feature rich. This happens while computers and network bandwidth are becoming ...
In accordance with new trends in development of web-based services, applications that are running on the Internet tend to be more complex and feature rich. This happens while computers and network bandwidth are becoming ...