Hledat
Zobrazují se záznamy 1-10 z 11
HelenOS routing and porting of BIRD
Routování v HelenOSu a port BIRDu
Diplomová práce (NEOBHÁJENO)
Vedoucí práce: Děcký, Martin
Datum publikování: 2017
Datum obhajoby: 12. 06. 2017
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Schopnost routovat může být považována za jednu z klíčových vlastností moderního víceúčelového operačního systému, kterým se HelenOS snaží být. Cílem této práce je prozkoumat stávajíci routovací schopnosti HelenOSu, vylepšit ...
Capability to route can be considered one of key features of modern multipurpose operating system, which HelenOS aims to be. Goal of this master thesis is to explore current HelenOS routing capabilities, enhance them and ...
Capability to route can be considered one of key features of modern multipurpose operating system, which HelenOS aims to be. Goal of this master thesis is to explore current HelenOS routing capabilities, enhance them and ...
Soothsharp: A C#-to-Viper translator
Soothsharp: překladač C# do jazyka Viper
Diplomová práce (OBHÁJENO)
Vedoucí práce: Parízek, Pavel
Datum publikování: 2017
Datum obhajoby: 06. 09. 2017
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Viper is a verification infrastructure developed at ETH Zurich. Using this infrastructure, programs written in the Viper language may be analyzed for correctness with respect to assertions and contracts. In this thesis, ...
Viper je verifikační infrastruktura vyvíjená na univerzitě ETH v Curychu. Pomocí této infrastruktury se dá ověřit, zda programy napsané v jazyku Viper vyhovují svým deklarovaným kontraktům a invariantům. V této práci ...
Viper je verifikační infrastruktura vyvíjená na univerzitě ETH v Curychu. Pomocí této infrastruktury se dá ověřit, zda programy napsané v jazyku Viper vyhovují svým deklarovaným kontraktům a invariantům. V této práci ...
Extensibility Framework for a Generic Benchmarking Environment
Rozšiřitelný framework pro benchmarkování aplikací.
Diplomová práce (OBHÁJENO)
Vedoucí práce: Podzimek, Andrej
Datum publikování: 2017
Datum obhajoby: 12. 06. 2017
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Název práce: Rozšiřitelný framework pro benchmarkování aplikací Typ práce: Diplomová práce Řešitel: Tadeáš Palusga Katedra: Katedra Distribuovaných a Spolehlivých Systémů Matematicko-fyzikální fakulta Univerzita Karlova ...
Title: Extensibility Framework for a Generic Benchmarking Environment Type: Master thesis Author: Tadeáš Palusga Department: Department of Distributed and Dependable Systems Faculty of Mathematics and Physics Charles ...
Title: Extensibility Framework for a Generic Benchmarking Environment Type: Master thesis Author: Tadeáš Palusga Department: Department of Distributed and Dependable Systems Faculty of Mathematics and Physics Charles ...
FPVS: integrace FreePascalu do Visual Studia
FPVS: integrace FreePascalu do Visual Studia
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Ježek, Pavel
Datum publikování: 2017
Datum obhajoby: 06. 09. 2017
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: The Pascal programming language was designed and is still used to this day to teach procedural imperative programming. However, there are no modern high quality integrated development environments (IDEs) that could be used ...
Programovací jazyk Pascal byl navržen a je i nadále používán pro výuku pro- cedurálního imperativního programování. Neexistuje však žádné moderní kval- itní integrované vývojové prostředí (IDE), které by mohli studenti pro ...
Programovací jazyk Pascal byl navržen a je i nadále používán pro výuku pro- cedurálního imperativního programování. Neexistuje však žádné moderní kval- itní integrované vývojové prostředí (IDE), které by mohli studenti pro ...
Performance based adaptation of Scala programs
Adaptace programů ve Scale zaměřená na výkon
Diplomová práce (OBHÁJENO)
Vedoucí práce: Bureš, Tomáš
Datum publikování: 2017
Datum obhajoby: 06. 09. 2017
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Dynamic adaptivity of a computer system is its ability to modify the behavior according to the environment in which it is executed. It allows the system to achieve better performance, but usually requires specialized ...
Dynamická adaptivita počítačových systémů je jejich schopnost měnit své chování v závislosti na prostředí, v němž běží. Systém díky ní může dosáhnout lepšího výkonu, ale většinou je třeba přizpůsobit jeho architekturu, což ...
Dynamická adaptivita počítačových systémů je jejich schopnost měnit své chování v závislosti na prostředí, v němž běží. Systém díky ní může dosáhnout lepšího výkonu, ale většinou je třeba přizpůsobit jeho architekturu, což ...
A virtual playground for DEECo applications
Virtuální hřiště pro DEECo aplikace
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Hnětynka, Petr
Datum publikování: 2017
Datum obhajoby: 06. 09. 2017
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: DEECo is a novel component model for designing software-intensive cyber- physical systems. As a practical realization of this model there was developed the JDEECo implementation, written in Java. The usage of this framework ...
DEECo je nový komponentový model pro návrh softwarově orientovaných kyber-fyzikálních systémů. Jako praktická realizace tohoto modelu v Javě byl vytvořen framework JDEECo. Použití tohoto frameworku bylo ukázáno v řadě ...
DEECo je nový komponentový model pro návrh softwarově orientovaných kyber-fyzikálních systémů. Jako praktická realizace tohoto modelu v Javě byl vytvořen framework JDEECo. Použití tohoto frameworku bylo ukázáno v řadě ...
Efficient Representation of Program States
Reprezentace stavů programu
Dizertační práce (OBHÁJENO)
Vedoucí práce: Kofroň, Jan
Datum publikování: 2017
Datum obhajoby: 21. 09. 2017
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Při verifikaci programů se snažíme rozhodnout, zda program obsahuje či neobsahuje chyby. Základním předpokladem všech verifikačních postupů je efektivní reprezentace a manipulace se stavy programů. V této práci představujeme ...
Při verifikaci programů se snažíme rozhodnout, zda program obsahuje či neobsahuje chyby. Základním předpokladem všech verifikačních postupů je efektivní reprezentace a manipulace se stavy programů. V této práci představujeme ...
Při verifikaci programů se snažíme rozhodnout, zda program obsahuje či neobsahuje chyby. Základním předpokladem všech verifikačních postupů je efektivní reprezentace a manipulace se stavy programů. V této práci představujeme ...
Anzora: Zotero klient pro Android
Anzora: Zotero klient pro Android
Diplomová práce (OBHÁJENO)
Vedoucí práce: Kofroň, Jan
Datum publikování: 2017
Datum obhajoby: 12. 06. 2017
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Cílem práce bolo vytvořit klientskou aplikaci Anzora pro mobilní zařízení se systémem Android, která by poskytovala přístup a správu databázi zdrojů Zotero. Aplikace bude sloužit zejména jako doplněk k existující desktopové ...
The goal of this thesis was to create client application Anzora for mobile devices with Android OS that would allow access and management of the Zotero database. The application will be used mostly as an addition to an ...
The goal of this thesis was to create client application Anzora for mobile devices with Android OS that would allow access and management of the Zotero database. The application will be used mostly as an addition to an ...
Pascal with Truffle
Pascal nad Trufflem
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Horký, Vojtěch
Datum publikování: 2017
Datum obhajoby: 06. 09. 2017
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Trupple is an unconventional Pascal interpreter built on top of Oracle's Truffle frame- work. By using this framework, it is virtually platform independent because it runs in Java Virtual Machine and can also easily ...
Trupple je nekonvenčný interpret Pascalu vybudovaný vo frameworku Truffle od Oraclu. Použitím tohto frameworku sa stáva virtuálne platformovo nezávislý, pretože beží v Java Virtual Machine a môže tiež jednoducho komunikovat' ...
Trupple je nekonvenčný interpret Pascalu vybudovaný vo frameworku Truffle od Oraclu. Použitím tohto frameworku sa stáva virtuálne platformovo nezávislý, pretože beží v Java Virtual Machine a môže tiež jednoducho komunikovat' ...
Monitoring Tool for Distributed Java Applications
Monitorovací nástroj pro distribuované aplikace v jazyce Java
Diplomová práce (OBHÁJENO)
Vedoucí práce: Parízek, Pavel
Datum publikování: 2017
Datum obhajoby: 12. 06. 2017
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Hlavní cíl této diplomové práce je vytvoření monitorovací platformy a kni- hovny pro monitorování distribuovaných aplikací založených na platformě Java. Tato práce je inspirována projektem Google Dapper a sdílí s ním koncept ...
The main goal of this thesis is to create a monitoring platform and library that can be used to monitor distributed Java-based applications. This work is inspired by Google Dapper and shares a concept called "Span" with ...
The main goal of this thesis is to create a monitoring platform and library that can be used to monitor distributed Java-based applications. This work is inspired by Google Dapper and shares a concept called "Span" with ...