Národní úložiště šedé literatury Nalezeno 2 záznamů.  Hledání trvalo 0.00 vteřin. 
Static data flow analysis for Java programs
Mečiar, Martin ; Zavoral, Filip (vedoucí práce) ; Kofroň, Jan (oponent)
Tato práce navrhuje metodologii JaBSSA určenou k ziskání zavislostí mezi vstu- py a výstupy Java programů za použití statické programové analýzy na byte- code Java programů. Metodologie JaBSSA je založená na konstrukci context- sensitive grafu volání analyzovaného programu a následnou konstrukci oriento- vaného grafu datových toků, kde uzly majíci specifická metadata reprezentují vstupy a výstupy analyzovaného programu a hrany představují datové toky mezi nimi v analyzovaném programu. Program na přiloženém CD obsahuje imple- mentaci pro metodologii JaBSSA, což slouží jako ověření navrhovaného konceptu. Příklady Java programů spolu se sadou testů, která generuje výsledky implemen- tace metodologie JaBSSA na příkladech, jsou součástí daného programu. Vyge- nerované výsledky slouží pro demonstraci schopností a nedostatků navrhovaného konceptu. 1
Visualisation of interval data
Mečiar, Martin ; Horáček, Jaroslav (vedoucí práce) ; Rada, Miroslav (oponent)
Práce se zabývá vizualizací, porovnáváním a úpravami výstupů intervalových solverů pro řešení spojitého problému splňování omezujících podmínek. V práci je předloženo autorem navržené řešení aproximace výsledků solverů. Aproximace výsledků solverů je v práci převedena na úlohu vizuálního přerozdělení jednotlivých množin výstupů solverů mezi sebou na jemnější úrovni, nežli na úrovni reálních intervalových boxů. Hlavní součástí práce je program na přiloženém CD umožňující vizualizaci, porovnání a úpravy jednotlivých řešení solverů. Program je napsán v jazyce C++, avšak je přeložitelný jako MEX soubor pro MATLAB. K programu se v práci nachází uživatelská i programátorská dokumentace. Práce uvádí několik příkladů výstupů programu v kapitole na to vyhrazené. Powered by TCPDF (www.tcpdf.org)

Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.