Hledat
Zobrazují se záznamy 1-9 z 9
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 ...
Qubit - systém pro správu a tvorbu překladů
Qubit - A System for Translations Management and Authoring
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Ježek, Pavel
Datum publikování: 2017
Datum obhajoby: 20. 06. 2017
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Název práce: Qubit - systém pro správu a tvorbu pøekladù Autor: Jindøich Cincibuch Katedra: Katedra distribuovaných a spolehlivých systémù Vedoucí bakaláøské práce: Mgr. Pavel Je¾ek, Ph.D., Katedra distribuovaných a ...
Title: Qubit - A System for Translations Management and Authoring Author: Jindøich Cincibuch Department: Department of Distributed and Dependable Systems Supervisor: Mgr. Pavel Je¾ek, Ph.D., Department of Distributed and ...
Title: Qubit - A System for Translations Management and Authoring Author: Jindøich Cincibuch Department: Department of Distributed and Dependable Systems Supervisor: Mgr. Pavel Je¾ek, Ph.D., Department of Distributed and ...
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 ...
Tau Ceti f 2 - budovatelská počítačová hra se strategickými prvky
Tau Ceti f 2 - A Creative Computer Game with Strategic Elements
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: Many computer game players like building games. Minecraft and Space Engi- neers are probably some of the most popular, to name just a few. In these games, the player builds buildings and structures using blocks of a fixed ...
Mnoho hráčů počítačových her má v oblibě žánr stavitelských her. Mezi mno- hými bychom mohli jmenovat hry Minecraft a Space Engineers. V těchto hrách hráč staví budovy a struktury z bloků pevně dané velikosti. To shledáváme ...
Mnoho hráčů počítačových her má v oblibě žánr stavitelských her. Mezi mno- hými bychom mohli jmenovat hry Minecraft a Space Engineers. V těchto hrách hráč staví budovy a struktury z bloků pevně dané velikosti. To shledáváme ...
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ě ...
Startpage for TV Application
Startpage for TV Application
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Bureš, Tomáš
Datum publikování: 2017
Datum obhajoby: 20. 06. 2017
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: V naší práci implementujeme konfigurovatelnou TV aplikaci pro set-top box zařízení, v kontextu zabudovaného webového prohlížeče. Práce je vedena dle zákaznického zadání a plně integrovaná do velké IPTV platformy. Má formu ...
In this thesis we implement configurable set-top box TV application in context of an embedded web browser. Work is executed in accord with strict customer requirements and fully integrated into large IPTV platform. It takes ...
In this thesis we implement configurable set-top box TV application in context of an embedded web browser. Work is executed in accord with strict customer requirements and fully integrated into large IPTV platform. It takes ...
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 ...