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.
The paper deals with a novel method of modeling and analysis of software interrupt managers for event-driven embedded systems by means of the stochastic timed automata and statistical model checking instruments. The above-mentioned system is typically formed of a real-time part expected to produce correct responses and meet all predetermined timing constraints at runtime, even in adverse conditions...
Uruguay has a high hydroelectric power generation, creating a strong dependency between electricity generation and water situation. In periods of low rainfall must resort to more expensive electricity generation, such as thermal generation or to the imported electricity generation, with the consequent negative impact on the economy. To mitigate the effects of water stress on public finances, the Energy...
Since early eighties, not too many happened in analytical methods of performance valuation for actual computer and communication networks. The methods of the classic queuing theory (the mean value analysis, the convolution method) adopt unrealistic assumptions. The stochastic queuing network methods are not adequate for investigation of actual networks. Therefore, the paper presents an approximate...
In software system, reliability and safety are the most important attributes.In the past, many researches focused on two methods-probability and stochastic processes to predicted the attributes respectively. Comprehensive study of the two attributes is less than other problems,and the methods are often simple and single.In this paper,We study the reliability and safety of software from the states...
An efficient stochastic interchange method was developed that allows two discrete time sequences to be created with a specified cross-correlation function and individually defined amplitude and spectral characteristics. The technique is particularly useful for creating sequences for the stimulation of multi-input physiological systems. It is very general in that sequences of any signal type can be...
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.