|
|
Parametric Contracts for Concurrency in Java Programs
Žárský, Jan ; Křena, Bohuslav (referee) ; Smrčka, Aleš (advisor)
Contracts for concurrency describe required atomicity of method sequences in concurrent programs. This work proposes a dynamic analyzer to verify programs written in Java against contracts for concurrency. The analyzer was designed to detect violations of parametric contracts with spoilers. The proposed analyzer was implemented as an extension to the RoadRunner framework. Support for accessing the method arguments and return values was added to RoadRunner as a part of the solution. The analyzer was fully implemented and verified on a set of testing programs.
|
|
|
Instrumentation of C/C++ Programs during Compilation
Mušková, Kateřina ; Peringer, Petr (referee) ; Smrčka, Aleš (advisor)
This thesis presents design and implementation of the TforcTool offering compile-time instrumentation of memory access and functions. The tool is built on an existing static instrumenting tool Tforc, which was extended in order to provide greater usability and functionality. The advantage of this solution compared to another compile-time tools is that there is no need to change current compile structure of project.
|
|
|
On a possible use of neutron three axis diffractometer for studies of elastic and plastic deformation of polycrystalline materials
Mikula, Pavol ; Ryukhtin, Vasil ; Rogante, M.
Feasibility of using a high-resolution three axis neutron diffractometer performance for elastic and plastic deformation studies of metallic polycrystalline samples is presented. The method consists of unconventional set up employing bent perfect crystal (BPC) monochromator and analyzer with a polycrystalline sample in between. After the realization of focusing conditions in real and momentum space at the neutron wavelength of 0.162 nm, a high angular resolution up to FWHM(d/d)=2x10-3 was achieved on the standard Fe(110) sample (2 mm diameter) which then opened the possibility for the measurements of small lattice parameter changes of samples. The feasibility of the instrument for macro-and microstrain as well as grain size studies is demonstrated on the polycrystalline samples of low carbon shear deformed steel wires and the NiTi plates subjected to heat treatment.
|
|
|
Recent Trends in Charged Particle Optics and Surface Physics Instrumentation. Proceedings of the 16th International Seminar
Mika, Filip ; Pokorná, Zuzana
The origins of the seminar “Recent Trends in Charged Particle Optics and Surface Physics Instrumentation” date back into the eighties, when as a part of the isolated “Eastern Bloc”, we were short of English-language books, papers and conferences. In 1990, at the second Seminar, there were as many as 30 participants from 5 countries. The third Seminar in 1992 was moved to hotel Skalský dvur in the Bohemian-Moravian Highlands where it has been held as a biannual meeting ever since.\nThe Seminar takes place in a secluded lakeside hotel surrounded by beautiful nature and calm forests, so all participants have a great possibility to see each other every day and to discuss their topics of interest in more detail. This is a great advantage compared to the huge bustling conferences with their many parallel sections, which are a lively celebration of science but\nsometimes it is difficult to meet there the person with whom you want to discuss a particular scientific topic in more detail.\nFrom the very beginning, the Seminar has been conceived as a meeting devoted more to asking questions not answered yet, than to reporting results. This spirit is usually less present in the introductory presentations and posters but is dominant in the following discussions.\n
|
|
|
Monitoring Tool for Distributed Java Applications
Háva, Jakub ; Parízek, Pavel (advisor) ; Hnětynka, Petr (referee)
The main goal of this thesis is to create a monitoring platform and library that can be used to monitor distributed Java-based applications. This work is inspired by Google Dapper and shares a concept called "Span" with the aforementioned project. Spans represent a small specific part of the computation and are used to capture state among multiple communicating nodes. In order to be able to col- lect spans without recompiling the original application's code, instrumentation techniques are highly used in the thesis. The monitoring tool, which is called Distrace, consists of two parts: the native agent and the instrumentation server. Users of the Distrace tool are supposed to extend the instrumentation server and specify the points in their application's code where new spans should be created and closed. In order to achieve high performance and affect the running appli- cation at least as possible, the instrumentation server is used for instrumenting the code. The Distrace tool is aimed to have a small foot-print on the monitored applications, should be easy to deploy and is transparent to target applications from the point of view of the final user. 1
|
|
| |
|
|
Enhancement of Decompilation by Using Dynamic Code Analysis
Končický, Jaromír ; Zemek, Petr (referee) ; Ďurfina, Lukáš (advisor)
As a part of the Lissom project, a retargetable decompiler is being developed. Its main purpose is to decompile programs for a particular microprocessor architecture into a high-level programming language. In present, methods of dynamic code analysis are not used during decompilation. However, we can significantly improve the decompilation results by using these methods. Design of dynamic-analysis methods is the main task of this thesis. In this thesis, reverse engineering and Lissom decompiler are described. Furthermore, general dynamic analysis methods, such as instrumentation and emulation, are described. The information we can obtain by using dynamic analysis and its usage during decompilation is proposed.
|
|
|
Coverage-Driven Testing for Multithreaded Programs
Lietavcová, Zuzana ; Šimková, Hana (referee) ; Letko, Zdeněk (advisor)
This work deals with a problem of searching errors in multithreaded programs using a coverage-driven testing technique as perceived in program Maple. The testing consists of two phases. In the first phase of testing a set of coverable behaviours of the tested program is being built. Consequently, the algorithm tries to achieve these behaviours with a help of deterministic test execution. The main acquisition of the work lays in a compact description of Maple including all the technical details. Based on the study of the tool there were weak places identified. Some of them are studied in detail, especially those which use random decision making and prioritizing of the forced behaviours. The result are several modifications of Maple, from which some lead to a higher number of exposed behaviours and higher error exposition in some cases. This is demonstrated on a test suite of parallel programs.
|
|
|
Workshop of Interesting Topics of SEM and ESEM
Neděla, Vilém ; Mašová, Šárka ; Tihlaříková, Eva
The book of abstracts from the Workshop of Interesting Topics of SEM and ESEM includes original English written papers focused on new results of Environmental electron microscopy group from the ISI ASCR in Brno ant scientific and industry partners of this group. This book contain new results from the field of instrumentation, biology, physics and chemistry. The overall objectives of the workshop were to provide space for exchanging news, ideas, advice and experience in the field of Electron Microscopy which can lead to mutual future scientific collaboration. This workshop has been organized as a forum of state-of-the-art discussion in a number of topics which will be covered by several distinguished invited talks and other presentations.
|
|
|
Fabry-Perot displacement interferometry in air
Šmíd, Radek ; Durand, M. ; Wang, Y. ; Lawall, J.
In earlier work, we have demonstrated the use of Fabry-Perot interferometry to measure displacements of up to 50 mm with a fractional accuracy of 4 x 10-10 in vacuum. The initial work was done at a wavelength of 633 nm, and the more recent work was done at 1560 nm. We now seek to extend the approach to displacement measurements in air. A well-known approach to compensate for the refractive index of air without relying on independent measurements of the temperature and pressure is to use two wavelengths. In this work, we supplement our implementation at 1560 nm with an additional laser at 1064 nm in order to control for the dispersion of air.
|
guest ::
