Browsing by Advisor "Zavoral, Filip"
Now showing items 1-20 of 52
-
Advanced Optimizations in Dynamic Language Compiler
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)Date of defense: 30. 1. 2012Dynamické programovací jazyky jsou navržené pro běh v interpretu a tím pádem provádějí značnou část typových kontrol za běhu. Oproti tomu překladače statických jazyků mohou značnou část této třídy kontrol odstranit za ... -
Analýza MMORPG (Massive-Multiplayer Online Role-Playing Game)
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Date of defense: 14. 9. 2009Cílem práce je analyzovat současný herní fenomén MMORPG (Massively multiplayer online role-playing game). Jedná se o hry typu RPG se síťovou nadstavbou, to znamená že herní důraz je přesunut z interakce s nascriptovaným ... -
Android components for business applications
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2015)Date of defense: 3. 2. 2015V dnešní době rozmachu mobilních technologií stále více firem vybavuje svoje pracovníky v terénu (obchodní zástupce, pojišťovací agenty, servisní pracovníky apod.) mobilními aplikacemi pro zefektivnění jejich práce. Na ... -
Bobox Runtime Optimization
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2015)Date of defense: 3. 2. 2015Cílem této diplomové práce je vytvořit nástroj na optimalizaci kódu pro paralelní prostředí Bobox. Nástroj redukuje počet krátce a dlouze běžících úloh na základě statické analýzy kódu. Některé případy krátce běžících úloh ... -
Chemická laboratoř
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2006)Date of defense: 18. 9. 2006Předmětem této práce je implementace simulátoru chemické laboratoře. Výsledný program je určen pro uživatele, kteří si chtějí vyzkoušet, jak vypadá práce v chemické laboratoři, aniž by byli nuceni do ní vstoupit. V prostředí ... -
Cider - An Event-driven Continuous Integration Server
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2014)Date of defense: 16. 6. 2014Profesionální vývoj software vyžaduje robustní vývojový proces. Při implementaci vybraného procesu je často zapotřebí zintegrovat několik vývojář\-ských nástrojů či služeb. Pří návrhu integrace je potřeba rozhodnout především ... -
Client-side execution of PHP applications compiled to .NET
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2021)Date of defense: 2. 7. 2021Peachpie is a modern compiler enabling the compilation of PHP scripts into .NET. Blazor is a new part of the ASP.NET platform offering the usage of C# on a client side due to a new web standard, WebAssembly. This thesis ... -
Collective Entity Matching Solution for ClueMaker Application
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2021)Date of defense: 13. 9. 2021ClueMaker (CM) is a Java desktop application used for data visualisation (via graph) by subjects like insurance companies (to unravel fraud activity), Czech organisation Hlí- dač Státu (to identify connections between ... -
Cross-platform Mobile Development
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2016)Date of defense: 8. 2. 2016Práce se bude zabývat problémy vývoje multiplatformního software pro mobilní zařízení. Autor bude analyzovat stávající frameworky a nástroje; poukáže na jejich silné a slabé stránky. Na základě této analýzy bude pilotní ... -
Databázový manažer
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2006)Date of defense: 18. 9. 2006Předložená práce pojednává o mnou vytvořeném programu DBManager. Práce sleduje důvody a motivace pro jeho vznik, popisuje analýzu předcházející vzniku programu stejně jako jeho implementaci a výslednou funkčnost. Program ... -
Design and Implementation of the Spad Filesystem
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2011)Date of defense: 6. 9. 2011This thesis describes design and implementation of the Spad filesystem. I present my novel method for maintaining filesystem consistency - crash counts. I describe architecture of other filesystems and present my own design ... -
Distribuované kontejnery
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Date of defense: 14. 9. 2009Distribuované hash tabulky poskytujú funkcionalitu podobnú bežným hash tabulkám. Na rozdiel od bežných hash tabuliek, DHT distribuujú uložené dáta v prostredí samoorganizujúcej sa peer-to-peer siete. V práci sa venujeme ... -
Distributed WEB framework
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2009)Date of defense: 25. 5. 2009Navrhnout a vyvinout distribuované prostředí pro vývoj distribuovaných komponentových web aplikací v jazyce PHP5. Prostředí umožňuje vývoj nezávislých znovuvyužitelných aplikačních komponent. Součástí práce je definice ... -
Distropine - Distribuovaný systém pro komentování webových stránek
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2012)Date of defense: 18. 6. 2012V tejto bakalárskej práci si kladieme za cieľ navrhnúť a implementovať peer-to-peer variantu služby pre komentovanie internetových zdrojov. Z funkčného hľadiska sa jedná o implementáciu diskusného fóra v P2P prostredí. ... -
Extraktor sémantických dat
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2007)Date of defense: 10. 9. 2007Předmět této práce je implementace systému pro efektivní extrakci velkého množství dat z webových stránek. Výsledný systém je schopen extrahovat, jak z jednoduchých statických stránek, tak i ze složitých webových aplikací. ... -
Framework for Customizable Autopilot Solutions
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2017)Date of defense: 12. 6. 2017Práca analyzuje, navrhuje a implementuje framework pre tvorbu prispôsobiteľných autopilotných systémov, určených pre rádiom riadené modely lietadiel. Pre účely overenia funkčnosti a vhodnosti frameworku sú vytvorené aplikácie ... -
Implementace procesní analýzy OR diagramů v metodě BORM
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2015)Date of defense: 7. 9. 2015Tato práce se zabývá modelováním, analýzou a simulací byznysových procesů v metodě BORM. V její teoretické části je vytvořen formální model pro stávající implementaci OR diagramu, který metoda používá, a popsán jeho převod ... -
Implementace Time Addressable Storage
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2008)Date of defense: 24. 9. 2008Přehled technologií používaných k udržování historických verzí dat - zálohování, snapshoty, asynchronní replikace, HSM, Storage Area Network, virtualizace úložných prostor. Popis vrstvy device mapper implementvané v ... -
Implementing control flow resolution in dynamic language
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2014)Date of defense: 8. 9. 2014S dynamickými programovacími jazyky je možné psát kód bez typové informace a typy proměnných se mohou měnit za běhu. Přestože se dynamické typování snadněji používá a je vhodné pro rychlé prototypování, dynamicky typovaný ... -
Implementing the Dynamic Languages Using DLR Technology
Defence status: DEFENDED(Univerzita Karlova, Matematicko-fyzikální fakulta, 2010)Date of defense: 7. 9. 2010The Microsoft .NET Framework byl od jeho počátku vytvořen tak, aby podporoval široké spektrum jazyků nad Common Language Runtime (CLR). CLR poskytuje technologie jako garbage collection, JIT nebo integrované vývojové ...