Hledat
Zobrazují se záznamy 1-10 z 205
Towards thread aware component behavior specifications
Specifikace chování komponent zohledňující vlákna
Dizertační práce
Vedoucí práce: Plášil, František
Dátum publikování:
Datum obhajoby: 24. 09. 2010
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: The component based development is a well established methodology of software development. The industry, however does not take the advantage of component behavior modeling. Although the analyses of models guarantee notiobn ...
Komponentový přístup je již poměrně zavedenou metodologií používanou při vývoji software. Při komerčním vývoji aplikací, se však ještě nevyužívají modely chování komponent a jejich následná analýza, ačkoliv by to zaručilo, ...
Komponentový přístup je již poměrně zavedenou metodologií používanou při vývoji software. Při komerčním vývoji aplikací, se však ještě nevyužívají modely chování komponent a jejich následná analýza, ačkoliv by to zaručilo, ...
Programování ovladačů vnějších zařízení a výhodnocování dat v C++
Programming of drivers of external devices and data evaluation in C++
Bakalářská práce
Vedoucí práce: Kodyš, Peter
Dátum publikování:
Datum obhajoby: 14. 09. 2009
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: V predloženej práci študujeme stav ovládačov externých zariadení v čistej miestnosti v Ústave časticovej a jadrovej fyziky. Hlavná časť práce sa venuje rozboru existujúceho softvéru a tvorbe nového ovládača pre komunikáciu ...
In the present work we study current status of drivers for external devices in clean room in Institute of Particle and Nuclear Physics. In this work we analyse existing software and create a new driver for communication ...
In the present work we study current status of drivers for external devices in clean room in Institute of Particle and Nuclear Physics. In this work we analyse existing software and create a new driver for communication ...
Application of Software Components in Operating System Design
Aplikace softwarových komponent pro návrh operačního systému
Dizertační práce
Vedoucí práce: Tůma, Petr
Dátum publikování:
Datum obhajoby: 22. 09. 2015
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: This thesis describes the primary goal of the HelenOS microkernel multiserver operating system. The primary goal of the HelenOS project is to create a comprehensive research and development platform in the domain of ...
Tato doktorská práce popisuje primární cíl mikrojádrového multiserverového operačního systému HelenOS. Primárním cílem projektu HelenOS je vytvoření komplexní výzkumné a vývojové platformy pro doménu obecných operačních ...
Tato doktorská práce popisuje primární cíl mikrojádrového multiserverového operačního systému HelenOS. Primárním cílem projektu HelenOS je vytvoření komplexní výzkumné a vývojové platformy pro doménu obecných operačních ...
Jazyk pro programování asynchronních serverů
Programming Language for Asynchronous ServersJazyk pro programování asynchronních serverů
Diplomová práce
Vedoucí práce: Galamboš, Leo
Dátum publikování:
Datum obhajoby: 25. 05. 2009
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Prostředí PLAS slouží k jednoduchému vytváření aplikací, které jsou spustitelné na různých platformách, v podobě konečného stavového automatu v programovacím jazyce JAVA. Výsledná aplikace může být distribuována na vícero ...
PLAS framework is designed for easy development of multiplatform applications in form of finite-state machine in JAVA programming language. Target application can be distributed to multiple connected, user defined computer. ...
PLAS framework is designed for easy development of multiplatform applications in form of finite-state machine in JAVA programming language. Target application can be distributed to multiple connected, user defined computer. ...
Jazyk pro programování asynchronních serverů
Programming Language for Asynchronous Servers
Diplomová práce
Vedoucí práce: Galamboš, Leo
Dátum publikování:
Datum obhajoby: 07. 09. 2009
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Prostředí PLAS slouží k jednoduchému vytváření aplikací, které jsou spustitelné na různých platformách, v podobě komponentového systému v programovacím jazyce JAVA. Výsledná aplikace může být distribuována na vícero ...
PLAS framework is designed for easy development of multiplatform applications in form of component system in JAVA programming language. Target application can be distributed to multiple connected, user defined computer. ...
PLAS framework is designed for easy development of multiplatform applications in form of component system in JAVA programming language. Target application can be distributed to multiple connected, user defined computer. ...
Automated verification of software
Automatická veri kace software
Dizertační práce
Vedoucí práce: Plášil, František
Dátum publikování:
Datum obhajoby: 24. 09. 2010
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Despite the research e ort being invested into the eld of automated veri cation of software, its adoption in industry is still rather slow. Several reasons for this hesitation may be identi ed. The thesis focuses on the ...
Přes výzkumné usilí věnované automatické veri kaci software, její pronikání do softwarového průmyslu je stále spíše pomalé. Toto váhání mělo několik důvodů 1) složitost posouzení jednotlivých nástrojů, 2) složitost použití ...
Přes výzkumné usilí věnované automatické veri kaci software, její pronikání do softwarového průmyslu je stále spíše pomalé. Toto váhání mělo několik důvodů 1) složitost posouzení jednotlivých nástrojů, 2) složitost použití ...
Implementation of the DEECo component framework for embedded systems
Implementation of the DEECo component framework for embedded systems
Diplomová práce
Vedoucí práce: Bureš, Tomáš
Dátum publikování:
Datum obhajoby: 08. 09. 2014
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Současný vývoj distribuovaných a decentralizovaných cyber-fyzikálních systémů vedl ke vzniku modelu DEECo. Protože mnohá použití DEECo jsou vestavěné aplikace je zajímavé zvážit jeho použití DEECo na vestavěném hardware. ...
Recent development in the field of distributed and decentralized cyber-physical systems led to emerge of DEECo model. As many DEECo use cases are embedded applications it is interesting to evaluate DEECo on embedded hardware. ...
Recent development in the field of distributed and decentralized cyber-physical systems led to emerge of DEECo model. As many DEECo use cases are embedded applications it is interesting to evaluate DEECo on embedded hardware. ...
Support for NUMA hardware in HelenOS
Support for NUMA hardware in HelenOS
Diplomová práce
Vedoucí práce: Děcký, Martin
Dátum publikování:
Datum obhajoby: 05. 09. 2011
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Cílem této diplomové práce je rozšířit operační systém HelenOS o podporu ccNUMA hardwaru. Text práce obsahuje stručný úvod do problematiky ccNUMA, přehled vlastností NUMA hardwaru a přehled vlastností HelenOS spojených s ...
The goal of this master thesis is to extend HelenOS operating system with the support for ccNUMA hardware. The text of the thesis contains a brief introduction to ccNUMA hardware, an overview of NUMA features and relevant ...
The goal of this master thesis is to extend HelenOS operating system with the support for ccNUMA hardware. The text of the thesis contains a brief introduction to ccNUMA hardware, an overview of NUMA features and relevant ...
Universal Blog Manager
Universal Blog Manager
Bakalářská práce
Vedoucí práce: Ježek, Pavel
Dátum publikování:
Datum obhajoby: 18. 06. 2012
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Sdílení názorů a pocitů na Internetu (blogování) se s přibývajícimi lety stává stále populárnější. Vývojáři aplikací na tento trend reagovali a vytvořili mnoho desktopových aplikací ulehčujících publikovaní obsahu. Ale ...
Sharing opinions and feeling on the Internet (blogging) is becoming increasingly popular with passing years. Application developers reacted to this trend and created many desktop applications making publishing simple. But ...
Sharing opinions and feeling on the Internet (blogging) is becoming increasingly popular with passing years. Application developers reacted to this trend and created many desktop applications making publishing simple. But ...
Modulární systém pro distribuovanou správu uživatelských dat
Modular System for Distributed User Data Management
Bakalářská práce
Vedoucí práce: Ježek, Pavel
Dátum publikování:
Datum obhajoby: 18. 06. 2012
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Název práce: Modulární systém pro distribuovanou správu uživatelských dat Autor: Filip Pavliš Email autora: f.pavlis@gmail.com Katedra: Katedra distribuovaných a spolehlivých systémů Vedoucí bakalářské práce: Mgr. Pavel ...
Title: Modular System for Distributed User Data Management Author: Filip Pavliš, Author's email: f.pavlis@gmail.com Department: Department of Distributed and Dependable Systems Supervisor: Mgr. Pavel Ježek, Department of ...
Title: Modular System for Distributed User Data Management Author: Filip Pavliš, Author's email: f.pavlis@gmail.com Department: Department of Distributed and Dependable Systems Supervisor: Mgr. Pavel Ježek, Department of ...