Learn More
Book description (from the cover): The first to cover the analysis and application of deterministic and stochastic Petri nets, this book provides comprehensive and fully up-to-date coverage of the fundamental techniques and algorithms. These Mgorithms are also immediately applicable for the analysis of other discrete-event stochastic systems with an(More)
Reliability and data retention of Solid-State Storage have multiple facets which should be traded off carefully. This paper presents a framework of reliability quantification deployed in Fusion-io ® , allowing us to design Fusion-io ® products more competitively regarding reliability by trading off various reliability aspects. It discloses a comprehensive(More)
BACKGROUND To investigate the effect of creatine and coenzyme Q10 (CoQ10) combination therapy on mild cognitive impairment (MCI) in Parkinson's disease (PD; PD-MCI) and its influences on plasma phospholipid (PL) levels in PD-MCI. METHODS The demographic data of 75 PD-MCI patients who enrolled in this collaborative PD study were collected. These patients(More)
—Differentiated Services (DiffServ) networks have received wide attention for several years. They categorize routers into edge routers and core routers. In core routers, one of the technological challenges is to implement differentiated bandwidth allocation and TCP protection with low complexity, where conventional per-flow queueing is costly. In this(More)
—In this paper, a new algorithm based on Binary Decision Diagram (BDD) for the analysis of a system with multistate components is proposed. Each state of a multistate component is represented by a Boolean variable, and a multistate system is represented by a series of multistate fault trees. A Boolean algebra with restrictions on variables is used to(More)
In this paper, a new algorithm based on Binary Decision Diagram (BDD) for reliability evaluation of Phased Mission System (PMS) is proposed. This algorithm uses phase algebra to deal with the dependence among the phases, and a new BDD operation is proposed to incorporate the phase algebra. Due to the nature of BDD, cancelation of common components among the(More)
— We propose to use Markov regenerative process (MRGP) models to study the availability of Internet-based services perceived by a Web user, which capture the interactions between the service facility and the user. The necessity of the sophisticated MRGP modeling is evidenced by the comparisons with the corresponding continuous time Markov chain (CTMC)(More)