Hledat
Zobrazují se záznamy 1-7 z 7
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 ...
Ověřování asercí kódu pomocí zpětné symbolické exekuce
Code Assertions Verification Using Backward Symbolic Execution
Diplomová práce (OBHÁJENO)
Vedoucí práce: Kofroň, Jan
Datum publikování: 2017
Datum obhajoby: 06. 02. 2017
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Pro prevenci, odhalování a opravování chyb v softwaru existuje celá řada nástrojů pro programátory, přičemž některé z nich umožňují pracovat přímo se sémantikou programu. V případě jazyka C# jsou hlavními zástupci Microsoft ...
In order to prevent, detect and fix errors in software, various tools for programmers are available, while some of them are able to reason about the behaviour of the program. In the case of C# programming language, the ...
In order to prevent, detect and fix errors in software, various tools for programmers are available, while some of them are able to reason about the behaviour of the program. In the case of C# programming language, the ...
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 ...
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ž ...
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 ...
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 ...