Hledat
Zobrazují se záznamy 131-140 z 222
MetaRMS - information systems building platform
MetaRMS - platforma pro tvorbu informačních systémů
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Ježek, Pavel
Datum publikování: 2019
Datum obhajoby: 27. 06. 2019
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Data are an essential element of the present world. The problem of storing data concerns everybody, from a large company with information about their clients to individual users with their shopping lists. Options vary ...
Data jsou základním prvkem současného světa. Problém ukládání dat se týká každého, ať už je to velká společnost s informacemi o svých klientech, nebo jednotlivec, který si chce uložit jen nákupní seznam. Možnosti jsou ...
Data jsou základním prvkem současného světa. Problém ukládání dat se týká každého, ať už je to velká společnost s informacemi o svých klientech, nebo jednotlivec, který si chce uložit jen nákupní seznam. Možnosti jsou ...
Tracing Function Calls in Windows NT Kernel
Sledování volání funkcí jádra Windows NT
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Ježek, Pavel
Datum publikování: 2015
Datum obhajoby: 07. 09. 2015
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Operační systémy jsou složitý software a je téžké pochopit, jak fungují. Studenti, kteří by chtěli vědet více o fungování operačního systému Windows NT, mohou použít programy jako je WinDbg, WinObj nebo Process Monitor. ...
Operating systems are complex and hard to understand. Students that want to learn more about internal operation of the Windows NT system can use tools such as WinDbg, WinObj or Process Monitor. However, these tools are ...
Operating systems are complex and hard to understand. Students that want to learn more about internal operation of the Windows NT system can use tools such as WinDbg, WinObj or Process Monitor. However, these tools are ...
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 ...
PerfJavaDoc: extending API documentation with performance information
PerfJavaDoc: rozšíření API dokumentace informací o výkonnosti
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Horký, Vojtěch
Datum publikování: 2015
Datum obhajoby: 15. 06. 2015
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Javadoc je dokumentační nástroj určený pro automatické generování API dokumentace přímo ze zdrojových kódů programu. Takto vygenerovaná dokumentace může u některých metod obsahovat slovní popis použitého algoritmu a jeho ...
Javadoc is a documentation tool used for generating API documentation from Java source code. For some methods the generated documentation can contain description of the algorithm and its asymptotic complexity. However, ...
Javadoc is a documentation tool used for generating API documentation from Java source code. For some methods the generated documentation can contain description of the algorithm and its asymptotic complexity. However, ...
Interactive Debugger for MSIM
Interactive Debugger for MSIM
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Děcký, Martin
Datum publikování: 2012
Datum obhajoby: 02. 02. 2012
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Cílem této práce je rozšíření ladících schopností MSIMu pomocí napojení na vývojové prostředí Eclipse. MSIM je simulátor počítače založený na procesoru MIPS a jednoduchém hardwarovém modelu. Je zaměřen převážně na výuku ...
The goal of this thesis is to extend the debugging possibilities of MSIM by connecting it to the Eclipse IDE. MSIM (MIPS Simulator) is a machine simulator based on a MIPS processor and a simple hardware model. The simulator ...
The goal of this thesis is to extend the debugging possibilities of MSIM by connecting it to the Eclipse IDE. MSIM (MIPS Simulator) is a machine simulator based on a MIPS processor and a simple hardware model. The simulator ...
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 ...
Hlasový komunikační systém
Voice Communication System
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Ježek, Pavel
Datum publikování: 2013
Datum obhajoby: 20. 06. 2013
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Tato bakalářská práce byla zaměřena na vyřešení problémů spojených s komunikací přes IP sítě, primárně problémů spojených s hlasovou komunikací v realném čase. Jako výsledek práce vznikl program umožňující nejen hlasovou ...
This text is aimed at solving problems that are associated with communication over IP networks, problems that are primarily related to real-time voice communication. Outcome of this thesis is program with voice communication ...
This text is aimed at solving problems that are associated with communication over IP networks, problems that are primarily related to real-time voice communication. Outcome of this thesis is program with voice communication ...
Transparent Restarts of Stateless Linux Services
Transparentní restart bezstavových služeb v Linuxu
Bakalářská práce (OBHÁJENO)
Vedoucí práce: Koutný, Michal
Datum publikování: 2020
Datum obhajoby: 07. 07. 2020
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Servery musí být čas od času aktualizovány kvůli bezpečnostním záplatám a novým funkcím. Úplné restartování provozované služby je jednoduchý způsob, jak aktualizaci provést, obvykle však vede k nákladným výpadkům. Zachováním ...
Services running on servers have to be updated once in a while with security patches and new features. Full-service restarts provide a simple way to update the running code, but they usually lead to costly downtime. That ...
Services running on servers have to be updated once in a while with security patches and new features. Full-service restarts provide a simple way to update the running code, but they usually lead to costly downtime. That ...