National Repository of Grey Literature 749 records found  1 - 10nextend  jump to record: Search took 0.00 seconds. 
Extensible Collaborative Development Platform
Halaša, Michal ; Hnětynka, Petr (advisor) ; Bureš, Tomáš (referee)
Title: Extensible Collaborative Development Platform Author: Michal Halaša Department / Institute: Katedra distribuovaných a spolehlivých systémů Supervisor of the bachelor thesis: RNDr. Petr Hnětynka Ph.D., S 212, Malostranské nám. 25, Praha Abstract: Currently, there exist a number of collaborative development platforms (also known as "forges"). These platforms offer to developers a set of tools for collaborative development (e.g. VCS tools, bug-tracking tools, mailing-list managers, etc). On the other hand, there exist many standalone tools for bug-tracking, etc. Usually, these standalone tools offer more features to the developers, however they have to be set up and managed separately. The goal of this thesis is to develop a collaborative development platform (forge) that is fully extensible, i.e. it will allow developers to easily add existing tools to it and manage them in a unified way. Keywords: java, forge, extensible, development platform
Use of Markov decision processes for modelling of collective games
Zákutný, Roman ; Antoch, Jaromír (advisor) ; Koubková, Alena (referee)
In this thesis, a model based on the continuous-time Markov process is built and implemented and later applied on an one chosen collective game. An extensive analysis of available data is carried out to build a regression model to estimate parameters of the game model. An usableness of the game model is shown by a simulation process. Pros and cons are evaluated in a comparison analysis against the application of the discrete-time Markov chains, how it was described in my bachelor thesis [Roman Zákutný (2007)]. In conclusion are discussed possible extensions for other collective games.
DCSN: Platform for Distributed Computing in Small Networks
Háva, Jakub ; Marek, Lukáš (advisor) ; Falt, Zbyněk (referee)
This thesis describes the platform for distributed computing in small networks. The platform should be very easy to use and suitable for deployment typically in one local network. The implementation follows the client-server architecture and the communication between client and server is based on Remote Method Invocation. The server is responsible for tasks distribution and other computation management. The client receives commands from a user, mediates communication with the server and is also used for the processing of tasks received from the server. The user submits a computation project consisting of two parts: a zip archive containing data files and a JAR archive containing a configuration file together with Java classes needed for the computation on the user data. The user is allowed to query the project state, pause, download or abort the project computation. Powered by TCPDF (
Platform-independent Middleware for Distributed Parallel Tasks
Bořkovec, Kryštof ; Hnětynka, Petr (advisor) ; Bureš, Tomáš (referee)
The thesis presents a middleware faciliating parallel execution of tasks expressed in the Java programming language on many computers. When started at a number of machines, this software creates a so called cloud that enables splitting the task into smaller subtasks and subsequent independent execution of these subtasks at difeferent nodes. The presented software distributes subtasks throughout the cloud automatically and it performs the following collection of results. The text begins with a brief introduction to the topic of distributed computations and a discussion of possible approaches to the subject. The main part of the work describes software architecture and topology of the system, demonstrates its usage at two sample tasks and gives a brief comparison with two other projects.
Java Bytecode Preprocessor for Program Verification Tools
Šafařík, Tomáš ; Parízek, Pavel (advisor) ; Hnětynka, Petr (referee)
Both J2BP and PANDA tools verify compiled Java programs. By now, these tools are not able to process some programs with specific JVM bytecode instruction sequences in the correct way. We described these instruction sequences and proposed their transformations. We developed the new application, called BytecodeTransformer, based on these propositions. This application transforms compiled Java programs and replaces the problematic instruction sequences with some others. Usage of BytecodeTransformer enlarges the set of programs that can be verified by both J2BP and PANDA. We also evaluated BytecodeTransformer on several Java programs, including own tests and well-known open-source programs. These tests demonstrated the correct functionality of BytecodeTransformer. Powered by TCPDF (
Output breakpoints for Java
Jelínek, Jakub ; Kofroň, Jan (advisor) ; Hnětynka, Petr (referee)
The goal of this thesis was to design the support for output breakpoints in the Java language and implement the designed solution including integration into the Eclipse IDE. An output breakpoint represents a location in an output media (e.g. file, standard output or socket) where the execution of program should stop. The location in the output media is generalized as a stop condition - it can be in the form of absolute position, a particular line and a character or an occurrence of a text string. The designed solution is based on observing the classes responsible for output using entry method breakpoints that are a standard part of the Java language. This solution is dependent on a particular version and implementation of JRE because some of observed methods are not a part of public Java API.
Symbolism and visual rhetoric of the Borobudur temple in the context of modern era
Pyšová, Michaela ; Petrů, Tomáš (advisor) ; Pokorný, Ondřej (referee)
Michaela Pyšová 2016 SYMBOLISM AND VISUAL RHETORIC OF THE JAVANESE BUDDHIST TEMPLE BOROBUDUR bachelor thesis Abstract The bachelor thesis deals with the Javanese Buddhist monument Borobudur, which is due to its unique architectural form and the symbolic value of the tangible important part of Indonesian and World Heritage Site. The building is a symbol of Buddhist cosmology and is used by the monks in its original ritual context even today. Javanese mentality evolved according to the transformation of religious and philosophical doctrines and changes over the centuries, similarly understanding the message of the monument by islamized contemporary society. Introduction of thesis defines cultural-historical context of Borobudur during the period ranging from the beginnings of Buddhism in India through dissemination of buddhist teachings in the Indonesian archipelago and its mingling with the local faith. The next part of thesis refers to the architecture of the monument, reliefs and message of the importance of overlapping structures into modern times. The goal of the analysis is primarily analysis of Javanese temple architecture as an ideological system that expresses the philosophical values of Buddhist culture spilling over into modern times.
KarlFTP: FTP client for Android devices
Hanzeli, Michal ; Kofroň, Jan (advisor) ; Hnětynka, Petr (referee)
The goal of this thesis was to create a FTP client application named KarlFTP for mobile devices with Android OS. With KarlFTP we implemented a new approach in which users interact with this type of application by using background threads. Our application offers modern user interface and additional functions which enhance the user experience. The thesis contains brief description of functionality, design and implementation of the program. It also introduces some of the available applications and problems we have encountered while using them. The program was created for Android OS in Java programming language. Powered by TCPDF (
Centralized multirobot system
Staněk, Ondřej ; Obdržálek, David (advisor) ; Mráz, František (referee)
Title: Centralized multirobot system Author: Ondřej Staněk Department: The Department of Software Engineering Supervisor: RNDr. David Obdržálek Supervisor's e-mail address: This thesis focuses on design and implementation of a centralized multi-robot system. A host computer (or cellphone) controls several tiny PocketBot2 mobile robots. These robots feature various sensors. They can perform line-following and they are equipped with a system for detecting obstacles and other robots. Although the PocketBot2 robots were designed and built within the frame of this thesis, the core of the thesis itself lies in the software. For the PocketBot2 hardware, an embedded control system was designed and implemented. It interfaces robot's sensors and carries out basic movement commands. Bluetooth technology is used for wireless data transfer between robots and the host. In the host, a multi-platform control library was implemented. It provides access to sensors of individual robots and controls their movement. The library ensures convenient interface for implementing centralized multi-robot algorithms. Keywords: robot, library, PocketBot, Bluetooth, Java

National Repository of Grey Literature : 749 records found   1 - 10nextend  jump to record:
Interested in being notified about new results for this query?
Subscribe to the RSS feed.