keywords:"CORBA" - 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:"CORBA"

Hledej:

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

Hledej ve sbírkách:

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

	Návrh a implementace nástroje pro formální verifikaci systémů specifikovaných jazykem RT logiky Fiedor, Jan ; Straka, Martin (oponent) ; Strnadel, Josef (vedoucí práce) Protože komplexnost systémů pořád roste a s tím také riziko výskytu chyb, je potřeba tyto chyby efektivně a spolehlivě opravovat. U řady systémů reálného času tato potřeba platí dvojnásob, jelikož byť jediná chyba může způsobit jejich úplné zhroucení, které může mít katastrofální důsledky. Formální verifikace, na rozdíl od jiných metod, umožňuje spolehlivé ověřování požadavků kladených na určitý systém. Úplný záznam
	Klient-server aplikace založená na technologii JAVA RMI Salášek, Jan ; Mašek, Jan (oponent) ; Karásek, Jan (vedoucí práce) Bakalářská práce shrnuje možnosti pro vytváření distribuovaných systémů využitelných v platformě Java. Zabývá se zrychlením výpočtu pomocí paralelizace a distribuovaného zpracování dat. Úplný záznam
	Client-Server Application Based on CORBA Majtán, Martin ; Mašek, Jan (oponent) ; Karásek, Jan (vedoucí práce) Bachelor thesis deals with client-server applications and software technologies used to implement client-server applications in the Java programming language. The goal of bachelor thesis is the parallelization of genetic algorithm for knapsack problem and create two distributed models for technology CORBA and Hessian. In the teoretical part of the thesis are describes the basic concept of network communication, explanation client-server model of network communication, there are discussed technologies Java RMI, CORBA and Hessian. In the thesis is described the parallel and the distributed model of data processing, genetic algorithm and its use to solve the knapsack problem. In the practical part is created parallel and distributed model of a genetic algorithm for knapsack problem using technology CORBA and Hessian. In the thesis is done comparison of parallel model and distributed models in terms of calculation time. Results of measurement time are displayed in tables. Úplný záznam
	Klient-server aplikace založená na technologii JAVA RMI Salášek, Jan ; Mašek, Jan (oponent) ; Karásek, Jan (vedoucí práce) Bakalářská práce shrnuje možnosti pro vytváření distribuovaných systémů využitelných v platformě Java. Zabývá se zrychlením výpočtu pomocí paralelizace a distribuovaného zpracování dat. Úplný záznam
	Client-Server Application Based on CORBA Majtán, Martin ; Mašek, Jan (oponent) ; Karásek, Jan (vedoucí práce) Bachelor thesis deals with client-server applications and software technologies used to implement client-server applications in the Java programming language. The goal of bachelor thesis is the parallelization of genetic algorithm for knapsack problem and create two distributed models for technology CORBA and Hessian. In the teoretical part of the thesis are describes the basic concept of network communication, explanation client-server model of network communication, there are discussed technologies Java RMI, CORBA and Hessian. In the thesis is described the parallel and the distributed model of data processing, genetic algorithm and its use to solve the knapsack problem. In the practical part is created parallel and distributed model of a genetic algorithm for knapsack problem using technology CORBA and Hessian. In the thesis is done comparison of parallel model and distributed models in terms of calculation time. Results of measurement time are displayed in tables. Úplný záznam
	Návrh a implementace nástroje pro formální verifikaci systémů specifikovaných jazykem RT logiky Fiedor, Jan ; Straka, Martin (oponent) ; Strnadel, Josef (vedoucí práce) Protože komplexnost systémů pořád roste a s tím také riziko výskytu chyb, je potřeba tyto chyby efektivně a spolehlivě opravovat. U řady systémů reálného času tato potřeba platí dvojnásob, jelikož byť jediná chyba může způsobit jejich úplné zhroucení, které může mít katastrofální důsledky. Formální verifikace, na rozdíl od jiných metod, umožňuje spolehlivé ověřování požadavků kladených na určitý systém. Úplný záznam
	Lessons Learned from Implementing Persistence Service Kleindienst, Jan ; Plášil, František ; Tůma, P. Úplný záznam
	Napojení .NET / Java technologie na SAS BI Jandák, Miroslav ; Slánský, David (vedoucí práce) ; Pour, Jan (oponent) Tato práce se zabývá produktem SAS Enterprise Intelligence Platform a možnostmi jeho integrace v rámci Business Intelligence řešení. Cílem práce je popsat integrační technologie, kterými tato platforma disponuje, zjistit možnosti jejich využití a porovnat je, případně doplnit přikladem. V první části práce je vysvětlen obecný koncept a architektura Business Intelligence, potom je čtenář seznámen s produktem SAS Enterprise Intelligence Platform, s jeho jednotlivými komponentami, jeho celkovou strukturou a jeho postavením na trhu Business Intelligence platforem. Ve druhé části následuje popis (jak fungují a k čemu je lze použít) jednotlivých integračních technologií, které jsou v rámci SAS Enterprise Intelligence Platform dostupné. Jedná se většinou o implementace již zaběhlých standardů (databázová API, COM/DCOM, CORBA, webové služby). Práce obsahuje i popis všech těchto podporovaných standardů. Součástí práce je též srovnání těchto technologií, konkrétně porovnání implementací databázových API a srovnání aplikačního rozhraní Integrated Object Model se SAS BI Web Services. Ú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