Hledat
Zobrazují se záznamy 1-10 z 109
Translating Ruby to PHP
Překladač Ruby do PHP
Diplomová práce (OBHÁJENO)
Vedoucí práce: Bednárek, David
Datum publikování: 2008
Datum obhajoby: 24. 09. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Cíem práce je návrh a implementace překladače podmnožiny jazyka Ruby do PHP. Důraz je přitom kladen na korektní překlad dynamických a funkcionálních prvků jazyka a kompatibilitu s originální implementací jazyka Ruby. Práce ...
The goal of the work is to design and implement a compiler translating a signi cant subset of the Ruby language into PHP, with emphasis on the correct translation of dynamic and functional language elements and compatibility ...
The goal of the work is to design and implement a compiler translating a signi cant subset of the Ruby language into PHP, with emphasis on the correct translation of dynamic and functional language elements and compatibility ...
Vektorová DIS cartridge pro Oracle
Vektorová DIS cartridge pro Oracle
Diplomová práce (OBHÁJENO)
Vedoucí práce: Kopecký, Michal
Datum publikování: 2007
Datum obhajoby: 18. 09. 2007
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Oracle Text je dokumentografický informační systém, který tvoří nedílnou součást databáze Oracle. Je postaven na základním boolském modelu rozšířeném o další možnosti jako jsou přiřazení vah jednotlivým termům, výpočet ...
Oracle Text is an information retrieval system, which is included in Oracle database. It is built up on the basic Boolean model being further extended by features like assigning weights to individual tokens, calculating ...
Oracle Text is an information retrieval system, which is included in Oracle database. It is built up on the basic Boolean model being further extended by features like assigning weights to individual tokens, calculating ...
An extensible attribute framework for ProCom
An extensible attribute framework for ProCom
Diplomová práce (OBHÁJENO)
Vedoucí práce: Bureš, Tomáš
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á konceptem atributu v ProComu, komponentovém modelu vyvíjeném v rámci výzkumu centra The Progress Centre for Predictable Embedded Software Systems. Atributy jsou informace ruzných typu a úrovní abstrakce ...
This thesis is focused on the attributes concept of ProCom, a component model developed within The Progress Centre for Predictable Embedded Software Systems. Attributes are pieces of information of various types and levels ...
This thesis is focused on the attributes concept of ProCom, a component model developed within The Progress Centre for Predictable Embedded Software Systems. Attributes are pieces of information of various types and levels ...
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 ...
Modelling n-ary relations in description logics
Modelování n-árních relací v deskripčních logikách
Diplomová práce (OBHÁJENO)
Vedoucí práce: Zavoral, Filip
Datum publikování: 2008
Datum obhajoby: 26. 05. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: DLR is an expressive description logic with support of n-ary relations. Currently, there is no known algorithm for native reasoning within DLR. However there are two approaches that allow to delegate reasoning services of ...
DLR je expresívna deskripčná logika, ktorá podporuje n-árne relácie. V súčastnosti neexistuje algoritmus, ktorý by dokázal natívne uvažovať v DLR. Existujú však dve práce, ktoré umožňujú uvažovanie delegovať do binárnych ...
DLR je expresívna deskripčná logika, ktorá podporuje n-árne relácie. V súčastnosti neexistuje algoritmus, ktorý by dokázal natívne uvažovať v DLR. Existujú však dve práce, ktoré umožňujú uvažovanie delegovať do binárnych ...
Uživatelsky orientovaný jazyk pro řešení úloh DZD
Uživatelsky orientovaný jazyk pro řešení úloh DZD
Diplomová práce (OBHÁJENO)
Vedoucí práce: Rauch, Jan
Datum publikování: 2008
Datum obhajoby: 24. 09. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Práce pojednává o novém funkcionálním vizuálním programovacím jazyku a jeho použití k dobývání znalostí z databízí. Tento jazyk se nazývá Ferda a je integrální součástí systému Ferda, což je aplikace, která byla původně ...
The thesis discusses a new visual functional programming language and its use for data mining. The language is called Ferda and forms an integral part of the Ferda system, which is an application that has been created for ...
The thesis discusses a new visual functional programming language and its use for data mining. The language is called Ferda and forms an integral part of the Ferda system, which is an application that has been created for ...
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 ...