National Repository of Grey Literature 80 records found  1 - 10nextend  jump to record: Search took 0.00 seconds. 
Kampa: from a prototype to practical usability
Rozsypal, Lukáš ; Bulej, Lubomír (advisor) ; Petříček, Tomáš (referee)
Kampa is an experimental general-purpose imperative programming language influ- enced by functional programming. While Kampa offers several potentially useful features, its usability is limited by some properties of its current implementation as well as of the language itself. We add support for coroutines and parameter inference, making the language more expressive. We also make changes to the syntax that improve code read- ability, in particular reducing the tendency to "line noise". We refine the implementation to remove several arbitrary restrictions regarding generic and dependent types, enabling generic type definitions (among others). Lastly, we demonstrate the practicality of the result by writing a library providing collections, optional, asynchronous programming, generators, and string utilities. 1
VMA merging in Linux
Matěna, Jakub ; Babka, Vlastimil (advisor) ; Bulej, Lubomír (referee)
This thesis deals with virtual memory management in the Linux kernel. Files or devices can be mapped into virtual memory using the mmap() sys- tem call, which is also capable of creating so-called anonymous mappings. Those do not map anything and serve only as a memory allocation method that can specify memory protection and flags for the created anonymous virtual memory area (VMA). A mapping can be merged or split depending on its flags, memory protection, location in the virtual memory and other parameters. However, in some cases even when two VMAs have practically identical parameters, they may not merge successfully because of implementation limitations. This thesis con- centrates on anonymous VMAs and their page offset and anon vma parameters, which in some cases prevent a merge in the current mainline kernel. It is demon- strated that in most of the cases with reasonable amount of effort the obstacles can be removed and the merges happen. v
Extensible disassembler with support for interactive instruction reordering
Dubský, Jan ; Bulej, Lubomír (advisor) ; Jermář, Jakub (referee)
Machine code disassembling is a process of transforming binary machine code into assembly code. The main purpose of this process is to help people to understand the purpose of the program without knowing its source code. Unfortunately, the machine code produced by compilers is quite hard to read due to numerous optimizations applied to it. One substantially problematic optimization is instruction scheduling which mangles instruction order to increase final performance. The goal of this thesis is to implement a disassembler capable of reordering individual instructions. This would allow the user to restructure the machine code into a more read- able form. To provide such functionality, the disassembler has to be able to understand the meaning of machine code instructions. For this reason, we will design a platform- independent internal representation of machine code and we will translate any machine code into it. This representation will be then used to analyze dependencies between in- structions which can be further used in instruction reordering algorithm. At the very end, we will discuss the possibility of platform-independent program emulation based on internal disassembler representation. 1
The standard SOAP and its applications in small and middle enterprises.
Lupták, Boris ; Král, Jaroslav (advisor) ; Bulej, Lubomír (referee)
SOAP standard is core protocol used in web services. Web services open new possibilities in application interaction over the network. In connection with web services there has been much discussion of service oriented architecture. The main goal of this thesis is to show possibilities of SOAP in the context of small and medium businesses. To achieve this goal SOAP and accompanying nonns are described as well as the mechanism through which SOAP can be and is extended. Several standard extensions are shown. Furthennore this thesis points out the pros and cons of such usage as well as similar alternative approaches. The usage of SOAP is docmnented on several real life exainples. Part of this thesis concerns with fundamental principles of service oriented architecture and the connection between web services and service oriented architecture. The need of web services alignment with business processes and coarse grained interfaces are discussed as well. Powered by TCPDF (www.tcpdf.org)
Optimizing performance of software connectors code generator
Petřek, Pavel ; Bureš, Tomáš (advisor) ; Bulej, Lubomír (referee)
Software connectors are intermediary entities used to model and realize communication in component systems. In addition to the communication, connectors can also provide extra functionality, such as logging or monitoring. This variability requires generation of the connector's code according to valid functional and non-functional requirements. Some requirements cannot be specified sooner than at deployment-time. However, the deployment environment can be restrictive. The existing connector generator [32] utilizes complex external tools for generation of the connector's classes from templates. In this thesis, we propose an optimization based on a precompilation approach. Templates are precompiled at design-time into a form that can be later compiled easily using a bytecode manipulation technique.
Authentization in distributed web caching environment
Miňo, Tomáš ; Jirovský, Václav (advisor) ; Bulej, Lubomír (referee)
Web servers migth contain sensitive informations, which require authentication. To decrease load of these server, distributed cache system can be used. This thesis consider some proposal of authentication within distributed cache system, which has to follow the security politics of the original server, but without replication the database of access control rules from the original server. Next, the security analysis and prototype implementation of the proposal is accomplished and described.
SCXML state machine interpretter
Baláž, Ján ; Šerý, Ondřej (advisor) ; Bulej, Lubomír (referee)
Currently there is a need for programmers to access various tasks with alternative procedures. One such practice is using the state machine entry. As the solution shows a newly emerging standard by W3 Consorcium, called SCXML. By now, there are several di fferent implementation, but because of their robustness may not be suitable for individuals or small to medium businesses. These companies need tools that can easily adapt to their own projects. The aim of this work is to create a state machine interpreter described SCXML language that will satisfy the conditions described. The e ort is to implement the maximal part of SCXML speci cation. Work will be created in Perl and will support the operating systems Windows and Linux.
Read-Copy-Update for OpenSolaris
Podzimek, Andrej ; Děcký, Martin (advisor) ; Bulej, Lubomír (referee)
The goal of this thesis is to design and implement a RCU (Read-Copy-Update)synchronization mechanism for OpenSolaris. The main purpose of the RCU mechanism is to increase concurrency in readers-writers synchronization scenarios, especially in SMP (Symmetric Multiprocessing) environments. This improvement is achieved by keeping multiple versions of the protected data which enables readers and writers to run in parallel. The RCU synchronization has already been implemented multiple times and is used in the Linux kernel. The thesis includes analysis of existing RCU implementations, possible benefits of RCU in the ONNV (OpenSolaris) kernel and a prototype implementation in ONNV. It also suggests possible applications of RCU where lockless synchronization is already applied. The prototype implementation is compared with its counterpart in the Linux kernel.
Software Solution for Small and Medium-Sized Retail Companies
Hlavatý, Martin ; Bulej, Lubomír (advisor) ; Pergel, Martin (referee)
The aim of this thesis is to describe a warehouse management system and an Internet shopping website suitable for a small to medium-sized retailers. The thesis analyzes the needs of such companies, the most commonly performed operations and the persons required to carry them out. Based the results of the analysis, a software solution and its implementation is proposed. The suggested solution is built on a three-tier architecture using web services and implemented mostly in the Java and PHP languages. It is platform-independent, open-ended, and easily manageable (due to a group- and role-based authorization system).
Device drivers interface in HelenOS system
Trochtová, Lenka ; Děcký, Martin (advisor) ; Bulej, Lubomír (referee)
An introduction into device drivers, the significance of the unified interface for device drivers within the operating system. A brief description of the basic principles of hardware fromthe programmer's point of view. The HelenOS operating system overview - the description of the basic funcional blocks of microkernel, the current support of user-space device drivers, e.g. the support for accessing device's registers and interrupt processing from user-space. Common functions of the interface for device drivers and their relation to the needs of the HelenOS operating system. The problems usually solved by contemporary driver frameworks and the known ways of solving them - device-centric vs. driver-centric device-to-driver matching, device IDs, the number of supported device classes, device driver entry points, the representation of a device tree. Design and implementation - hierarchical device management, device auto-detection, predefined interfaces for access to devices, device classes, controlling the device driver's life cycle and device-to-driver matching, the installation and the configuration of a device driver. The description of device drivers in some contemporary operating system and their comparison - device drivers in Windows, Solaris and Linux. The evaluation and the possibilities of future...

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