Search
Now showing items 1-10 of 205
Towards thread aware component behavior specifications
Specifikace chování komponent zohledňující vlákna
Disertation Theses
Advisor: Plášil, František
Date Issued:
Date of defense: 24. 09. 2010
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: 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++
Bachelor Theses
Advisor: Kodyš, Peter
Date Issued:
Date of defense: 14. 09. 2009
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: 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
Disertation Theses
Advisor: Tůma, Petr
Date Issued:
Date of defense: 22. 09. 2015
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: 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ů
Diploma Theses
Advisor: Galamboš, Leo
Date Issued:
Date of defense: 25. 05. 2009
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: 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
Diploma Theses
Advisor: Galamboš, Leo
Date Issued:
Date of defense: 07. 09. 2009
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: 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
Disertation Theses
Advisor: Plášil, František
Date Issued:
Date of defense: 24. 09. 2010
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: 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
Diploma Theses
Advisor: Bureš, Tomáš
Date Issued:
Date of defense: 08. 09. 2014
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: 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
Diploma Theses
Advisor: Děcký, Martin
Date Issued:
Date of defense: 05. 09. 2011
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: 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
Bachelor Theses
Advisor: Ježek, Pavel
Date Issued:
Date of defense: 18. 06. 2012
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: 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
Bachelor Theses
Advisor: Ježek, Pavel
Date Issued:
Date of defense: 18. 06. 2012
Faculty / Institute: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstract: 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 ...