The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Multithreaded software is subject to data races. A large number of data race detectors exists, but they are mainly evaluated in academic examples. In this paper we present a study in which we applied data race detectors to real applications. In particular, we want to show, if these tools can be used to locate data races effectively at an early stage in software development. We therefore tracked 25...
Modern software is developed to work with multiple software and hardware architectures, to cooperate with various peer components and can be installed in many different configurations. In order to test it, all possible working environments needs to be created. This requires software and hardware resources like servers, networks and software licenses and most important: man-hours of qualified engineers...
This paper presents a concept of use of the rule-based reasoning systems for evaluation and classification of the suppliers. The problem of suppliers selection is widely discussed in literature. Majority of the authors apply the method of multi-criteria evaluation for selection of suppliers, mainly the Analytic Hierarchy Process (AHP) algorithm and related ones, to find its solution. In this paper...
Brief description of the author's results of development of cognitive processes (CP) computer modelling concept on the basis of improving the methodology and expanding the area of using computer-based testing technology in education is suggested. The fundamental heuristics for formalizing: the concept of degree of difficulty of test tasks (TT); the degree of confidence of individual's CP concept;...
This paper explores inexperienced user performance through a usability testing of three alternative prototypes of a mobile tablet application. One key factor in inexperienced users adopting mobile technology is the ease of use of mobile devices. The interface layout one of the three prototypes was built on the basis of previous research conducted in collaboration with users. More specifically, our...
Developing, for example, a simple booking web service with modern tools can be a matter of a few weeks work. Testing such a system should not need to take more time than that. Automatically generating tests from specified properties of the system using the tool QuickCheck provides professional developers with the required test efficiency. But how good is the quality of these automatically generated...
Energy management systems (EMS) are necessary when smart grids and microgrids are considered. Simulation of energy consumption is very useful in planning and testing such systems. In this article we present the problems of simulating energy consumption and show concept of a very general load simulator. The simulator can generate time series of consumption from fixed profiles and also from the defined...
IEC 61131-3 standard defines five languages for programming industrial controllers. They support both textual and graphical development approaches. In case of Function Block Diagram graphical language, diagrams consist of a set of elements connected with lines, which have various length and shape. Development of an editor supporting diagrams design involves implementation of an algorithm, which is...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.