keywords:"dynamické dátové štruktúry" - Výsledky hledání - Digitální repozitář

host :: přihlásit Digitální repozitář
		Hledej		Nový záznam		Nápověda		O repozitáři

Hlavní stránka > Výsledky hledání: keywords:"dynamické dátové štruktúry"

Hledej:

Tipy pro vyhledávaní :: Rozšířené hledání

Hledej ve sbírkách:

Seřadit podle:	Zobrazit výsledky:	Výstupní formát:

	Analýza práce s dynamickými datovými strukturami v C programech Šoková, Veronika ; Rogalewicz, Adam (oponent) ; Vojnar, Tomáš (vedoucí práce) Táto diplomová práca sa zaoberá analýzou dynamických dátových štruktúr pomocou analýzy tvaru použitej v nástroji Predator. Popisuje zvolenú abstraktnú doménu pre reprezentáciu pamäte vo forme symbolických grafov pamäte. Ďalej sa zaoberá návrhom prostredia pre vývoj statických analyzátorov nad clang/LLVM. Prínosom tejto práce je vytvorenie a otestovanie transformačných priechodov zjednodušujúcich LLVM IR medzikód. Ďalším prínosom je optimalizácia parametrov paralelnej nadstavby Predatora opakovaným spúšťaním testov z medzinárodnej súťaže SV-COMP'16, kde táto verzia nástroja Predator získala zlatú medailu v kategórii Heap Data Structures. Posledným prínosom je návrh architektúry samotného verifikačného jadra s ohľadom na SMG doménu. Úplný záznam
	Systém pro podporu výuky dynamických datových struktur Trávníček, Jiří ; Grulich, Lukáš (oponent) ; Křena, Bohuslav (vedoucí práce) Hlavním cílem této práce je navrhnout a implementovat aplikaci, která může být využita jako pomůcka pro výuku základů programování. Konkrétně je pozornost soustředěna na oblast dynamických datových struktur. Cílová aplikace bude implementována s využitím webových technologií, takže může být provozována v běžném WWW prohlížeči. Nejdříve stručný úvod zrekapituluje datové struktury, které budou pokryty. Poté práce shrnuje vhodné technologie dostupné ve webových prohlížečích, se zaměřením na konkrétní technologii (kterou je DHTML), jež se stane cílovou platformou. Nejvýznamnější část této práce pojednává o návrhu konečné aplikace. Tato spíše teoretická část je poté následována popisem praktické implementace. Obsahem je také krátká uživatelská příručka. Úplný záznam
	Elektronická podpora výuky dynamických datových struktur v programování Zvolánek, Milan Úplný záznam

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

Digitální repozitář :: :: :: ::
Powered by v1.1.2
Spravuje

Tato stránka je dostupná také v následujících jazycích:
Česky English