Hledat
Zobrazují se záznamy 1-10 z 21
System daemon for HelenOS
System daemon for HelenOS
Diplomová práce (OBHÁJENO)
Vedoucí práce: Děcký, Martin
Datum publikování: 2016
Datum obhajoby: 08. 02. 2016
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Přestože je HelenOS operační systém založený na spolupráci nemála služeb, chybí mu jednotné prostředky k jejich ovládání a sledování. Práce nejprve shrnuje přístupy použité pro správu služeb v populárních i mikrokernelových ...
HelenOS is an operating system based on a number of cooperating server processes, however it is missing unified means to control and monitor them. The thesis first surveys approaches taken by both popular and microkernel ...
HelenOS is an operating system based on a number of cooperating server processes, however it is missing unified means to control and monitor them. The thesis first surveys approaches taken by both popular and microkernel ...
Reproducible Partial-Load Experiments in Workload Colocation Analysis
Reprodukovatelné experimenty s částečným zatížením v analýze agregace zátěže
Dizertační práce (OBHÁJENO)
Vedoucí práce: Bulej, Lubomír
Datum publikování: 2016
Datum obhajoby: 20. 09. 2016
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Hardware concurrency is common in all contemporary computer systems. Efficient use of hardware resources requires parallel processing and sharing of hardware by multiple workloads. Striking a balance between the conflicting ...
Hardwarový paralelismus je běžný u všech současných počítačových systémů. Nutnou podmínkou efektivního využití hardwarových prostředků jsou paralelní výpočty a sdílení hardware mezi několika výpočty. Hledání rovnováhy mezi ...
Hardwarový paralelismus je běžný u všech současných počítačových systémů. Nutnou podmínkou efektivního využití hardwarových prostředků jsou paralelní výpočty a sdílení hardware mezi několika výpočty. Hledání rovnováhy mezi ...
Domain-Specific Language for Learning Programming
Domain-Specific Language for Learning Programming
Diplomová práce (OBHÁJENO)
Vedoucí práce: Parízek, Pavel
Datum publikování: 2016
Datum obhajoby: 16. 06. 2016
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: V rámci této práce jsme navrhli jazyk pro výuku programování. Nejprve jsme popsali osm existujících nástrojů pro výuku programování a identifikovali jsme jejich vlastnosti, které jsou důležité pro proces učení. Potom jsme ...
In the scope of this thesis, we designed a language for programming education. At first, we described eight existing tools for learning programming and identified key features in the learning process. Second, we designed ...
In the scope of this thesis, we designed a language for programming education. At first, we described eight existing tools for learning programming and identified key features in the learning process. Second, we designed ...
Návrh a implementace jazyka pro code-golf challenge
Design and implementation of a language for code-golf challenge
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Parízek, Pavel
Datum publikování: 2016
Datum obhajoby: 08. 09. 2016
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Code-golf je jednou z kategorií programátorských soutěží, ve které je cílem im- plementovat řešení relativně snadné programátorské úlohy na co nejmenší počet bytů zdrojového kódu. Cílem mé práce je návrh a implementace ...
Code-golf is one of types of programming competitions. Primary objective of such competition is to provide a solution to relatively simple programming task, such that the length of the source code is minimal in terms of ...
Code-golf is one of types of programming competitions. Primary objective of such competition is to provide a solution to relatively simple programming task, such that the length of the source code is minimal in terms of ...
Umělá inteligence jednotek ve strategických hrách
Artificial Intelligence in Strategy Computer Games
Bakalářská práce (NEOBHÁJENO)
Vedoucí práce: Ježek, Pavel
Datum publikování: 2016
Datum obhajoby: 02. 02. 2016
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Válečné strategické hry jsou žánrem počítačových her, kde jako klíčový element figuruje ovládání a navigace jednotek po hrací ploše. I přes rozdílné přístupy ke správě jednotek u jednotlivých komerčně úspěšných titulů se ...
Strategy war games are a genre of computer games with the key element being control and navigation of units on the map. Despite having different approach to unit management, even the best-selling titles usually feature ...
Strategy war games are a genre of computer games with the key element being control and navigation of units on the map. Despite having different approach to unit management, even the best-selling titles usually feature ...
Component-based engineering of Smart Cyber-Physical systems
Komponentový vývoj Smart cyber-physical systémů
Dizertační práce (OBHÁJENO)
Vedoucí práce: Bureš, Tomáš
Datum publikování: 2016
Datum obhajoby: 27. 04. 2016
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Smart Cyber-Physical Systems (SCPS) are distributed, open-ended and architecturally dynamic systems composed of autonomic components interacting with each other in cooperative actions and introducing system-level (emergent) ...
Smart cyber-physical systémy (SCPS) jsou distribuované otevřené systémy s dynamickou architekturou. Tyto systémy jsou složené z autonomních komponent, jejichž interakce skrze kooperativní akce dává vzniknout komplexním ...
Smart cyber-physical systémy (SCPS) jsou distribuované otevřené systémy s dynamickou architekturou. Tyto systémy jsou složené z autonomních komponent, jejichž interakce skrze kooperativní akce dává vzniknout komplexním ...
Meta-Adaptation Strategies for Adaptation in Cyber-Physical Systems
Meta-Adaptation Strategies for Adaptation in Cyber-Physical Systems
Diplomová práce (OBHÁJENO)
Vedoucí práce: Bureš, Tomáš
Datum publikování: 2016
Datum obhajoby: 08. 02. 2016
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Při návrhu komplexních cyber-physical systémů je často nemožné dopředu předvídat všechny potencionální situace a připravit odpovídající taktiky pro adaptaci na změny v dynamickém prostředí, což velmi škodí robustnosti a ...
When designing a complex Cyber-Physical System it is often impossible to foresee all potential situations in advance and prepare corresponding tactics to adapt to the changes in dynamic environment. This greatly hurts the ...
When designing a complex Cyber-Physical System it is often impossible to foresee all potential situations in advance and prepare corresponding tactics to adapt to the changes in dynamic environment. This greatly hurts the ...
Umělá inteligence jednotek ve strategických hrách
Artificial Intelligence in Strategy Computer Games
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Gemrot, Jakub
Datum publikování: 2016
Datum obhajoby: 08. 09. 2016
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Válečné strategické hry jsou žánrem počítačových her, kde jako klíčový element figuruje ovládání a navigace jednotek po hrací ploše. I přes rozdílné přístupy ke správě jednotek u jednotlivých komerčně úspěšných titulů se ...
Strategy war games are a genre of computer games with the key element being control and navigation of units on the map. Despite having different approach to unit management, even the best-selling titles usually feature ...
Strategy war games are a genre of computer games with the key element being control and navigation of units on the map. Despite having different approach to unit management, even the best-selling titles usually feature ...
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 ...