keywords:"souběžné systémy" - Výsledky hledání

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:"souběžné systémy"

Hledej:



Tipy pro vyhledávaní :: Jednoduché hledání

Hledej ve sbírkách:

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

Národní úložiště šedé literatury	Nalezeno 2 záznamů.	Hledání trvalo 0.01 vteřin.

Vizualizace výrazů procesní algebry pi-kalkul
Prokopová, Dagmar ; Křivka, Zbyněk (oponent) ; Rychlý, Marek (vedoucí práce)
Tato práce se zabývá problémem vizualizace výrazů procesní algebry pi-kalkul. Teoretická část práce pojednává jak o obecných principech procesních algeber, tak i o specifických vlastnostech konkrétních modelů se zaměřením na procesní algebru pi-kalkul. Součástí je rovněž srovnání několika textových a grafických reprezentací výrazů. Hlavní část práce se pak zabývá návrhem a implementací aplikace pro převod textové reprezentace výrazů na grafickou. Vedle textové a grafické reprezentace byla navržena také interní stromová reprezentace určená pro práci s výrazy uvnitř aplikace. V práci jsou také popsány algoritmy pro vyhledání proveditelných redukcí, pro provedení redukce a pro zjednodušení výrazů, které pracují s navrženou stromovou reprezentací.

Ú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