Hledat
Zobrazují se záznamy 1-10 z 34
Transactions in Peer-to-Peer Systems
Transactions in Peer-to-Peer Systems
Rigorózní práce (UZNÁNO)
Datum publikování: 2007
Datum obhajoby: 25. 04. 2007
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: 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
Rigorózní práce (UZNÁNO)
Datum publikování: 2009
Datum obhajoby: 25. 06. 2009
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: 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
Rigorózní práce (UZNÁNO)
Datum publikování: 2011
Datum obhajoby: 02. 04. 2011
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: 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
Rigorózní práce (UZNÁNO)
Vedoucí práce: Pokorný, Jaroslav
Datum publikování: 2010
Datum obhajoby: 25. 06. 2010
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: 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
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: 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
Rigorózní práce (UZNÁNO)
Datum publikování: 2008
Datum obhajoby: 02. 04. 2008
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: 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
Rigorózní práce (UZNÁNO)
Datum publikování: 2009
Datum obhajoby: 25. 06. 2009
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: 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
Rigorózní práce (UZNÁNO)
Vedoucí práce: Bureš, Tomáš
Datum publikování: 2010
Datum obhajoby: 08. 09. 2010
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: 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
Rigorózní práce (NEOBHÁJENO)
Datum publikování: 2013
Datum obhajoby: 24. 05. 2013
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: 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
Rigorózní práce (UZNÁNO)
Vedoucí práce: Flusser, Jan
Datum publikování: 2010
Datum obhajoby: 12. 10. 2010
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: 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 ...