Hledat
Zobrazují se záznamy 1-10 z 24
HelenOS VFS-FUSE connector
HelenOS VFS-FUSE connector
Diplomová práce (OBHÁJENO)
Vedoucí práce: Děcký, Martin
Datum publikování: 2014
Datum obhajoby: 08. 09. 2014
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Tato 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 ...
This master thesis deals with the implementation of a connector between FUSE file system drivers and HelenOS native VFS interface. The thesis first describes the way of finding the best solution and the potential possibilities. ...
This master thesis deals with the implementation of a connector between FUSE file system drivers and HelenOS native VFS interface. The thesis first describes the way of finding the best solution and the potential possibilities. ...
Extending Data Lineage Analysis Towards .NET Frameworks
Rozšíření analýzy datových toků o podporu knihoven na platformě .NET
Diplomová práce (OBHÁJENO)
Vedoucí práce: Parízek, Pavel
Datum publikování: 2021
Datum obhajoby: 13. 09. 2021
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Platforma Manta je jednotný komerční produkt pro analýzu a vizualizaci datových toků. Platforma Manta podporuje mnoho technologií. Jednou z kategorií technologií jsou takzvané intermediate jazyky. Mezi ně patří například ...
The Manta platform is a unified commercial product for data flow analysis and vi- sualization. Manta platform supports many technologies. One category of technologies is intermediate languages. These include, for example, ...
The Manta platform is a unified commercial product for data flow analysis and vi- sualization. Manta platform supports many technologies. One category of technologies is intermediate languages. These include, for example, ...
RTEMS Support for Lego NXT
RTEMS Support for Lego NXT
Diplomová práce (OBHÁJENO)
Vedoucí práce: Bureš, Tomáš
Datum publikování: 2013
Datum obhajoby: 09. 09. 2013
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: RTEMS je voľne šíriteľný operačný systém reálneho času, používaný v mnohých vstavaných zariadeniach zahrňujúci rôzne procesorové architektúry. Lego Mindstorms NXT je programovateľná robotická sada spoločnosti Lego, ktorá ...
RTEMS is an open source real-time operating system used in embedded devices across a wide range of processor architectures. Lego Mindstorms NXT is a programmable robotics kit from Lego, which may be used as an educational ...
RTEMS is an open source real-time operating system used in embedded devices across a wide range of processor architectures. Lego Mindstorms NXT is a programmable robotics kit from Lego, which may be used as an educational ...
Signature-based User Authentication
Signature-based User Authentication
Diplomová práce (OBHÁJENO)
Vedoucí práce: Jančík, Pavel
Datum publikování: 2015
Datum obhajoby: 15. 06. 2015
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Tato práce zpracovává chybějící možnost autentifikace uživatele podpisem v systému Windows. Výsledkem této práce je software, který umožňuje přihlášení uživatele do systému Windows podpisem. Zaměřili jsme se zejména na ...
This work aims on missing handwritten signature authentication in Windows. Result of this work is standalone software that allow users to log into Windows by writing signature. We focus on security of signature authentification ...
This work aims on missing handwritten signature authentication in Windows. Result of this work is standalone software that allow users to log into Windows by writing signature. We focus on security of signature authentification ...
Simulink Block Library for LEGO NXT
Simulink Block Library for LEGO NXT
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: Simulink Block Library for LEGO NXT Abstrakt Dominik Škoda July 30, 2014 Cílem této práce je vytvořit podporu platformy LEGO NXT ve vývojářském prostředí Simulink. Takováto podpora cílové platformy již existuje, ale má ...
Simulink Block Library for LEGO NXT Abstract Dominik Škoda July 30, 2014 The goal of this work is to create a support for the LEGO NXT platform in Simulink development environment. Such support of the target platform already ...
Simulink Block Library for LEGO NXT Abstract Dominik Škoda July 30, 2014 The goal of this work is to create a support for the LEGO NXT platform in Simulink development environment. Such support of the target platform already ...
Data Lineage Analysis of Frameworks with Complex Interaction Patterns
Analýza datových toků pro knihovny se složitými vzory interakcí
Diplomová práce (OBHÁJENO)
Vedoucí práce: Parízek, Pavel
Datum publikování: 2020
Datum obhajoby: 16. 09. 2020
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Manta Flow je nástroj pro analýzu toku dat v podnikovém prostředí. Obsahuje modul Java skener, využívající statickou analýzu k nalezení datových toků Java aplikacemi. Aby bylo možné analyzovat aplikaci využívající určitý ...
Manta Flow is a tool for analyzing data flow in enterprise environment. It features Java scanner, a module using static analysis to determine the flows through Java applications. To analyze an application using some ...
Manta Flow is a tool for analyzing data flow in enterprise environment. It features Java scanner, a module using static analysis to determine the flows through Java applications. To analyze an application using some ...
Evaluation of Usefulness of Debugging Tools
Vyhodnocování užitečnosti ladících nástrojů
Diplomová práce (OBHÁJENO)
Vedoucí práce: Děcký, Martin
Datum publikování: 2015
Datum obhajoby: 09. 09. 2015
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Ladě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. ...
Debugging is a very time-consuming activity for programmers. Although the number of proposed debugging tools is large, the number of tools that are actually adopted by practitioners and used during development of software ...
Debugging is a very time-consuming activity for programmers. Although the number of proposed debugging tools is large, the number of tools that are actually adopted by practitioners and used during development of software ...
Debugging Support for Static Analysis Library WALA
Podpora ladění ve knihovně WALA pro statickou analýzu
Diplomová práce (OBHÁJENO)
Vedoucí práce: Parízek, Pavel
Datum publikování: 2021
Datum obhajoby: 29. 06. 2021
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: V dnešní době je statická analýza užitečným nástrojem pro vývojáře, který zajistí kontrolu všech důležitých vlastností vyvinuté aplikace. Avšak i statické analýzy musí být vyvíjeny, což nevyhnutelně vede k potřebě je ladit ...
Nowadays, static analysis is a helpful option for developers to ensure all the important properties of a developed application. But these analyses must be also developed and it is inevitable that sometimes they must be ...
Nowadays, static analysis is a helpful option for developers to ensure all the important properties of a developed application. But these analyses must be also developed and it is inevitable that sometimes they must be ...
Ověřování asercí kódu pomocí zpětné symbolické exekuce
Code Assertions Verification Using Backward Symbolic Execution
Diplomová práce (OBHÁJENO)
Vedoucí práce: Kofroň, Jan
Datum publikování: 2017
Datum obhajoby: 06. 02. 2017
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Pro prevenci, odhalování a opravování chyb v softwaru existuje celá řada nástrojů pro programátory, přičemž některé z nich umožňují pracovat přímo se sémantikou programu. V případě jazyka C# jsou hlavními zástupci Microsoft ...
In order to prevent, detect and fix errors in software, various tools for programmers are available, while some of them are able to reason about the behaviour of the program. In the case of C# programming language, the ...
In order to prevent, detect and fix errors in software, various tools for programmers are available, while some of them are able to reason about the behaviour of the program. In the case of C# programming language, the ...
Analysis of Knowledge Obsolescence in Ensemble-Based Component Systems
Analysis of Knowledge Obsolescence in Ensemble-Based Component Systems
Diplomová práce (OBHÁJENO)
Vedoucí práce: Bureš, Tomáš
Datum publikování: 2015
Datum obhajoby: 15. 06. 2015
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Návrh distribuovaných vestavěných systémů je často netriviální proces. Jedna z potřeb je zaručení korektního chování systému. To vyžaduje ověřit, že informace propagované skrze systém jsou spolehlivé tedy především aktuální. ...
Designing Resilient Distributed embedded Systems is a challenging task. One of the design issues is to guarantee correct behavior of the system during the runtime. It demands verification that information propagated through ...
Designing Resilient Distributed embedded Systems is a challenging task. One of the design issues is to guarantee correct behavior of the system during the runtime. It demands verification that information propagated through ...