keywords:"rozšírený zásobníkový automat" - 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:"rozšírený zásobníkový automat"

Hledej:

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

Hledej ve sbírkách:

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

	Obecný systém pro testování interpretů Drahošová, Michaela ; Koutný, Jiří (oponent) ; Lukáš, Roman (vedoucí práce) Práce se zabývá návrhem a implementací systému pro testování interpretů. Testování interpretů je založeno na principu porovnání výsledků interpretace testovacího programu s referenčními výsledky. Sada testovacích programů je získána pomocí překladu testovacích programů v referenčním jazyce na programy v jazyce testovaného interpretu. Testovací systém umožňuje po analýze souboru, který obsahuje popis syntaxe a sémantiky jazyka interpretu, vygenerovat testovací sadu programů pro interpret s odpovídajícími vstupy a referenčními výstupy. Pro tento účel využívá překladu jednoho vyššího programovacího jazyka na jiný. Úplný záznam
	Analýza a transformace kódů založená na regulovaných gramatikách Arbet, Matúš ; Tomko, Martin (oponent) ; Meduna, Alexandr (vedoucí práce) Táto práca sa zaoberá analýzou a transformáciou kódu založenej na gramatikách. Práca obsahuje matematický základ operácií použitých v gramatikách a automatoch. Ich definície, sú sprevádzané príkladmi. V závere je popísaný návrh a implementácia aplikácie, so zameraním na oblasť bioinformatiky, založenej na regulovaných gramatikách. Úplný záznam
	Analýza a transformace kódů založená na regulovaných gramatikách Arbet, Matúš ; Tomko, Martin (oponent) ; Meduna, Alexandr (vedoucí práce) Táto práca sa zaoberá analýzou a transformáciou kódu založenej na gramatikách. Práca obsahuje matematický základ operácií použitých v gramatikách a automatoch. Ich definície, sú sprevádzané príkladmi. V závere je popísaný návrh a implementácia aplikácie, so zameraním na oblasť bioinformatiky, založenej na regulovaných gramatikách. Úplný záznam
	Překladač jazyka matematických funkcí Junek, Lukáš ; Horáček, Petr (oponent) ; Čermák, Martin (vedoucí práce) V mém projektu se zabýváme interpretací jazyka matematických funkcí. Vytvořili jsme všechny potřebné části interpretu, které se účastní zpracování a následné realizace zdrojového kódu. Stěžejním bodem práce je implementace výpočetních operací s maticemi pomocí instrukcí SSE. K tomuto účelu bylo využito rozhraní od firmy Intel. Ta ve speciálním hlavičkovém souboru definovala funkce odpovídající jednotlivým instrukcím. Funkce však kromě samotného výpočtu vykonávají i podpůrné operace, čímž odstraní některé nepříjemné vlastnosti asembleru. Úplný záznam
	Obecný systém pro testování interpretů Drahošová, Michaela ; Koutný, Jiří (oponent) ; Lukáš, Roman (vedoucí práce) Práce se zabývá návrhem a implementací systému pro testování interpretů. Testování interpretů je založeno na principu porovnání výsledků interpretace testovacího programu s referenčními výsledky. Sada testovacích programů je získána pomocí překladu testovacích programů v referenčním jazyce na programy v jazyce testovaného interpretu. Testovací systém umožňuje po analýze souboru, který obsahuje popis syntaxe a sémantiky jazyka interpretu, vygenerovat testovací sadu programů pro interpret s odpovídajícími vstupy a referenčními výstupy. Pro tento účel využívá překladu jednoho vyššího programovacího jazyka na jiný. Ú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