Hledat
Zobrazují se záznamy 1-10 z 171
HelenOS VFS-FUSE connector
HelenOS VFS-FUSE connector
Diplomová práce
Vedoucí práce: Děcký, Martin
Dátum publikování:
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. ...
Verification of Textual Use-Cases
Formální vertifikace textových use casů
Diplomová práce
Vedoucí práce: Šimko, Viliam
Dátum publikování:
Datum obhajoby: 09. 09. 2013
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Cílem práce je poskytnout nástroj pro formální verifikaci systému, který je popsán pomocí textových případů užití (textual use cases). Nástroj umožňuje automatické ověření invariantů vyjádřených pomocí formulí temporální ...
The aim of this thesis is to create a tool for formal verification of systems specified using textual use- cases. The tool should allow for automated verification of temporal invariants specified in temporal logic (CTL and ...
The aim of this thesis is to create a tool for formal verification of systems specified using textual use- cases. The tool should allow for automated verification of temporal invariants specified in temporal logic (CTL and ...
Dynamic Software Architectures for Resilient Distributed Systems
Dynamické Softwarové Architektury pro Resilientní Distribuované Systémy
Dizertační práce
Vedoucí práce: Bureš, Tomáš
Dátum publikování:
Datum obhajoby: 17. 09. 2014
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Resilientní Distribuované Systémy (RDS) jsou ty rozsáhlé distribuované systémy, které fungují spolehlivě navzdory svému značně dynamickému, otevřenému a z principu nepředvídatelnému prostředí. Takováto kombinace systémových ...
Resilient Distributed Systems (RDS) are large-scale distributed systems that remain de-pendable despite their very dynamic, open-ended, and inherently unpredictable environ-ments. This combination of system and environment ...
Resilient Distributed Systems (RDS) are large-scale distributed systems that remain de-pendable despite their very dynamic, open-ended, and inherently unpredictable environ-ments. This combination of system and environment ...
System daemon for HelenOS
System daemon for HelenOS
Diplomová práce
Vedoucí práce: Děcký, Martin
Dátum publikování:
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 ...
Analysis of Knowledge Obsolescence in Ensemble-Based Component Systems
Analysis of Knowledge Obsolescence in Ensemble-Based Component Systems
Diplomová práce
Vedoucí práce: Bureš, Tomáš
Dátum publikování:
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 ...
Port of QEMU to HelenOS
Port QEMU na HelenOS
Diplomová práce
Vedoucí práce: Děcký, Martin
Dátum publikování:
Datum obhajoby: 09. 09. 2015
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: QEMU je emulátor procesoru schopný emulovat různé hardwarové platformy jako jsou PC, PowerPC, ARM a SPARC. Úkolem této diplomové práce je portovat QEMU na HelenOS a tím umožnit vývojářům spustit emulaci HelenOS uvnitř ...
QEMU is a machine emulator that is able to emulate environment of various hardware platforms, including PC, PowerPC, ARM and SPARC. The goal of this master thesis is to port QEMU to HelenOS, thus allowing developers run ...
QEMU is a machine emulator that is able to emulate environment of various hardware platforms, including PC, PowerPC, ARM and SPARC. The goal of this master thesis is to port QEMU to HelenOS, thus allowing developers run ...
Interactive Debugger for MSIM
Interactive Debugger for MSIM
Bakalářská práce
Vedoucí práce: Děcký, Martin
Dátum publikování:
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 ...
Přenositelnost systému souborů zlomekFS
Portability in zlomekFS
Diplomová práce
Vedoucí práce: Tůma, Petr
Dátum publikování:
Datum obhajoby: 03. 09. 2012
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: ZlomekFS je distribuovaný souborový systém určený k transparentnímu sdílení adresářových stromů. Tato práce se zabývá možností portability souborového systému zlomekFS na jiný operační systém. V první části jsou popsány ...
ZlomekFS is a distributed file system designed for transparent sharing of directory trees. This work deals with the possibility of portability zlomekFS to another operating system. The first section describes the problems ...
ZlomekFS is a distributed file system designed for transparent sharing of directory trees. This work deals with the possibility of portability zlomekFS to another operating system. The first section describes the problems ...
Run-time performance testing in Java
Testování výkonu za běhu v Javě
Diplomová práce
Vedoucí práce: Horký, Vojtěch
Dátum publikování:
Datum obhajoby: 15. 06. 2015
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Práce je zaměřena na relativní porovnávání výkonu jednotlivých metod. Základem je Stochastic Performance Logic, která například umožňuje vyjádřit, že běh jedné metody trvá nejvýše dvakrát déle než běh jiné metody. Tyto ...
This work focuses on relative comparisons of individual methods performance. It is based on Stochastic Performance Logic, which allows to express, for example, that one method runs at most two times longer than another ...
This work focuses on relative comparisons of individual methods performance. It is based on Stochastic Performance Logic, which allows to express, for example, that one method runs at most two times longer than another ...
Scripting in Audacity Audio Editor
Scripting in Audacity Audio Editor
Bakalářská práce
Vedoucí práce: Pop, Tomáš
Dátum publikování:
Datum obhajoby: 20. 06. 2013
Fakulta / součást: Matematicko-fyzikální fakulta / Faculty of Mathematics and Physics
Abstrakt: Cílem této bakalářské práce byl vytvoření doplňku k programu Audacity, což by umožněl používání scriptu během editaci zvukovych nahrávek. V první části práce je popsaná architektura Audacity, jaké jsou možnosti pro doplnění ...
Audacity is popular and widely used audio editor available for all the main platforms including Windows, Mac as well as various Linux distributions. Audacity functionality can be controlled via sophisticated user interface, ...
Audacity is popular and widely used audio editor available for all the main platforms including Windows, Mac as well as various Linux distributions. Audacity functionality can be controlled via sophisticated user interface, ...