Spelling suggestions: "subject:"eynthesis off programs"" "subject:"eynthesis oof programs""
1 |
Programų sintezė lygiagrečiuoju programavimo metodu / Synthesis of programs for parallel programming methodAugaitis, Darius 29 September 2008 (has links)
Šio darbo tikslai: sukurti, išanalizuoti ir suprojektuoti grafinę scenarijų kalbą, kuri leistų vartotojui nesunkiai piešimo būdu kurti sudėtingas programas, skirtas Grid sistemoms, suprojektuoti ir sukurti vartotojo sąsaja su programavimo galimybėmis, išanalizuoti tiriamos Grid sistemos trūkumus ir pasiūlyti alternatyvų sprendimą. / Goals of this work are: to analyze, make project of visual scenario language, which will provide ability for user easily create complicated programs for Grid system with drawing method, to analyze and make project of graphical user interface for the Grid system with ability to write program source, to analyze the Grid systems limitations and suggest alternative solution.
|
2 |
Pokročilé metody pro syntézu pravděpodobnostních programů / Advanced Methods for Synthesis of Probabilistic ProgramsStupinský, Šimon January 2021 (has links)
Pravdepodobnostné programy zohrávajú rozhodujúcu úlohu v rôznych technických doménach, ako napríklad počítačové siete, vstavané systémy, stratégie riadenia spotreby energie alebo softvérové produčkné linky. PAYNT je nástroj na automatizovanú syntézu pravdepodobnostných programov vyhovujúcich zadaným špecifikáciam. V tejto práci rozširujeme tento nástroj predovšetkým o podporu optimálnej syntézy a syntézy viacerých špecifikácií. Ďalej sme navrhli a implementovali novú metódu, ktorá dokáže efektívne syntetizovať parametre so spojitým definičným oborom ovplyvňujúce pravdepodobnostné prechody popri syntéze topológie programov, t.j., podporu pre syntézu topológie aj parametrov súčasne. Demonštrujeme užitočnosť a výkonnosť nástroja PAYNT na širokej škále prípadových štúdií z rôznych aplikačných domén ktoré majú uplatnenie v reálnom svete. Pri náročných problémoch syntézy môže PAYNT výrazne znížiť dobu behu až z dní na minúty a zároveň zaistiť úplnosť procesu syntézy.
|
Page generated in 0.066 seconds