|
|
Minimization of Counting Automata
Turcel, Matej ; Vojnar, Tomáš (oponent) ; Holík, Lukáš (vedoucí práce)
This works deals with size reduction of counting automata (CA). Counting automata extend the classical finite automata with bounded counters. This allows efficient handling of e.g. regular expressions with repetition: a{5,10}. In this thesis we discusses the simulation relation in CA, which allows us to reduce their size. We rely on classical simulation in finite automata, which we non-trivially extend to CA. The key difference lies in the necessity to simulate counters as well as states. To this end, we present the novel concept of parameterized simulation relation in CA, and propose methods for computing this relation and using it to reduce the size of a CA. The proposed methods have been implemented and their efficiency experimentally evaluated.
|
|
|
Akcelerace aplikací na GPU v jazyce Python
Turcel, Matej ; Jaroš, Jiří (oponent) ; Jaroš, Marta (vedoucí práce)
Konvenčne sa v oblasti high performance computing (HPC) používajú prekladané jazyky, ako napríklad C++. Skriptovacie jazyky ako Python sú však pohodlnejšie a vývoj aplikácií je v nich rýchlejší a jednoduchší. Táto práca porovnáva jazyky C++ a Python z hľadiska možnosti akcelerácie výpočtov na grafickej karte. Jej cieľom je ukázať, že skriptovacie jazyky sú taktiež použiteľné na implementáciu HPC aplikácií a poukázať na ich výhody a nevýhody oproti prekladaným jazykom. Za týmto účelom je implementovaných niekoľko programov. Tie pozostávajú z niekoľkých menších testovacích programov a jedného väčšieho programu, riešiaceho výpočtovo náročný problém. Implementácie týchto programov v jazykoch C++ a Python sú porovnané ako z hľadiska výkonu, tak z hľadiska náročnosti implementácie.
|
|
|
Minimization of Counting Automata
Turcel, Matej ; Vojnar, Tomáš (oponent) ; Holík, Lukáš (vedoucí práce)
This works deals with size reduction of counting automata (CA). Counting automata extend the classical finite automata with bounded counters. This allows efficient handling of e.g. regular expressions with repetition: a{5,10}. In this thesis we discusses the simulation relation in CA, which allows us to reduce their size. We rely on classical simulation in finite automata, which we non-trivially extend to CA. The key difference lies in the necessity to simulate counters as well as states. To this end, we present the novel concept of parameterized simulation relation in CA, and propose methods for computing this relation and using it to reduce the size of a CA. The proposed methods have been implemented and their efficiency experimentally evaluated.
|
|
|
Minimization of Counting Automata
Turcel, Matej ; Vojnar, Tomáš (oponent) ; Holík, Lukáš (vedoucí práce)
This works deals with size reduction of counting automata (CA). Counting automata extend the classical finite automata with bounded counters. This allows efficient handling of e.g. regular expressions with repetition: a{5,10}. In this thesis we discusses the simulation relation in CA, which allows us to reduce their size. We rely on classical simulation in finite automata, which we non-trivially extend to CA. The key difference lies in the necessity to simulate counters as well as states. To this end, we present the novel concept of parameterized simulation relation in CA, and propose methods for computing this relation and using it to reduce the size of a CA. The proposed methods have been implemented and their efficiency experimentally evaluated.
|
|
|
Minimization of Counting Automata
Turcel, Matej ; Vojnar, Tomáš (oponent) ; Holík, Lukáš (vedoucí práce)
This works deals with size reduction of counting automata (CA). Counting automata extend the classical finite automata with bounded counters. This allows efficient handling of e.g. regular expressions with repetition: a{5,10}. In this thesis we discusses the simulation relation in CA, which allows us to reduce their size. We rely on classical simulation in finite automata, which we non-trivially extend to CA. The key difference lies in the necessity to simulate counters as well as states. To this end, we present the novel concept of parameterized simulation relation in CA, and propose methods for computing this relation and using it to reduce the size of a CA. The proposed methods have been implemented and their efficiency experimentally evaluated.
|
|
|
Akcelerace aplikací na GPU v jazyce Python
Turcel, Matej ; Jaroš, Jiří (oponent) ; Jaroš, Marta (vedoucí práce)
Konvenčne sa v oblasti high performance computing (HPC) používajú prekladané jazyky, ako napríklad C++. Skriptovacie jazyky ako Python sú však pohodlnejšie a vývoj aplikácií je v nich rýchlejší a jednoduchší. Táto práca porovnáva jazyky C++ a Python z hľadiska možnosti akcelerácie výpočtov na grafickej karte. Jej cieľom je ukázať, že skriptovacie jazyky sú taktiež použiteľné na implementáciu HPC aplikácií a poukázať na ich výhody a nevýhody oproti prekladaným jazykom. Za týmto účelom je implementovaných niekoľko programov. Tie pozostávajú z niekoľkých menších testovacích programov a jedného väčšieho programu, riešiaceho výpočtovo náročný problém. Implementácie týchto programov v jazykoch C++ a Python sú porovnané ako z hľadiska výkonu, tak z hľadiska náročnosti implementácie.
|
host ::
RSS.