Browsing by Advisor "Děcký, Martin"
Now showing items 1-20 of 37
-
Bezpečnostní kontejnery a přístupová práva v HelenOS
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Date of defense: 5. 9. 2011Název práce: Bezpečnostní kontejnery a přístupová práva v HelenOS Autor: Štěpán Henek Katedra (ústav): Katedra softwarového inženýrství Vedoucí diplomové práce: Mgr. Martin Děcký e-mail vedoucího: decky@ksi.mff.cuni.cz ... -
C++ Runtime for HelenOS
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2022)Date of defense: 8. 2. 2022Aby operační systém podporoval běh programů napsaných v určitém programovacím jazyce, musí obsahovat běhové prostředí daného jazyka. Běhová prostředí různých programovacích jazyků se mohou lišit, ale obecně sestávají z ... -
Dynamic linking, debugging and tracing in HelenOS
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Date of defense: 2. 2. 2009HelenOS je operační systém, který vznikl vrámci softwarového projektu na MFF UK. V systému zatím chybí podpora dynamických knihoven a ladění a trasování procesů. Dynamické knihovny umožňují vyvíjet části velkých softwarových ... -
Evaluation of Usefulness of Debugging Tools
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2015)Date of defense: 9. 9. 2015Ladění je časově velmi náročná aktivita programátorů. Přestože počet návrhů ladících nástrojů je velký, tak počet nástrojů, které jsou přijaty lidmi z praxe a používány při vývoji software je menší než by se dalo očekávat. ... -
Framework pro distribuované monitorování služeb
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Date of defense: 22. 6. 2010Název práce: Framework pro distribuované monitorování služeb Autor: Lenka Skotáková Katedra (ústav): Katedra softwarového inženýrství Vedoucí bakalářské práce: Mgr. Martin Děcký, Katedra distribuovaných a spolehlivých ... -
Graphics Stack for HelenOS
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2013)Date of defense: 27. 5. 2013Název práce: Graphics Stack for HelenOS Autor: Petr Koupý Katedra / Ústav: Katedra distribuovaných a spolehlivých systémů Vedoucí diplomové práce: Mgr. Martin Děcký Abstrakt: HelenOS je experimentální operační systém ... -
HelenOS installer
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2014)Date of defense: 20. 1. 2014Schopnost sebe sama nainstalovat na trvalé úložiště je jedna z věcí defi- nujících použitelnost systému. V této práci se podíváme na naše možnosti jak toho dosáhnout v případě operačního systému HelenOS. Budeme se zabývat ... -
HelenOS jako Xen hypervisor
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)Date of defense: 3. 9. 2012Cí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 ... -
HelenOS Monitoring
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Date of defense: 7. 9. 2010Hlavním úkolem operačního systému je poskytnout uživatelským úlohám stabilní, jednodché a přitom dostatečně silné rozhraní služeb. Nicméně pro praktické použití systému je často nutné zjistit v jakém stavu se systém opravdu ... -
HelenOS packet filter
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2015)Date of defense: 7. 9. 2015Schopnost filtrovat pakety je nutnou součástí každého operačního systému určeného k použití na síťových směrovačích nebo branách. Cílem této práce je rozšířit operační systém HelenOS o podporu filtrování paketů. Práce se ... -
HelenOS routing and porting of BIRD
Defence status: NOT DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2017)Date of defense: 12. 6. 2017Schopnost 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 ... -
HelenOS routing and porting of BIRD
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2018)Date of defense: 12. 6. 2018Capability to route can be considered as one of the key features of a modern multipurpose operating system, which HelenOS aims to be. The goal of this master thesis is to explore current HelenOS routing capabilities, enhance ... -
HelenOS sound subsystem
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2013)Date of defense: 27. 5. 2013The work examines options for a modern daemon centered audio stack for HelenOS. It studies four different audio architectures; ALSA, OSS, JACK, and PulseAUdio. Each of them implements different approaches to providing ... -
HelenOS VFS-FUSE connector
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2014)Date of defense: 8. 9. 2014Tato magisterská práce se zabývá implementací konektoru mezi FUSE ovladači souborových systémů a nativním VFS rozhraním v HelenOS. Práce nejprve popisuje možné způsoby řešení a možnosti, které přicházely v úvahu. Zvoleno ... -
HelenOS VFS-FUSE connector
Defence status: NOT DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2014)Date of defense: 26. 5. 2014Tato magisterská práce se zabývá implementací konektoru mezi FUSE ovladači souborových systémů a nativním VFS rozhraním v HelenOS. Práce nejprve popisuje možné způsoby řešení a možnosti, které přicházely v úvahu. Zvoleno ... -
HelenOS VFS-FUSE connector
Defence status: NOT DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2013)Date of defense: 9. 9. 2013Tato magisterská práce se zabývá implementací konektoru mezi FUSE ovladači souborových systémů a nativním VFS rozhraním v HelenOS. Práce nejprve popisuje možné způsoby řešení a možnosti, které přicházely v úvahu. Zvoleno ... -
Heuristika titulků
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2015)Date of defense: 7. 9. 2015Původní myšlenka na heuristiku titulků pochází od Khanovy školy. Ta se zabývá překladem výukových videí a hodil by se jí automatický nástroj kontrolující vytvářené titulky. Charakter kontroly se týká jak aspektů formátu ... -
IEEE 802.11 wireless networking for HelenOS
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2015)Date of defense: 9. 9. 2015IEEE 802.11 (alias WiFi) je populární standard pro bezdrátové LAN sítě. Tato práce dokumentuje jeho implementaci v rámci výzkumného operačního systému HelenOS, který se od tradičních systémů liší tím, že je postavený na ... -
Interactive Debugger for MSIM
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)Date of defense: 2. 2. 2012Cí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 ... -
IPv6 for HelenOS
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2013)Date of defense: 9. 9. 2013Tato práce rozšiřuje operační systém HelenOS o podporu nového IPv6 protokolu. Implementace protokolu IPv6 je na stejné úrovni jako dřívější implementace IPv4 protokolu. Síťový stack HelenOS nyní nabízí tři módy práce se ...