Gach, Marek - 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í: Gach, Marek

Hledej:

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

Hledej ve sbírkách:

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

	Systém pro zasílání textových zpráv - serverová část Gach, Marek ; Kašpárek, Tomáš (oponent) ; Ráb, Jaroslav (vedoucí práce) Dnešní svět serverových aplikací je velmi dynamicky se rozvíjejícím odvětvím IT. S nástupem vícejádrových procesorů dobře navrhnuté paralelní aplikace získávají na výkonu. Tato práce se snaží nastínit základy vytváření a synchronizace vícevláknových aplikací. Tyto principy se pokouším aplikovat při tvorbě paralelního jádra univerzálního serveru. Nad tímto je poté definována sémantika komunikačního protokolu pro zasílání textových zpráv. Úplný záznam
	Návrh a implementace nástroje pro hierarchickou grafickou specifikaci systémů pracujících v reálném čase Gach, Marek ; Slaný, Karel (oponent) ; Strnadel, Josef (vedoucí práce) Práce je zaměřena na návrh a implementaci univerzálního nástroje schopného graficky popsat systémy pracující s reálným časem. Tento nástroj dále umožňuje použít libovolný verifikační přístupu pro ověření výsledného modelu. Je proveden souhrn základních formálních metod popisu systémů založený na matematické logice. Jsou přiblíženy přístupy schopné hierarchicky popsat systémy pracující s reálným časem. Byly navrženy vhodné úlohy pro následné ověření funkčnosti vytvářeného systému. Úplný záznam
	Systém pro zasílání textových zpráv - serverová část Gach, Marek ; Kašpárek, Tomáš (oponent) ; Ráb, Jaroslav (vedoucí práce) Dnešní svět serverových aplikací je velmi dynamicky se rozvíjejícím odvětvím IT. S nástupem vícejádrových procesorů dobře navrhnuté paralelní aplikace získávají na výkonu. Tato práce se snaží nastínit základy vytváření a synchronizace vícevláknových aplikací. Tyto principy se pokouším aplikovat při tvorbě paralelního jádra univerzálního serveru. Nad tímto je poté definována sémantika komunikačního protokolu pro zasílání textových zpráv. Úplný záznam
	Návrh a implementace nástroje pro hierarchickou grafickou specifikaci systémů pracujících v reálném čase Gach, Marek ; Slaný, Karel (oponent) ; Strnadel, Josef (vedoucí práce) Práce je zaměřena na návrh a implementaci univerzálního nástroje schopného graficky popsat systémy pracující s reálným časem. Tento nástroj dále umožňuje použít libovolný verifikační přístupu pro ověření výsledného modelu. Je proveden souhrn základních formálních metod popisu systémů založený na matematické logice. Jsou přiblíženy přístupy schopné hierarchicky popsat systémy pracující s reálným časem. Byly navrženy vhodné úlohy pro následné ověření funkčnosti vytvářeného systému. Ú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