Hledat
Zobrazují se záznamy 51-60 z 90
GPS tracks data processing and visualization
GPS tracks data processing and visualization
Diplomová práce (OBHÁJENO)
Vedoucí práce: Bureš, Tomáš
Datum publikování: 2012
Datum obhajoby: 03. 09. 2012
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Velké rozšíření GPS zařízení schopných zaznamenávat a ukládat trasu pohybu vytváří obrovské množství dat obsahujících široké spektrum informací, které je možné využít k mnoha různým účelům. Typické využití je vykreslení ...
The wide spread of GPS devices capable of recording motion tracks has provided a huge amount of GPS track data with lots of information that can be used in various ways. Typical use of the data is to visualize the trajectory, ...
The wide spread of GPS devices capable of recording motion tracks has provided a huge amount of GPS track data with lots of information that can be used in various ways. Typical use of the data is to visualize the trajectory, ...
Analysis of Interface Automata with On-Demand Replication
Analysis of Interface Automata with On-Demand Replication
Diplomová práce (OBHÁJENO)
Vedoucí práce: Kofroň, Jan
Datum publikování: 2013
Datum obhajoby: 27. 05. 2013
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Interface automat je model chování softwarové komponenty založený na koneč- ných automatech. Popisuje její poskytovaná rozhraní neboli podporované použití a požadovaná rozhraní neboli použití ostatních komponent. Značný ...
Interface automaton is a model of software component behaviour based on finite state machines. It describes component's provided interface, the supported usage, and required interface, the usage of other components. A ...
Interface automaton is a model of software component behaviour based on finite state machines. It describes component's provided interface, the supported usage, and required interface, the usage of other components. A ...
Scala Web Application Toolkit
Scala Web Application Toolkit
Diplomová práce (OBHÁJENO)
Vedoucí práce: Ježek, Pavel
Datum publikování: 2013
Datum obhajoby: 09. 09. 2013
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Práce nejdříve popisuje nevýhody JavaScriptu v kontextu rozsáhlých webových aplikací a představuje, jak se tyto problémy obvykle řeší pomocí kompilátoru z jiného vyššího programovacího jazyka do JavaScriptu. Práce dále ...
The thesis describes disadvantages of JavaScript in the context of big web applications and presents how they can be eliminated by compilation from a different language to JavaScript. With Scala as the source language, the ...
The thesis describes disadvantages of JavaScript in the context of big web applications and presents how they can be eliminated by compilation from a different language to JavaScript. With Scala as the source language, the ...
String Analysis for Code Contracts
Analýza řetězců v Code Contracts
Diplomová práce (OBHÁJENO)
Vedoucí práce: Parízek, Pavel
Datum publikování: 2016
Datum obhajoby: 05. 09. 2016
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Jedním ze způsobů prevence chyb v objektově orientovaných programech je používání kontraktů, kterými jsou například vstupní a výstupní podmínky metod nebo invarianty tříd. Ve frameworku .NET je používání kontraktů umožněno ...
Using contracts such as method preconditions, postconditions, and class invariants in code is an approach to preventing bugs in object-oriented programs. In the .NET Framework, this is possible due to the framework of Code ...
Using contracts such as method preconditions, postconditions, and class invariants in code is an approach to preventing bugs in object-oriented programs. In the .NET Framework, this is possible due to the framework of Code ...
Grammar to JetBrains MPS Convertor
Konvertor gramatik pro JetBrains MPS
Diplomová práce (OBHÁJENO)
Vedoucí práce: Parízek, Pavel
Datum publikování: 2016
Datum obhajoby: 05. 09. 2016
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: JetBrains MPS je nástroj pro tvorbu programovacích jazyků, který se specializuje na doménově specifické jazyky. Na rozdíl od většiny podobných nástrojů, či klasických IDE, se v MPS programuje pomocí projekčního editoru. ...
JetBrains MPS is a language workbench focusing on domain-specific languages. Unlike many other language workbenches and IDEs, it uses a projectional editor for code. The developer directly manipulates the program in its ...
JetBrains MPS is a language workbench focusing on domain-specific languages. Unlike many other language workbenches and IDEs, it uses a projectional editor for code. The developer directly manipulates the program in its ...
HelenOS jako Xen hypervisor
HelenOS as Xen hypervisor
Diplomová práce (OBHÁJENO)
Vedoucí práce: Děcký, Martin
Datum publikování: 2012
Datum obhajoby: 03. 09. 2012
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Cílem práce je vytvoření prototypové implementace rozhraní hypervi-soru Xen v operačním systému HelenOS pro platformu IA-32. Výstupem prá-ce je port operačního systému HelenOS, na kterém lze provozovat vybranou paravirtualizovanou ...
The aim of the master thesis is to create a prototype implementation of the interface of the Xen hypervisor within the HelenOS operating system. The target architecture of this prototype implementation is IA-32. The result ...
The aim of the master thesis is to create a prototype implementation of the interface of the Xen hypervisor within the HelenOS operating system. The target architecture of this prototype implementation is IA-32. The result ...
Remote Method Invocation for Android Platform
Remote Method Invocation for Android Platform
Diplomová práce (OBHÁJENO)
Vedoucí práce: Pop, Tomáš
Datum publikování: 2012
Datum obhajoby: 03. 09. 2012
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Diplomová práca skúma potenciál vzdialeného volania metód v prostredí mobilných zariadení s operačným systémom Android. Hlavný cieľ práce je výskum v oblasti realizácie bezpečnostne kritických častí aplikačného kódu na ...
The thesis inquires the potential of a remote method invocation in the context of the Android mobile devices. The primary goal of the thesis is to investigate execution of security-critical parts of application code on ...
The thesis inquires the potential of a remote method invocation in the context of the Android mobile devices. The primary goal of the thesis is to investigate execution of security-critical parts of application code on ...
Implementation of the DEECo component framework for embedded systems
Implementation of the DEECo component framework for embedded systems
Diplomová práce (OBHÁJENO)
Vedoucí práce: Bureš, Tomáš
Datum publikování: 2014
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. ...
Horizontal scalability for e-mail delivery in Mailtrain
Horizontální škálovatelnost pro doručování e-mailů v Mailtrainu
Diplomová práce (OBHÁJENO)
Vedoucí práce: Bureš, Tomáš
Datum publikování: 2023
Datum obhajoby: 06. 06. 2023
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Mailtrain is a self-hosted open-source newsletter application built on Node.js which provides features such as subscriber lists management, list segmentation, custom fields, e-mail templates, triggered and RSS campaigns, ...
Mailtrain je samoobslužná aplikace s otevřeným zdrojovým kódem postavená na Node.js, která poskytuje vlastnosti, jako je správa seznamů odběratelů, segmentace seznamů, vlastní pole, šablony e- mailů, spouštěné a RSS kampaně ...
Mailtrain je samoobslužná aplikace s otevřeným zdrojovým kódem postavená na Node.js, která poskytuje vlastnosti, jako je správa seznamů odběratelů, segmentace seznamů, vlastní pole, šablony e- mailů, spouštěné a RSS kampaně ...
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ž ...