Hledat
Zobrazují se záznamy 21-30 z 326
Statická analýza XSLT programů
Static analysis of XSLT programs
Diplomová práce (OBHÁJENO)
Vedoucí práce: Bednárek, David
Datum publikování: 2006
Datum obhajoby: 11. 09. 2006
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Nazev prace: Staticka, analyza. XSLT programu Autor: ,Ian Cervak Katedra: Katcdra softwarovcho inzenyr.stvi Vedouci diplomove prace: RNDr. David Bednarek E-mail vedouciho: David.Bcdnarekinnir.cuni.cz Abstrakt: Zabyvame se ...
Nazev prace: Staticka, analyza. XSLT programu Autor: ,Ian Cervak Katedra: Katcdra softwarovcho inzenyr.stvi Vedouci diplomove prace: RNDr. David Bednarek E-mail vedouciho: David.Bcdnarekinnir.cuni.cz Abstrakt: Zabyvame se ...
Nazev prace: Staticka, analyza. XSLT programu Autor: ,Ian Cervak Katedra: Katcdra softwarovcho inzenyr.stvi Vedouci diplomove prace: RNDr. David Bednarek E-mail vedouciho: David.Bcdnarekinnir.cuni.cz Abstrakt: Zabyvame se ...
Implementace Time Addressable Storage
Implementace Time Addressable Storage
Diplomová práce (OBHÁJENO)
Vedoucí práce: Zavoral, Filip
Datum publikování: 2008
Datum obhajoby: 24. 09. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Přehled technologií používaných k udržování historických verzí dat - zálohování, snapshoty, asynchronní replikace, HSM, Storage Area Network, virtualizace úložných prostor. Popis vrstvy device mapper implementvané v ...
Overview of technologies used to keep historical versions of data-backups, snapshots, asynchronous replication, HSM, Storage Area Network, storage virtualization. Description of the programming layer device mapper implemented ...
Overview of technologies used to keep historical versions of data-backups, snapshots, asynchronous replication, HSM, Storage Area Network, storage virtualization. Description of the programming layer device mapper implemented ...
Garbage collection in the C++ environment
Automatická správa paměti v prostředí C++
Diplomová práce (OBHÁ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: Cílem práce je navrhnout a implementovat garbage collector v prostředí programovacího jazyka C++, definovaného mezinárodním standardem ISO/IEC 14882:2003. Součástí práce je analýza různých aspektů automatické správy paměti ...
The goal of the thesis is to design and implement a garbage collector within the environment of the C++ programming language, defined by the International Standard ISO/IEC 14882:2003. Analysis of various aspects of automatic ...
The goal of the thesis is to design and implement a garbage collector within the environment of the C++ programming language, defined by the International Standard ISO/IEC 14882:2003. Analysis of various aspects of automatic ...
Natural Language Processing of Textual Use Cases
Natural Language Processing of Textual Use Cases
Diplomová práce (OBHÁJENO)
Vedoucí práce: Mencl, Vladimír
Datum publikování: 2006
Datum obhajoby: 06. 02. 2006
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Požadavky na funkčnost navrhovanému systému jsou obvykle zachycovány pomocí use case psaných v přirozeném jazyce. Formát use case není standardizován, nicméně věty use case mají tradični jednoduchou strukturu a popisují ...
Use cases written in a natural language are usually employed for specifying of functional requirements. The format of a use case is not standardized but use case sentences traditionally adhere to a simple structure and ...
Use cases written in a natural language are usually employed for specifying of functional requirements. The format of a use case is not standardized but use case sentences traditionally adhere to a simple structure and ...
Syntax-based extraction of component behavior specifications
Syntax-based extraction of component behavior specifications
Diplomová práce (OBHÁJENO)
Vedoucí práce: Poch, Tomáš
Datum publikování: 2010
Datum obhajoby: 02. 02. 2010
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Pro velké softwarové systémy je možné použít komponentový způsob vývoje. Jeho výhody jsou, že lze snadno části použít opakovaně a pokud obsahuje i popis chování, tak lze systém snadněji analyzovat. Komponenty jsou tvořeny ...
There is a component based paradigm which can be used for large software systems. It has advantage that its parts - components can be resused and if contain behavior description it allows many behavior analyses. A component ...
There is a component based paradigm which can be used for large software systems. It has advantage that its parts - components can be resused and if contain behavior description it allows many behavior analyses. A component ...
Integrated Network Traffic Processing Framework
Integrated Network Traffic Processing Framework
Diplomová práce (OBHÁJENO)
Vedoucí práce: Tůma, Petr
Datum publikování: 2007
Datum obhajoby: 05. 02. 2007
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Knowledge of what data are carried by network links is crucial to be able to prevent attacks and to improve quality of services. Therefore it is important to develop network monitoring tools which can operate on speeds of ...
Automatic Construction of an XML Schema for a Given Set of XML Documents
Automatic Construction of an XML Schema for a Given Set of XML Documents
Diplomová práce (OBHÁJENO)
Vedoucí práce: Holubová, Irena
Datum publikování: 2009
Datum obhajoby: 25. 05. 2009
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Jazyk XML je populární formát pro komunikaci a výměnu dat. Stále ale existuje mnoho dokumentů bez popisu schématu. Tato práce je zaměřena na automatickou konstrukci XML schématu pro takové dokumenty. Pro popis schématu je ...
XML language is a popular communication and data exchange format. But there are still a lot of documents that have no XML schema definition. This thesis is focused on an automatic construction of an XML schema for such ...
XML language is a popular communication and data exchange format. But there are still a lot of documents that have no XML schema definition. This thesis is focused on an automatic construction of an XML schema for such ...
Analyzer of Windows Kernel Models
Analyzátor modelů jádra OS Window
Diplomová práce (OBHÁJENO)
Vedoucí práce: Ježek, Pavel
Datum publikování: 2008
Datum obhajoby: 28. 01. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Diplomová práce předkládá nástroj pro analýzu modelů ve specifikačním jazyce DeSpec a pro jejich překlad do modelovacího jazyka Zing. Výsledné modely pak mohou být verifikovány model checkerem Zing. Jazyk DeSpec je navržen ...
The thesis introduces a tool for analyzing models written in the specification language DeSpec and translating them into the Zing modeling language. Resulting models can be verified by the Zing model checker. The DeSpec ...
The thesis introduces a tool for analyzing models written in the specification language DeSpec and translating them into the Zing modeling language. Resulting models can be verified by the Zing model checker. The DeSpec ...
Efficient video retrieval using complex sketches and exploration based on semantic descriptors
Efektivní vyhledávání ve videu pomocí komplexních skic a explorace založené na sémantických deskriptorech
Diplomová práce (OBHÁJENO)
Vedoucí práce: Lokoč, Jakub
Datum publikování: 2016
Datum obhajoby: 12. 09. 2016
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Tématem této práce jsou nové způsoby hledání ve videu. Konkrétněji se zaměřujeme na hledání známého objektu, v našem případě krátkého video segmentu. Předpokládáme, že žádný vhodný příklad pro podobnostní vyhledávání není ...
This thesis focuses on novel video retrieval scenarios. More particularly, we aim at the Known-item Search scenario wherein users search for a short video segment known either visually or by a textual description. The ...
This thesis focuses on novel video retrieval scenarios. More particularly, we aim at the Known-item Search scenario wherein users search for a short video segment known either visually or by a textual description. The ...
Podpora procesorů UltraSPARC III, IV, T1 a T2 v HelenOS
Podpora procesorů UltraSPARC III, IV, T1 a T2 v HelenOS
Diplomová práce (OBHÁJENO)
Vedoucí práce: Děcký, Martin
Datum publikování: 2009
Datum obhajoby: 07. 09. 2009
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Stručné představení operačního systému HelenOS. Přehled obecných vlastností 64-bitových procesorů SPARC (registry, trapy, jednotka správy paměti, OpenBoot PROM). Specifické vlastnosti procesorů vyhovujících JPS (Joint ...
Overview of the HelenOS operating system. General overview of the 64-bit SPARC processors (registers, traps, memory management unit, OpenBoot PROM). Overview of the specific geatures of the processors compliant with JPS ...
Overview of the HelenOS operating system. General overview of the 64-bit SPARC processors (registers, traps, memory management unit, OpenBoot PROM). Overview of the specific geatures of the processors compliant with JPS ...