National Repository of Grey Literature 29 records found  beginprevious20 - 29  jump to record: Search took 0.01 seconds. 
Use H2 Database in JBoss Application Server
Penčikov, Michal ; Fiedor, Jan (referee) ; Letko, Zdeněk (advisor)
The JBoss application server (AS) is an open source implementation of the Java EE standard. Currently, the JBoss AS uses the HSQL database system for testing purposes. This database system has certain limitations. Therefore, there is a need to use another database system for testing of JBoss AS. H2 is a relatively new relational database entirely written in Java. This thesis describes configuring JBoss AS so it is able to use the H2 database instead of HSQL database. The thesis then provides JBoss AS test results obtained by running tests after reconfiguration and identifies issues that need to be solved before deployment of H2 database.
Instant Messenging System
Fiedor, Jan ; Kašpárek, Tomáš (referee) ; Ráb, Jaroslav (advisor)
Nowadays many instant messenging clients exist. However, it is true, that many of them do not solve the security issues connected with communication, often deal with file transfer problems and are linked with specific protocol. This thesis is trying to find out the best solution of those problems and use it to develop secure and reliable client independent of concrete protocol.
Practical Methods of Automated Verification of Concurrent Programs
Fiedor, Jan ; Arcaini, Paolo (referee) ; Farchi, Eitan (referee) ; Vojnar, Tomáš (advisor)
V dnešní době jsou vícevláknové programy běžné a s nimi i chyby v souběžnosti. Během posledních let bylo vytvořeno mnoho technik pro detekci takovýchto chyb, a i přesto mají vývojáři softwaru problém nalézt správné nástroje pro analýzu svých programů. Důvod je jednoduchý, fungující neznamená vždy praktický. Hodně nástrojů implementujících detekční techniky je obtížně použitelných, přizpůsobených pro konkrétní typy programů nebo synchronizace, nebo špatně škálují, aby zvládly analyzovat rozsáhlý software. Pro některé typy chyb v souběžnosti dokonce ani neexistují nástroje pro jejich detekci, i přesto že vývojáři softwaru na tyto chyby často narážejí ve svých programech. Hlavním cílem této práce je navrhnout nové techniky pro detekci chyb ve vícevláknových programech. Tyto techniky by měly být schopny analyzovat rozsáhlé programy, umožnit detekci méně studovaných typů chyb v souběžnosti, a podporovat širokou škálu programů s ohledem na to, jaké programové konstrukce používají.
Use Firebird Database in JBoss Application Server
Maruniak, Lukáš ; Fiedor, Jan (referee) ; Letko, Zdeněk (advisor)
The task was to propose a solution for the Firebird database connectivity to JBoss aplication server.The work deals with configuring source code of JBoss application server so it could work with Firebird database, including procedure for the preparation of environment and implementation enterprise aplication.In conclusion of the work there are analyzed and shown misconfigurations.
A Portmap Plugin for BusyBox
Huba, Lukáš ; Fiedor, Jan (referee) ; Vojnar, Tomáš (advisor)
This bachelor thesis deals with an implementation portmap of the BusyBox package. The first part deals with the theoretical background of the thesis in particular, introducing the technology of remote procedures call, data representation, and the portmap protocol. The second part of the thesis briefly acquaints the reader with the BusyBox project and describes an implementation of the portmap plugin done within the the thesis. The conclusion of the thesis summaries the work that has been done and discusses possible future work in the area.
Performance Measurement of Selected Drools Tools
Široký, Petr ; Fiedor, Jan (referee) ; Letko, Zdeněk (advisor)
Performance testing is often overlooked. This thesis describes the performance testing of the Drools Expert and Drools Fusion tools. Drools is a Business Logic Integration Platform. Expert and Fusion are parts of this platform, which provide rule based expert system and event processing capabilities respectively. Tests are designed and implemented with main focus on finding performance regression between different versions of Expert and Fusion tools. Results for two versions of these tools are discussed at the end of the thesis.
Implementation of Distributed Transactions in BPEL
Bek, Ivo ; Fiedor, Jan (referee) ; Letko, Zdeněk (advisor)
The goal of this work is to implement a support of distributed transactions into the project RiftSaw so that web services can be invoked within distributed transactions by business processes. And only if a web service operation requires to be performed within a distributed transaction. Comparing to already working implementations, the presented sulution brings support of WS-BusinessActivity specification and a different way of checking that a business process use distributed transactions for invoked web services.
Java Bytecode Disassembler
Macháček, Ondřej ; Letko, Zdeněk (referee) ; Fiedor, Jan (advisor)
This thesis focus on the structure of Java class file and disassembling bytecode instructions of Java language. Part of this thesis is a library, for disassembling Java class files. With this library one can explore the structure of a disassembled class file. Another part is a graphical application, which shows how to work with library.
Design and Implementation of a Tool for Formal Verification of Systems Specified in RT-Logic Language
Fiedor, Jan ; Straka, Martin (referee) ; Strnadel, Josef (advisor)
As systems complexity grows, so grows the risk of errors, that's why it's necessary to effectively and reliably repair those errors. With most of real-time systems this statement pays twice, because a single error can cause complete system crash which may result in catastrophe. Formal verification, contrary to other methods, allows reliable system requirements verification.
Merging Tasks with Non-Interfering Requests for the System Baker
Kovařík, Michal ; Fiedor, Jan (referee) ; Holík, Lukáš (advisor)
The goal of this thesis is to design a format for entering parameters and requirements of individual tasks intended for the Beaker system and to design a program that merges tasks defined upon input based on elimination of possible collision requirements into collection of tasks that can be run together. The output format should be acceptable by the Beaker system. The thesis describes installation of the operating system on which collision requirements are defined. The thesis describes how to specify and run tasks in the Beaker system. The results of the program testing are shown in the thesis' conclusion.

National Repository of Grey Literature : 29 records found   beginprevious20 - 29  jump to record:
See also: similar author names
1 Fiedor, Jaroslav
7 Fiedor, Jiří
Interested in being notified about new results for this query?
Subscribe to the RSS feed.