Národní úložiště šedé literatury Nalezeno 29 záznamů.  začátekpředchozí20 - 29  přejít na záznam: Hledání trvalo 0.01 vteřin. 
Využití databáze H2 v JBoss aplikačním serveru
Penčikov, Michal ; Fiedor, Jan (oponent) ; Letko, Zdeněk (vedoucí práce)
JBoss aplikační server (AS) je open source implementace standardu Java EE. Jeho aktuálně používaná databáze pro potřeby testování, HSQL, má některá podstatná omezení, proto existují požadavky na využití jiných databází, použitelných při testování JBoss AS. H2 je relativně nová relační databáze, napsaná čistě v Javě. Tato práce popisuje, jak lze JBoss AS nakonfigurovat, aby místo HSQL databáze používal H2 databázi. Dále uvádí výsledky testů, provedených po této rekonfiguraci a identifikuje problémy, které bude nutno vyřešit, aby JBoss AS mohl používat databázi H2.
Systém pro zasílání textových zpráv - klientská část
Fiedor, Jan ; Kašpárek, Tomáš (oponent) ; Ráb, Jaroslav (vedoucí práce)
V dnešní době existuje mnoho klientů pro komunikaci pomocí textových zpráv. Bohužel je pravdou, že velká část z nich nijak neřeší zabezpečení této komunikace, často se potýká s problémy při přenosu souborů a je spjata se specifickým protokolem. Tato práce si klade za cíl nalézt nejlepší řešení těchto problémů a aplikovat je při implementaci bezpečného a spolehlivého klienta nezávislého na konkrétním protokolu.
Practical Methods of Automated Verification of Concurrent Programs
Fiedor, Jan ; Arcaini, Paolo (oponent) ; Farchi, Eitan (oponent) ; Vojnar, Tomáš (vedoucí práce)
Nowadays, multi-threaded programs are quite common and so are concurrency errors. Over the years, many techniques were developed to detect such errors, yet software developers still struggle to find the right tools to analyse their programs. The reason is simple, working does not always mean practical. Many tools implementing the detection techniques are hard to use, tailored for a specific kind of programs or synchronisation, or do not scale well to handle large software. For some types of concurrency errors, no tools even exist, yet many software developers encounter such errors in their programs. The main goal of this thesis is to develop new techniques for detecting errors in multi-threaded programs. These techniques should be able to handle complex programs, allow one to detect some of the less studied types of concurrency errors, and support a broad variety of programs.
Využití databáze Firebird v JBoss aplikačním serveru
Maruniak, Lukáš ; Fiedor, Jan (oponent) ; Letko, Zdeněk (vedoucí práce)
V práci je uvedené řešení pro připojení databáze Firebird k JBoss aplikačnímu serveru.Práce se zabýva konfigurací zdrojových kódu JBoss aplikačního serveru, tak aby pracoval s databází Firebird včetně postupu na přípravu prostředí a implementací jednoduché enterprise aplikace.V závěru práce jsou analyzovány chyby konfigurace a uveden postup pro jejich napravení.
Implementace pluginu portmap do projektu BusyBox
Huba, Lukáš ; Fiedor, Jan (oponent) ; Vojnar, Tomáš (vedoucí práce)
Tato práce se zabývá implementací portmapu pro balík BusyBox. První část se zabývá teoretickou průpravou a konkrétně zasvěcuje čtenáře do technologie volání vzdálených procedur (RPC), datové reprezentace (XDR) a portmap protokolu. Druhá část práce stručně seznamuje čtenáře s projektem BusyBox a popisuje implementaci pluginu portmap. V závěru se pojednává o dosažených výsledcích.
Měření výkonnosti vybraných nástrojů Drools
Široký, Petr ; Fiedor, Jan (oponent) ; Letko, Zdeněk (vedoucí práce)
Testování výkonu aplikací je velmi často opomíjeno. Tato práce popisuje proces testování výkonu nástrojů Drools Expert a Drools Fusion. Drools je platforma pro integraci podnikové logiky, moduly Expert a Fusion jsou její součástí. Expert je na pravidlech založený expertní systém, Fusion slouží k detekci a zpracování událostí. Testy jsou navrženy a implementovány především za účelem nalezení výkonnostní regrese mezi různými verzemi nástrojů Expert a Fusion. V závěru práce jsou diskutovány výsledky pro dvě konkrétní verze těchto nástrojů.
Implementace podpory distribuovaných transakcí v BPEL
Bek, Ivo ; Fiedor, Jan (oponent) ; Letko, Zdeněk (vedoucí práce)
Cílem této bakalářské práce je implementovat podporu distribuovaných transakcí do projektu RiftSaw tak, aby webové služby mohly být volány v rámci distribuovaných transakcí podnikovými procesy. A to pouze v tom případě, že operace webové služby vyžaduje být provedena v rámci distribuované transakce. Oproti již funkčním implementacím přináší podporu specifikace WS-BusinessActivity a jiný způsob kontroly, zda má podnikový proces použít distribuované transakce u volaných webových služeb.
Disassembler mezikódu jazyka Java
Macháček, Ondřej ; Letko, Zdeněk (oponent) ; Fiedor, Jan (vedoucí práce)
Tato práce se zabývá popisem struktury mezikódu jazyka Java a disassemblováním instrukcí mezikódu jazyka Java. Součástí této práce je knihovna pro disassemblování souborů tříd jazyka Java. Knihovna umožňuje zobrazit veškeré disassemblované informace uložené v souboru tříd. Pro ukázku práce s knihovnou byla napsána i jednoduchá aplikace s grafickým uživatelským rozhraním.
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.
Slučování úloh s nekolizními požadavky pro systém Beaker
Kovařík, Michal ; Fiedor, Jan (oponent) ; Holík, Lukáš (vedoucí práce)
Obsahem práce je návrh formátu pro zápis parametrů a požadavků jednotlivých úloh určených pro systém Beaker a návrh a implementace programu, který na základě vyloučení možných kolizních požadavků sloučí úlohy definované na vstupu do souboru úloh, jež je možné spouštět společně. Výstupem je formát spustitelný v systému Beaker. Práce popisuje instalaci operačního systému, na kterém definuje kolizní požadavky. V práci je popsán způsob zadávání a spouštění úloh v systému Beaker. V závěru je provedeno testování vytvořeného programu.

Národní úložiště šedé literatury : Nalezeno 29 záznamů.   začátekpředchozí20 - 29  přejít na záznam:
Viz též: podobná jména autorů
1 Fiedor, Jaroslav
7 Fiedor, Jiří
Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.