Automatizovaná paralelizace zpracování vstupních dat na základě kauzality – Bc. Richard Kakaš
Bc. Richard Kakaš
Diplomová práce
Automatizovaná paralelizace zpracování vstupních dat na základě kauzality
Causality-Based Parallelization of Input Data Processing
Anotace:
Existujú dva spôsoby ako vylepšiť výkon počítačov - zvýšenie frekvencie procesora alebo pridanie viacerých procesorov. Prvý spôsob nevyžaduje žiadne zmeny programu, ktorý vykonáva výpočty počítača. Na druhú stranu, existuje fyzikálny limit frekvencie procesora, ktorý je dosiahnuteľný v bežných podmienkach. Druhý spôsob vyžaduje zmeny programu, ktoré umožnia jeho vykonávanie na viacerých procesorov …víceAbstract:
There are two ways how to improve the performance of the computer’s computation - increasing the clock-speed of the computer’s processing unit or attaching more processing units to the computer. The first approach does not require any changes to the program that carries out the computations. However, there is a limit for the clock-speed which is still possible to achieve due to physical limitations …víceKeywords
parallelization parallel programming language programming paradigm message-driven programming event-driven programming nodejs antlr static code analysis symbolic execution compilation compiler interpreter paralelizacia programovacý jazyk programovacia paradigma kompilácia symbolická exekúcia statická analýza kódu
Jazyk práce: angličtina
Datum vytvoření / odevzdání či podání práce: 17. 5. 2018
Identifikátor:
https://is.muni.cz/th/zww9x/
Obhajoba závěrečné práce
- Obhajoba proběhla 22. 6. 2018
- Vedoucí: prof. RNDr. Antonín Kučera, Ph.D.
- Oponent: doc. Mgr. Jan Obdržálek, PhD.
Citační záznam
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 informatikyMasarykova univerzita
Fakulta informatikyMagisterský studijní program / obor:
Informatika / Paralelní a distribuované systémy
Práce na příbuzné téma
-
Statická analýza zdrojového kódu jazyka CodAL
Martin Fajčík -
Statická analýza kódu v souladu s požadavky normy EN 50128
Václav PRŮCHA -
Detekce bezpečnostních chyb pomocí statické analýzy kódu
David Formánek -
Identifikace anomálií v kvalitě kódu pomocí nástroje Sonarqube
Tomáš Lestyan -
Nástroje pro statickou a dynamickou analýzu kódu se zaměřením na bezpečnostní chyby
David Formánek -
Aplikace nástrojů na kvalitu kódu
Tomáš Holub -
Zásuvný modul do programu SonarQube umožňující detekci návrhových vzorů ve zdrojovém kódu
Jakub Osmančík -
High-Level Programming Language Transpilers
Andrej Mokriš