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 modern distributed systems have not only functional requirements (i.e. Absence of deadlock, live lock etc.) but also have non-functional requirements (i.e. Security, reliability, performance, Quality of Service (QoS) etc.). The methods for checking their correctness and analyze their performance is at very primitive stage. In the last few decades, formal verification techniques such as process...
The importance of stochasticity within biological systems has been shown repeatedly during the last years and has raised the need for efficient stochastic tools. We present SABRE, a tool for stochastic analysis of biochemical reaction networks. SABRE implements fast adaptive uniformization, a direct numerical approximation algorithm for computing transient solutions of biochemical reaction networks...
A challenging issue in performance evaluation of parallel storage systems through trace-driven simulation is to accurately characterize and emulate I/O behaviors in real applications. The correlation study of inter-arrival times between I/O requests, with an emphasis on I/O-intensive scientific applications, shows the necessity to further study the self-similarity of parallel I/O arrivals. This paper...
Concurrent processing has become the default mode of operation in on-chip systems. Silicon has become cheap enough for having hardware facilities to support very large scale concurrent processing on chip. As a result the availability and applicability of power is becoming more of a limiting factor than logic. However, the advantage of parallelism in reducing power consumption will soon become unrealistic...
As a main signaling protocol for multimedia sessions in the Internet, SIP (Session Initiation Protocol) introduces a retransmission mechanism to maintain the reliability for its realtime transmission. However, retransmission will make the server overload worse. Recent collapse of SIP servers due to emergencyinduced call volume indicates that the built-in SIP overload control mechanism cannot prevent...
The adaptive explicit-implicit tau-leaping method with automatic tau selection is a flexible algorithm for accelerated stochastic simulation of chemically reacting systems. It combines the advantages of different simulation schemes and is particularly useful when a system changes its dynamical behavior over time in the sense that it behaves well in some time periods but possesses stiffness in other...
As an important performance of equipment system, testability is always omitted in the traditional availability analysis. Testability design is an effective way to realize the fault detection and isolation. Determining testability index is the chief step of testability design. It needs to consider the influence factors of testability such as the requirement of system availability, reliability, maintainability,...
With the modeling technology of Petri nets-based, task logics are described in products collaborative design. With boundedness, the coverability tree algorithm of Petri net is designed. On this basis, corresponding Markov chain is constructed; the algorithm of analysis performance of stochastic Petri net is provided. Through the case, the utilization ratio of resources and design efficiency in this...
This paper discusses the dynamics of the epidemic spreading behaviors for susceptible-infected-recovery (SIR) model on the power-law growth networks, characterized by variable value for exponent 7. We give the general generated algorithm for power-law growth networks, analyze the dynamics behavior for SIR model in complex networks, and introduce the interaction Markov chains mean-field equations as...
This paper focuses on evaluation of the performance characteristics of workflows in constructions modeled with stochastic Petri nets (SPN). This goal is achieved by focusing on a new model for artificial social systems (ASS) behaviors. ASS exists in practically every multi-agent system, and play a major role in the performance and effectiveness of the agents. This is the reason why we introduce a...
In this paper, we derive the interaction Markov chains (IMC) mean-field equations for dynamics of the epidemic spreading susceptible-infected-recovery (SIR) model that takes place on top of complex homogeneous and heterogeneous networks. These equations are solved numerically by means of a stochastic approach. We use these equations to examine the threshold behaviour and dynamics of the model on small-world...
Generalised stochastic Petri nets (GSPNs) are widely used in the performance analysis of computer and communications systems. Response time densities and quantiles are often key outputs of such analysis. These can be extracted from a GSPNpsilas underlying semi-Markov process using a method based on numerical Laplace transform inversion. This method typically requires the solution of thousands of systems...
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.