Implementace knihoven pro nástroj Kaira – Marek Večerka
Marek Večerka
Bakalářská práce
Implementace knihoven pro nástroj Kaira
Implementation of Libraries For the Tool Kaira
Anotace:
Tato práce je zaměřena na rozšíření nástroje KAIRA (http://verif.cs.vsb.cz/kaira/), který je dostupný jako open-source pod licencí GPL(GNU General Public License). Cílem mé práce je vytvořit knihovnu, která se skládá z pojmenovaných modulů, které mají svou specifickou funkčnost a jsou zaměřeny na konkrétní problematiku v oblasti paralelního programování z pohledu vizuálního návrhu. Hlavní přínos mé …víceAbstract:
This work is focused on expansion tool KAIRA (http://verif.cs.vsb.cz/kaira/), which is available as open-source under GPL (GNU General Public License). The goal of my work is create library that contains named modules with specific functions and focus on the issues about parallel programing from the perspective of visual draft. The main benefit of my work is effort to minimize situations with which …více
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 7. 5. 2015
Identifikátor:
http://hdl.handle.net/10084/108804
Obhajoba závěrečné práce
- Obhajoba proběhla 3. 6. 2015
- Vedoucí: Marek Běhálek
- Oponent: Ondřej Meca
Citační záznam
Plný text práce
Právo: Plné texty vysokoškolských kvalifikačních prací obhájených na Vysoké škole báňské - Technické univerzitě Ostrava jsou uloženy v repozitáři DSpace. Přístup k plným textům mají všichni uživatelé bez omezení. Přístup je omezen pouze ve výjimečných případech, zpravidla z důvodu ochrany duševního vlastnictví. Nepřístupné práce jsou označeny jako closedAccess nebo embargoedAccess. Tištěné verze prácí jsou uloženy v Ústřední knihovně VŠB-TUO a jsou prezenčně přístupné ve studovně diplomových prací. Další nakládání s prací (kopírování, opisy, MVS) se řídí Knihovní a výpůjčním řádem Ústřední knihovny VŠB-TUO.
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- autentizovaným zaměstnancům ze stejné školy/fakulty
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: VŠB - Technická univerzita OstravaVŠB - Technická univerzita Ostrava
Fakulta elektrotechniky a informatikyBakalářský studijní program / obor:
Informační a komunikační technologie / Informatika a výpočetní technika
Práce na příbuzné téma
-
Parallel solution of initial value problems using the parareal method
Jan Kowalczyk -
Asynchronous and parallel programming in .NET framework 4 and 4.5 using C#
Milan Manasievski -
Paralelní programování a datové struktury v C++
Adam Teršl -
Sada příkladů paralelního programování
Petr Semenišín -
Paralelní programování a jeho dopad na databázové systémy
Lukáš Juřina -
Paralelní programování v .NET Frameworku
Kryštof Laryš -
Paralelní a distribuované programování v .NET
Jakub Dolba -
Porovnání sériové a paralelní Gaussovy eliminační metody v distribuované paměti
Ondřej Charvát