Bc. Lukáš Tomovič
Master's thesis
Slicing of Parallel Programs
Slicing of Parallel Programs
Anotácia:
Táto práca je zameraná na statické prerezávanie viacvláknových programov. Práca vysvetľuje statické prerezávanie programov vo všeobecnosti a potom prezentuje problematiku spojenú s prerezávaním paralelných programov. Objasňuje v súčasnosti používané metódy pre prerezávanie viacvláknových programov a implementuje ich ako rozšírenie do existujúcej knižnice DG. Táto implementácia umožňuje, aby bola DG …viacAbstract:
This thesis is focused on static slicing of multi-threaded programs. We provide a reader with an explanation of static program slicing in general and after that we present problems connected with slicing of parallel programs. Work discusses nowadays used methods for solving these problems and implements them into already existing DG slicer making it capable of handling concurrent programs. Implemented …viac
Jazyk práce: English
Datum vytvoření / odevzdání či podání práce: 20. 5. 2019
Identifikátor:
https://is.muni.cz/th/o1s3u/
Obhajoba závěrečné práce
- Obhajoba proběhla 20. 6. 2019
- Vedúci: doc. RNDr. Jan Strejček, Ph.D.
- Oponent: RNDr. Vladimír Štill
Plný text práce
Obsah online archivu závěrečné práce
Zveřejněno v Theses:- světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatikyMasaryk University
Faculty of InformaticsMaster programme / odbor:
Informatics / Parallel and Distributed Systems
Práce na příbuzné téma
-
Static analysis of Python code
Jakub Kiska -
Custom Roslyn Tool for Static Code Analysis
Zuzana Dankovčíková -
The Static Analysis and Sensitivity Study of the Car-latch Tensile Strength
Venkatesh Nagarajan Kamaladevi -
Static Analysis Using the Meta Infer Framework to Detect Data Races
Lucie Svobodová -
Evaluating Reliability of Static Analysis Results Using Machine Learning
Tomáš Beránek -
Analysis of Static and Dynamic Investment Strategies
Yuchun Zhou -
Static Code Analysis Tool for the Apex Programming Language
Belek Omurzakov -
Advanced Static Performance Analysis Using Meta Infer
Ondřej Pavela