National Repository of Grey Literature 8 records found  Search took 0.00 seconds. 
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.
Client-Server Application Based on JAVA RMI
Salášek, Jan ; Mašek, Jan (referee) ; Karásek, Jan (advisor)
Bachelor thesis summarizes the possibilites for creating distributed systems for use in Java. It deals with acceleration of calculation using parallelization and distributed data processing.
Client-Server Application Based on CORBA
Majtán, Martin ; Mašek, Jan (referee) ; Karásek, Jan (advisor)
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.
Client-Server Application Based on JAVA RMI
Salášek, Jan ; Mašek, Jan (referee) ; Karásek, Jan (advisor)
Bachelor thesis summarizes the possibilites for creating distributed systems for use in Java. It deals with acceleration of calculation using parallelization and distributed data processing.
Client-Server Application Based on CORBA
Majtán, Martin ; Mašek, Jan (referee) ; Karásek, Jan (advisor)
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.
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.
Integration of .NET/Java technologies with SAS
Jandák, Miroslav ; Slánský, David (advisor) ; Pour, Jan (referee)
This thesis is focused on SAS Enterprise Intelligence Platform product and it's capabilities to integrate within a Business Intelligence solution. The aim of the thesis is to describe integration technolgies that the platform features, as well as to determine their application field and compare them, eventually add usage examples. The first part of the thesis explains the general concept and architecture of Business Intelligence, afterwards the reader gets familiar with the SAS Enterprise Intelligence Platform, it's stucture and components and it's Business Intelligence market position. The second part of the thesis contains description (how they work and what they are good for) of the integration technologies available in SAS Enterprise Intelligence Platform. Those technologies are mostly implementations of the most common industry standards (database APIs, COM/DCOM, CORBA, web services). The study also includes description of these standards supported by SAS. The thesis features also comparisions of the integration technologies, namely comparison of database API implementations and comparision of Integrated Object Model API with SAS BI Web Services.

Interested in being notified about new results for this query?
Subscribe to the RSS feed.