|
|
Preprocesor Java bytecode pro verifikační nástroje
Šafařík, Tomáš ; Parízek, Pavel (vedoucí práce) ; Hnětynka, Petr (oponent)
Nástroje J2BP a PANDA umožňují verifikovat zkompilované Java programy. V současné době tyto nástroje nejsou schopny správně zpracovat programy s určitými sekvencemi instrukcí JVM bytecodu. Tyto sekvence instrukcí jsme popsali a navrhli jejich transformace. Na základě těchto návrhů jsme implementovali novou aplikaci BytecodeTransformer. Tato aplikace transformuje zkompilované Java programy a nahrazuje v nich problematické sekvence instrukcí bytecodu. Díky tomu se tedy rozšířila množina programů, které nástroje J2BP a PANDA dokážou verifikovat. Dále jsme vyhodnotili aplikaci BytecodeTransformer prostřednictvím našich i cizích Java programů. Tyto testy ukázaly správnou funkcionalitu implementované aplikace. Powered by TCPDF (www.tcpdf.org)
|
|
|
Překladač jazyka BASIC do assembleru
Šafařík, Tomáš ; Yaghob, Jakub (vedoucí práce) ; Dokulil, Jiří (oponent)
Následující text pojednává o prekladaci do assembleru programovacího jazyku, který je odvozen z jazyku BASIC. Tento nove vytvorený programovací jazyk je na zacátku specifikován vcetne diskuse o jednotlivých programovacích konstrukcích. V dalších kapitolách jsou potom popsány analýza a implementace prekladace. V kapitole pojednávající o analýze jsou popsány symbolické sémantické tabulky a reprezentace mezikódu prekladace. V kapitole o implementaci je možné nalézt bližší popis jednotlivých datových struktur a algoritmu použitých v prekladaci. V textu také nalezneme kapitolu popisující knihovny jazyku a behovou podporu preloženého programu. Další kapitola obsahuje popis implementace nekterých optimalizací. Jedná se o constant folding, unreachable code elimination, common subexpression elimination, elimination a function inlining. Poslední cást práce ukazuje zpusoby jak rozšírit jak jazyk, tak prekladac. Ctenár se muže také seznámit s nástroji jako Bison nebo Flex, které jsou použity pri implementaci prekladace.
|
|
| |
|
|
Preprocesor Java bytecode pro verifikační nástroje
Šafařík, Tomáš ; Parízek, Pavel (vedoucí práce) ; Hnětynka, Petr (oponent)
Nástroje J2BP a PANDA umožňují verifikovat zkompilované Java programy. V současné době tyto nástroje nejsou schopny správně zpracovat programy s určitými sekvencemi instrukcí JVM bytecodu. Tyto sekvence instrukcí jsme popsali a navrhli jejich transformace. Na základě těchto návrhů jsme implementovali novou aplikaci BytecodeTransformer. Tato aplikace transformuje zkompilované Java programy a nahrazuje v nich problematické sekvence instrukcí bytecodu. Díky tomu se tedy rozšířila množina programů, které nástroje J2BP a PANDA dokážou verifikovat. Dále jsme vyhodnotili aplikaci BytecodeTransformer prostřednictvím našich i cizích Java programů. Tyto testy ukázaly správnou funkcionalitu implementované aplikace. Powered by TCPDF (www.tcpdf.org)
|
|
|
Překladač jazyka BASIC do assembleru
Šafařík, Tomáš ; Dokulil, Jiří (oponent) ; Yaghob, Jakub (vedoucí práce)
Následující text pojednává o prekladaci do assembleru programovacího jazyku, který je odvozen z jazyku BASIC. Tento nove vytvorený programovací jazyk je na zacátku specifikován vcetne diskuse o jednotlivých programovacích konstrukcích. V dalších kapitolách jsou potom popsány analýza a implementace prekladace. V kapitole pojednávající o analýze jsou popsány symbolické sémantické tabulky a reprezentace mezikódu prekladace. V kapitole o implementaci je možné nalézt bližší popis jednotlivých datových struktur a algoritmu použitých v prekladaci. V textu také nalezneme kapitolu popisující knihovny jazyku a behovou podporu preloženého programu. Další kapitola obsahuje popis implementace nekterých optimalizací. Jedná se o constant folding, unreachable code elimination, common subexpression elimination, elimination a function inlining. Poslední cást práce ukazuje zpusoby jak rozšírit jak jazyk, tak prekladac. Ctenár se muže také seznámit s nástroji jako Bison nebo Flex, které jsou použity pri implementaci prekladace.
|
|
|
Analýza nabídkové strany ICT trhu
Šafařík, Tomáš ; Voříšek, Jiří (vedoucí práce) ; Kaletová, Radka (oponent)
Tato diplomová práce je zaměřena na popis, rozbor a objektivní analýzu dostupných ukazatelů vývoje trhu s informačními a komunikačními technologiemi v České republice. V určitých směrech navazuje na některé předchozí práce vytvořené na Katedře informačních technologií Vysoké školy ekonomické v Praze. Práce rozebírá období posledních deseti let, ideálně tedy roky 1997 -- 2007, ovšem v některých částech je z důvodu dostupnosti statistických dat období upraveno. Dále pak práce přináší popis současného stavu trhu a nastínění trendů, které může sloužit jako předběžný odhad budoucího vývoje. Specifickým přínosem této práce je analýza provedená nad daty získanými z každoročního přehledu o stu nejaktivnějších hráčích na českém trhu s informačními a komunikačními technologiemi získaných z Computerworld Top 100 od firmy IDG Czech a.s. a daty získanými z ročenek European Information Technology Observatory (EITO). Objektivní posouzení těchto dat, jejich ověření proti dostupným údajům z jiného zdroje a vztažení k relevantním událostem tak poskytuje ucelený a objektivní pohled na dílčí vlivy, které formovaly a ovlivňují trh s informačními a komunikačními technologiemi v České republice. Celá práce i její jednotlivé kapitoly, které jsou pokud možno koncipovány jako jednotlivé celky, jsou určeny jako ucelený přehled tématu, kterým se zabývají. Jejich cílem je tak poskytnout shrnutý pohled na problematiku z relevantních zdrojů s objektivní interpretací a komentářem. Hlavní poznatky z jednotlivých částí práce jsou podklady pro závěr práce, kde je uvedeno celkové shrnutí nejdůležitějších a nejzajímavějších zjištění a také výhled do budoucna s ohledem na oblasti a technologie na trhu informačních a komunikačních technologií s největším potenciálem. Práce si neklade ambici být samostatným ultimativním zdrojem informací o problematice. Má sloužit jako přehledný souhrn pro toho, kdo se v problematice chce zorientovat, a jako kvalitní zdroj s odkazy na externí dokumenty a další zdroje informací pro toho, kdo se chce tématu věnovat detailně.
|
host ::
RSS.