|
|
Bounded Model Checking Using Java PathFinder
Dudka, Vendula ; Češka, Milan (referee) ; Křena, Bohuslav (advisor)
This thesis deals with the application of bounded model checking method for self-healing assurance of concurrency related problems. The self-healing is currently interested in the Java programming language. Therefore, it concetrate mainly on the model checker Java PathFinder which is built for handling Java programs. The verification method is implemented like the Record&Replay trace strategy for navigation through a state space and performance bounded model checking from reached state through the use of Record&Replay trace strategy. Java PathFinder was extended by new moduls and interfaces in order to perform the bounded model checking for self-healing assurance. Bounded model checking is applied at the neighbourhood of self-healing.
|
|
|
Implementation of 3D Logic Game in JavaScript
Knapovský, Martin ; Beran, Vítězslav (referee) ; Dudka, Vendula (advisor)
This bachelor's thesis describes development of a web game based on analysis of Berušky 2 game. Technologies needed for development are briefly introduced as well as the theory necessary for understanding the methods used in implementation. The final solution was put through tests, results of which serve as a basis for discussion about overall usability of technologies newly appearing on the web scene.
|
|
|
JamVM: An Alternative Java Virtual Machine
Kalman, Ondřej ; Kočí, Radek (referee) ; Dudka, Vendula (advisor)
This thesis deals with comparison of two virtual machines, namely HotSpot and JamVM. The first chapters of this thesis contain introduction to Java platform and summarize general properties and principals of Java virtual machine. The next chapters follow on this introduction and compare different properties of HotSpot and JamVM virtual machines. Based on these differences was designed and described set of benchmark tests which was also implemented and performed as practical part of this thesis. Last chapters deals with results of performed benchmark tests.
|
|
|
Integration of JMS Providers to Third Parties
Žiaková, Nikoleta ; Letko, Zdeněk (referee) ; Dudka, Vendula (advisor)
This thesis deals with messaging and integration of third-party JMS providers into JBoss application server. The aim of the thesis was to design and implement a general-purpose testsuite to verify the proposed integration. First requirement was to get familiar with key technologies for integration including Java Message Service, Java EE Connector Architecture, selected JMS providers and JBoss AS. Specific procedures of integration were designed and described for JMS providers Apache ActiveMQ, IBM WebSphere MQ and Red Hat MRG Messaging. The testsuite implemented to verify the functionlity of the integration focuses on four areas - transactions, clustering, high availibility and performance. The process of testing was automated using continuous integration tool Jenkins. Finally the test application was used to evaluate functionality of the integration and compare different JMS providers and various versions of JBoss AS.
|
|
|
Java Applications Monitoring Using JVM Tool Interface
Vomáčka, Pavel ; Dudka, Vendula (referee) ; Kočí, Radek (advisor)
This thesis deals with the design and implementation of an agent with a purpose to watch over the stack and over the heap with focus on localization of object allocation. This information is then shown in graphic user interface. A JVM TI interface is also described. Later parts of the thesis discuss the Java Virtual Machine and its important components with special attention to its memory management.
|
|
|
Java.math Package Benchmark
Frýz, Pavel ; Letko, Zdeněk (referee) ; Dudka, Vendula (advisor)
The aim of this work is to compare the performance of different implementation of java virtual machine, when using package java.math. The classes BigInteger and BigDecimal are described. Existing benchmarks for measuring the performance of a java virtual machine are also described. The work also describes in detail the hardware and operation system used for performing benchmarks. A tool for the benchmarking performence of implementation of classes BigInteger and BigDecimal has been developed. Finally, the analysis and the discussion upon the results of benchmarks has been made.
|
|
|
School of Martial Arts Information System
Lorenc, Ján ; Dudka, Vendula (referee) ; Letko, Zdeněk (advisor)
This bachelor's thesis deals with the creation of an information system for a school of martial arts. It characterizes the concept of information system, it describes the design and implementation of an information system. The work also includes a comparision of several PHP frameworks. Developed system is platform independent and is based on technologies CakePHP, MySQL, HTML, CSS, Javascript.
|
|
|
Java Applications Monitoring Using JVM Tool Interface
Vomáčka, Pavel ; Dudka, Vendula (referee) ; Kočí, Radek (advisor)
This thesis deals with the design and implementation of an agent with a purpose to watch over the stack and over the heap with focus on localization of object allocation. This information is then shown in graphic user interface. A JVM TI interface is also described. Later parts of the thesis discuss the Java Virtual Machine and its important components with special attention to its memory management.
|
|
|
Java.math Package Benchmark
Frýz, Pavel ; Letko, Zdeněk (referee) ; Dudka, Vendula (advisor)
The aim of this work is to compare the performance of different implementation of java virtual machine, when using package java.math. The classes BigInteger and BigDecimal are described. Existing benchmarks for measuring the performance of a java virtual machine are also described. The work also describes in detail the hardware and operation system used for performing benchmarks. A tool for the benchmarking performence of implementation of classes BigInteger and BigDecimal has been developed. Finally, the analysis and the discussion upon the results of benchmarks has been made.
|
|
|
JamVM: An Alternative Java Virtual Machine
Kalman, Ondřej ; Kočí, Radek (referee) ; Dudka, Vendula (advisor)
This thesis deals with comparison of two virtual machines, namely HotSpot and JamVM. The first chapters of this thesis contain introduction to Java platform and summarize general properties and principals of Java virtual machine. The next chapters follow on this introduction and compare different properties of HotSpot and JamVM virtual machines. Based on these differences was designed and described set of benchmark tests which was also implemented and performed as practical part of this thesis. Last chapters deals with results of performed benchmark tests.
|
guest ::
