Search Results - "Trivedi, K. S."

Combined Guard Channel and Mobile-Assisted Handoff for Cellular Networks by Madan, B.B., Dharmaraja, S., Trivedi, K.S.

“…For cellular communication systems, mobility and limited radio coverage of a cell require calls to be handed over from one base station system (BSS) to…”
Get full text

A BDD-based algorithm for reliability analysis of phased-mission systems by Xinyu Zang, Nairong Sun, Trivedi, K.S.

“…This paper presents a new algorithm (PMS-BDD) based on the binary decision diagram (BDD) for reliability analysis of phased-mission systems (PMS). PMS-BDD uses…”
Get full text

Humidity sensing behavior of Cr-PET (polyester) fiber-doped ZnO nanostructures by Verma, Vikas Kumar, Pandey, N. K., Awasthi, R. R., Trivedi, S. K., Singh, Bharti, Chauhan, Vinay Kumar

“…In the present study, the humidity sensing character of zinc oxide (ZnO) doped with chromium (Cr): polyester (PET) fibers (ZC PET0 , ZC PET1 , ZC PET2 , ZC…”
Get full text

Architecture-based approaches to software reliability prediction by Goševa-Popstojanova, K., Trivedi, K.S.

“…With growing emphasis on reuse, the software development process moves toward component-based software design. As a result, there is a need for modeling…”
Get full text

Performance modeling of wireless networks with generally distributed handoff interarrival times by Dharmaraja, S., Trivedi, K.S., Logothetis, D.

“…Handoff is an important issue in cellular mobile telephone systems. Recently, studies that question the validity of the assumption of handoff arrivals being…”
Get full text

A comparative experimental study of software rejuvenation overhead by Alonso, J., Matias, R., Vicente, E., Maria, A., Trivedi, K.S.

“…In this paper we present a comparative experimental study of the main software rejuvenation techniques developed so far to mitigate the software aging effects…”
Get full text

Dependability modeling using Petri-nets by Malhotra, M., Trivedi, K.S.

“…This paper describes a methodology to construct dependability models using generalized stochastic Petri nets (GSPN) and stochastic reward nets (SRN)…”
Get full text

An improved algorithm for coherent-system reliability by Tong Luo, Trivedi, K.S.

“…This paper presents a simpler and more efficient algorithm (LVT), based on the one proposed by Veeraraghavan and Trivedi (VT), to calculate system reliability…”
Get full text

Discrete-event simulation of fluid stochastic Petri nets by Ciardo, G., Nicol, D.M., Trivedi, K.S.

“…The purpose of this paper is to describe a method for the simulation of the recently introduced fluid stochastic Petri nets. Since such nets result in rather…”
Get full text

Synthesis and application of biochar in conjunction with various amendments to improve salt-affected soil and crop productivity by Patle, Tirunima, Sharma, Sanjay K., Trivedi, S.K., Tomar, Avinash Singh

“…Soil salinity is an important abiotic constraint that affects soil quality and crop productivity and has a direct impact on crop yields. Ensuring the…”
Get full text

A comprehensive model for software rejuvenation by Vaidyanathan, K., Trivedi, K.S.

“…Recently, the phenomenon of software aging, one in which the state of the software system degrades with time, has been reported. This phenomenon, which may…”
Get full text

A stochastic model for beaconless IEEE 802.15.4 MAC operation by Goyal, M., Rohm, D., Xie, W., Hosseini, S.H., Trivedi, K.S., Bashir, Y., Divjak, A.

“…IEEE 802.15.4 is a popular choice for MAC/PHY protocols in low power and low data rate wireless sensor networks. In this paper, we develop a stochastic model…”
Get full text

Architecture-based approach to reliability assessment of software systems by Goševa-Popstojanova, Katerina, Trivedi, Kishor S

“…With the growing emphasis on reuse, software development process moves toward component-based software design. As a result, there is a need for modeling…”
Get full text

Sufficient conditions for existence of a fixed point in stochastic reward net-based iterative models by Mainkar, V., Trivedi, K.S.

“…Stochastic Petri net models of large systems that are solved by generating the underlying Markov chain pose the problem of largeness of the state-space of the…”
Get full text

Model-based evaluation: from dependability to security by Nicol, D.M., Sanders, W.H., Trivedi, K.S.

“…The development of techniques for quantitative, model-based evaluation of computer system dependability has a long and rich history. A wide array of…”
Get full text

A workload-based analysis of software aging, and rejuvenation by Yujuan Bao, Xiaobai Sun, Trivedi, K.S.

“…We present a hierarchical model for the analysis of proactive fault management in the presence of system resource leaks. At the low level of the model…”
Get full text

A method for multiple channel recovery in TDMA wireless communications systems by Ma, Y, Han, J.J, Trivedi, K.S

“…A single base repeater failure in time division multiple access (TDMA) wireless systems causes all active calls on this base repeater to be dropped. In order…”
Get full text

Coverage modeling for dependability analysis of fault-tolerant systems by Dugan, J.B., Trivedi, K.S.

“…Several different models for predicting coverage in a fault-tolerant system, including models for permanent, intermittent, and transient errors, are discussed…”
Get full text

Stochastic Petri net models of polling systems by Ibe, O.C., Trivedi, K.S.

“…Finite population and finite capacity polling systems are considered. The behavior of these systems is described by means of generalized stochastic Petri nets…”
Get full text

Performability analysis: measures, an algorithm, and a case study by Smith, R.M., Trivedi, K.S., Ramesh, A.V.

“…The behavior of the multiprocessor system is described as a continuous Markov chain, and a reward rate (performance measure) is associated with each state. The…”
Get full text