  Thesis title |
Year of announcement |
Year of defence |
Thesis type | Thesis discipline | Supervisor |
Author |
Announced |
Assigned | Department | Faculty | |
 |
HelenOS as Xen hypervisor | 2010/2011 | 2011/2012 | diploma thesis | ISS | Mgr. Martin Děcký, Ph.D. | hidden |
25.10.2010 | 12.11.2010 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF |
|
Evaluation of Usefulness of Debugging Tools | 2012/2013 | 2014/2015 | diploma thesis | ISS | Mgr. Martin Děcký, Ph.D. | hidden |
03.09.2013 | 04.09.2013 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF |
|
HelenOS routing and porting of BIRD | 2015/2016 | 2017/2018 | diploma thesis | ISS | Mgr. Martin Děcký, Ph.D. | hidden |
12.04.2016 | 13.04.2016 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF |
|
Device drivers interface in HelenOS system | 2007/2008 | 2009/2010 | diploma thesis | Mgr. Martin Děcký, Ph.D. | hidden |
30.09.2007 | 16.01.2008 | Katedra softwarového inženýrství (32-KSI) | MFF | |
|
Resource limiting and accounting facility for FreeBSD | 2012/2013 | 2012/2013 | diploma thesis | ISS | Mgr. Martin Děcký, Ph.D. | hidden |
11.10.2012 | 11.10.2012 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF |
|
Linux kernel userspace modules | 2006/2007 | 2007/2008 | diploma thesis | Mgr. Martin Děcký, Ph.D. | hidden |
06.11.2006 | 06.11.2006 | Katedra softwarového inženýrství (32-KSI) | MFF | |
|
Graphics Stack for HelenOS | 2011/2012 | 2012/2013 | diploma thesis | ISS | Mgr. Martin Děcký, Ph.D. | hidden |
10.09.2011 | 14.11.2011 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF |
|
Object-oriented interface for IPC layer in HelenOS system | 2011/2012 | diploma thesis | Mgr. Martin Děcký, Ph.D. | 14.09.2010 | Ne | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF | |||
|
Security containers and access rights in HelenOS | 2009/2010 | 2010/2011 | diploma thesis | ISS | Mgr. Martin Děcký, Ph.D. | hidden |
09.11.2009 | 11.11.2009 | Katedra softwarového inženýrství (32-KSI) | MFF |
|
Network file system for HelenOS | 2014/2015 | Bachelor's thesis | ISPS | Mgr. Martin Děcký, Ph.D. | hidden |
30.09.2015 | 26.11.2015 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF | |
|
IPv6 for HelenOS | 2012/2013 | 2012/2013 | diploma thesis | ISS | Mgr. Martin Děcký, Ph.D. | RNDr. JUDr. Antonín Steinhauser, Ph.D. | 16.10.2012 | 18.03.2013 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF |
|
Port of QEMU to HelenOS | 2013/2014 | 2014/2015 | diploma thesis | ISS | Mgr. Martin Děcký, Ph.D. | hidden |
21.11.2013 | 29.09.2014 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF |
|
Task snapshoting in HelenOS | 2008/2009 | 2009/2010 | diploma thesis | ISS | Mgr. Martin Děcký, Ph.D. | hidden |
30.09.2007 | 30.06.2009 | Katedra softwarového inženýrství (32-KSI) | MFF |
|
DNS and Knot for HelenOS | 2015/2016 | diploma thesis | Mgr. Martin Děcký, Ph.D. | 19.10.2012 | Ne | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF | |||
|
Modern operating system without MMU | 2008/2009 | 2010/2011 | diploma thesis | ISS | Mgr. Martin Děcký, Ph.D. | hidden |
11.03.2009 | 13.03.2009 | Katedra softwarového inženýrství (32-KSI) | MFF |
|
HelenOS VFS-FUSE connector | 2010/2011 | 2013/2014 | diploma thesis | ISS | Mgr. Martin Děcký, Ph.D. | hidden |
25.10.2010 | 12.11.2010 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF |
|
IEEE 802.11 wireless networking for HelenOS | 2013/2014 | 2014/2015 | diploma thesis | ISS | Mgr. Martin Děcký, Ph.D. | hidden |
19.11.2013 | 21.05.2014 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF |
|
HelenOS NTFS filesystem driver | 2010/2011 | diploma thesis | Mgr. Martin Děcký, Ph.D. | hidden |
25.10.2010 | 10.11.2010 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF | ||
|
Dynamic linking, debugging and tracing in HelenOS | 2007/2008 | 2008/2009 | diploma thesis | ISS | Mgr. Martin Děcký, Ph.D. | hidden |
27.03.2008 | 03.06.2008 | Katedra softwarového inženýrství (32-KSI) | MFF |
|
HelenOS routing and porting of BIRD | 2015/2016 | 2016/2017 | diploma thesis | ISS | Mgr. Martin Děcký, Ph.D. | hidden |
12.04.2016 | 13.04.2016 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF |
|
HelenOS installer | 2011/2012 | 2013/2014 | Bachelor's thesis | IOI | Mgr. Martin Děcký, Ph.D. | hidden |
03.10.2011 | 15.11.2011 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF |
|
C++ Runtime for HelenOS | 2017/2018 | 2021/2022 | diploma thesis | ISS | Mgr. Martin Děcký, Ph.D. | hidden |
30.04.2018 | 01.05.2018 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF |
|
Read-Copy-Update for OpenSolaris | 2009/2010 | 2009/2010 | diploma thesis | Mgr. Martin Děcký, Ph.D. | hidden |
12.11.2009 | 12.11.2009 | Katedra softwarového inženýrství (32-KSI) | MFF | |
|
Interactive Debugger for MSIM | 2010/2011 | 2011/2012 | Bachelor's thesis | IP | Mgr. Martin Děcký, Ph.D. | hidden |
25.03.2011 | 28.03.2011 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF |
|
Vector Screencast | 2014/2015 | 2014/2015 | Bachelor's thesis | IPSS | Mgr. Martin Děcký, Ph.D. | hidden |
28.09.2014 | 02.10.2014 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF |
|
HelenOS port to Xen hypervisor | 2010/2011 | 2011/2012 | diploma thesis | ISS | Mgr. Martin Děcký, Ph.D. | hidden |
12.11.2010 | 12.11.2010 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF |
|
HelenOS ext4 filesystem driver | 2010/2011 | 2011/2012 | diploma thesis | ISS | Mgr. Martin Děcký, Ph.D. | hidden |
25.10.2010 | 01.11.2010 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF |
|
HelenOS packet filter | 2014/2015 | 2014/2015 | Bachelor's thesis | IOI | Mgr. Martin Děcký, Ph.D. | hidden |
18.09.2014 | 27.09.2014 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF |
|
HelenOS VFS-FUSE connector | 2010/2011 | 2012/2013 | diploma thesis | ISS | Mgr. Martin Děcký, Ph.D. | hidden |
25.10.2010 | 12.11.2010 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF |
|
Undetectable Debugger | 2011/2012 | 2011/2012 | diploma thesis | ISS | Mgr. Martin Děcký, Ph.D. | hidden |
14.10.2011 | 31.10.2011 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF |
|
Support for UltraSPARC III, IV, T1 and T2 processors in HelenOS | 2007/2008 | 2008/2009 | diploma thesis | Mgr. Martin Děcký, Ph.D. | hidden |
13.11.2007 | 16.01.2008 | Katedra softwarového inženýrství (32-KSI) | MFF | |
|
Framework for distributed monitoring of services | 2008/2009 | 2009/2010 | Bachelor's thesis | ISPS | Mgr. Martin Děcký, Ph.D. | hidden |
04.03.2009 | 15.09.2009 | Katedra softwarového inženýrství (32-KSI) | MFF |
|
HelenOS VFS-FUSE connector | 2010/2011 | 2013/2014 | diploma thesis | ISS | Mgr. Martin Děcký, Ph.D. | hidden |
25.10.2010 | 12.11.2010 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF |
|
Subtitles heuristics | 2014/2015 | 2014/2015 | Bachelor's thesis | IOI | Mgr. Martin Děcký, Ph.D. | hidden |
09.11.2014 | 10.11.2014 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF |
|
Read-Copy-Update for HelenOS | 2012/2013 | 2012/2013 | diploma thesis | ISS | Mgr. Martin Děcký, Ph.D. | hidden |
10.10.2012 | 29.11.2012 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF |
|
HelenOS Monitoring | 2009/2010 | 2009/2010 | diploma thesis | Mgr. Martin Děcký, Ph.D. | hidden |
22.02.2010 | 29.03.2010 | Katedra softwarového inženýrství (32-KSI) | MFF | |
|
HelenOS Continuous Integration | 2011/2012 | diploma thesis | ISS | Mgr. Martin Děcký, Ph.D. | hidden |
14.10.2011 | 17.10.2011 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF | |
|
Networking and TCP/IP stack for HelenOS system | 2007/2008 | 2009/2010 | diploma thesis | Mgr. Martin Děcký, Ph.D. | hidden |
30.09.2007 | 06.11.2007 | Katedra softwarového inženýrství (32-KSI) | MFF | |
|
Modular Objective-C run-time library | 2011/2012 | 2012/2013 | diploma thesis | ISS | Mgr. Martin Děcký, Ph.D. | hidden |
20.10.2011 | 10.11.2011 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF |
|
Parallel fsck | 2006/2007 | Bachelor's thesis | IOI | Mgr. Martin Děcký, Ph.D. | hidden |
26.11.2006 | 03.12.2006 | Katedra softwarového inženýrství (32-KSI) | MFF | |
|
HelenOS sound subsystem | 2011/2012 | 2012/2013 | diploma thesis | ISS | Mgr. Martin Děcký, Ph.D. | hidden |
14.10.2011 | 14.11.2011 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF |
|
System daemon for HelenOS | 2014/2015 | 2015/2016 | diploma thesis | ISS | Mgr. Martin Děcký, Ph.D. | hidden |
19.10.2012 | 19.11.2014 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF |
|
Task snapshoting in HelenOS | 2008/2009 | 2009/2010 | diploma thesis | Mgr. Martin Děcký, Ph.D. | hidden |
30.09.2007 | 30.06.2009 | Katedra softwarového inženýrství (32-KSI) | MFF | |
|
Support for NUMA hardware in HelenOS | 2010/2011 | 2010/2011 | diploma thesis | ISS | Mgr. Martin Děcký, Ph.D. | hidden |
14.09.2010 | 02.11.2010 | Katedra distribuovaných a spolehlivých systémů (32-KDSS) | MFF |
Results 1-44 of 44 1