Search
Now showing items 1-10 of 34
Transactions in Peer-to-Peer Systems
Transactions in Peer-to-Peer Systems
rigorous thesis (RECOGNIZED)
Date Issued: 2007
Date of defense: 25. 04. 2007
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: The thesis begins with discussion of usability of transactions in peer-to-peer environment, with the result that transactions are useful for some kinds of peer-to-peer applications, and specifies requirements on transaction ...
Práce se nejprve věnuje diskuzi použitelnosti transakcí v peer-to-peer systémech, s tím výsledkem, že transakce mají smysl pro některé třídy aplikací určených pro peer-to-peer prostředí, a specifikuje požadavky na protokol ...
Práce se nejprve věnuje diskuzi použitelnosti transakcí v peer-to-peer systémech, s tím výsledkem, že transakce mají smysl pro některé třídy aplikací určených pro peer-to-peer prostředí, a specifikuje požadavky na protokol ...
Měření objemu v 3D datech
Volume measurement in 3D data
rigorous thesis (RECOGNIZED)
Date Issued: 2009
Date of defense: 25. 06. 2009
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Medical diagnostics using computed tomography or magnetic resonance is a common part of complex medical checkup for a long time. These devices produce vast volumes of data, which must be analyzed by an expert physician. ...
Diagnostika prostřednictvím počítačové tomografie, nebo magnetické rezonance je už delší dobu běžnou součástí komplexního lékařského vyšetření. Tato zařízení chrlí velké objemy dat, které musí být následně prostudovány ...
Diagnostika prostřednictvím počítačové tomografie, nebo magnetické rezonance je už delší dobu běžnou součástí komplexního lékařského vyšetření. Tato zařízení chrlí velké objemy dat, které musí být následně prostudovány ...
Distributed Behavior Protocol Checker
Distributed Behavior Protocol Checker
rigorous thesis (RECOGNIZED)
Date Issued: 2011
Date of defense: 02. 04. 2011
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Nárůst dostupné výpočetní síly umožnil v posledních letech praktické využití formální verifikace softwarových systémů. Nejpalčivějším problémem, který zabraňuje širšímu využití však zůstává velikost stavových prostorů. ...
Growth of the computability power in the last years enabled practical use of model checking of software systems. However the state space explosion is still a burning problem that limits usage of this technique to the ...
Growth of the computability power in the last years enabled practical use of model checking of software systems. However the state space explosion is still a burning problem that limits usage of this technique to the ...
Syllable-Based Compression
Syllable-Based Compression
rigorous thesis (RECOGNIZED)
Advisor: Pokorný, Jaroslav
Date Issued: 2010
Date of defense: 25. 06. 2010
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Classic textual compression methods work over the alphabet of characters or alphabet of words. For languages with rich morphology as well as for compression of smaller files it can be advantageous to use an alphabet of ...
Implementace XSLT v prostředí relační databáze
XSLT Implementation in Relational Database Environment
rigorous thesis (RECOGNIZED)
Date Issued: 2009
Date of defense: 11. 09. 2009
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: XML is widely used format for storing all kinds of data and XSLT standard represents a standardized way, how to transform a XML document to a di erent structure. Many XSLT implementation has been introduced, but the most ...
XML je rozšiřitlný formát, který je využíván k ukládání všech druhů dat, a XSLT představuje standardizovaný jazyk pro transformaci XML dat a jejich struktury. Dnes existuje mnoho implementací XSLT, ale většina z nich udržuje ...
XML je rozšiřitlný formát, který je využíván k ukládání všech druhů dat, a XSLT představuje standardizovaný jazyk pro transformaci XML dat a jejich struktury. Dnes existuje mnoho implementací XSLT, ale většina z nich udržuje ...
Chování konfiguračních a směrovacích mechanismů v ad-hoc sítích
Configuration and routing mechanisms behaviour in ad-hoc
rigorous thesis (RECOGNIZED)
Date Issued: 2008
Date of defense: 02. 04. 2008
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Technologies of local and personal wireless networks allows building ad-hoc networks which don't require prepared infrastructure of optical or metalic wiring. Besides mechanisms of channel sharing and mechanisms of routing, ...
Technologie lokálních a personálních bezdrátových sítí dovolují budovat ad-hoc sítě nevyžadující připravenou infrastrukturu optických či metalických spojů. U takových sítí hrají vedle mechanismů sdílení kanálu a mechanismů ...
Technologie lokálních a personálních bezdrátových sítí dovolují budovat ad-hoc sítě nevyžadující připravenou infrastrukturu optických či metalických spojů. U takových sítí hrají vedle mechanismů sdílení kanálu a mechanismů ...
Using Stratego/XT for Generation of Software Connectors
Using Stratego/XT for Generation of Software Connectors
rigorous thesis (RECOGNIZED)
Date Issued: 2009
Date of defense: 25. 06. 2009
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Software connectors are used in component based systems as a special entities modeling and realizing component interactions. Besides this behavior, connectors can provide extra functionality and benefits (e.g. logging, ...
Softwarové konektory hrají významnou roli v komponentových systémech, kde pomáhají modelovat a realizovat spojení mezi komponentami. Krom toho můžou také rozšiřovat vlastnosti spojení přidáním definované funkcionality ...
Softwarové konektory hrají významnou roli v komponentových systémech, kde pomáhají modelovat a realizovat spojení mezi komponentami. Krom toho můžou také rozšiřovat vlastnosti spojení přidáním definované funkcionality ...
Real-life middleware support for connectors
Real-life middleware support for connectors
rigorous thesis (RECOGNIZED)
Advisor: Bureš, Tomáš
Date Issued: 2010
Date of defense: 08. 09. 2010
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Software connectors are used in component-based systems for realization of inter-component communication. A connector generator serves for their generation. It is able to create particular connector based on definitions ...
Softwarové konektory se používají v komponentových systémech pro realizaci mezi-komponentové komunikace. Pro jejich generovaní slouží generátor konektor , který z konfigura ního souboru umí vytvo ů č řit odpovídajíci ...
Softwarové konektory se používají v komponentových systémech pro realizaci mezi-komponentové komunikace. Pro jejich generovaní slouží generátor konektor , který z konfigura ního souboru umí vytvo ů č řit odpovídajíci ...
Monitoring procesních dat Národní vlakové linky
Monitoring of process data of National Train Bus
rigorous thesis (NOT DEFENDED)
Date Issued: 2013
Date of defense: 24. 05. 2013
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Jedním z protokolů používaných pro komunikaci mezi vozy ve vlacích, je Národní vlaková linka (NVL). Výsledkem této práce je podpora diagnostiky NVL - zejména sledování toku procesních dat a přehledné monitorování vybraných ...
One of the protocols used for communication between coaches inside a train is the National Train Bus (NTB). The result of this work is support for diagnostics on the NTB - mainly watching the process data-flow and monitoring ...
One of the protocols used for communication between coaches inside a train is the National Train Bus (NTB). The result of this work is support for diagnostics on the NTB - mainly watching the process data-flow and monitoring ...
Matematické modely poruch zraku
Mathematical models of vision defects
rigorous thesis (RECOGNIZED)
Advisor: Flusser, Jan
Date Issued: 2010
Date of defense: 12. 10. 2010
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: Proposed thesis deals with defects of human vision. We give a summary of methods for modeling and measuring of vision defects. We focus on the defects of the eye optical instrument. Our task is to model its degradations.
Úkolem bude seznámit se s používanými metodami modelování poruch zraku a s metodami objektivního měření kvality zraku. Hlavním předmětem zájmu budou poruchy vzniklé před dopadem na sítnici, pro některé z nich navrhnout ...
Úkolem bude seznámit se s používanými metodami modelování poruch zraku a s metodami objektivního měření kvality zraku. Hlavním předmětem zájmu budou poruchy vzniklé před dopadem na sítnici, pro některé z nich navrhnout ...