scientific article
From MaRDI portal
Publication:3658792
zbMath0513.60001MaRDI QIDQ3658792
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to probability theory (60-01) Queueing theory (aspects of probability theory) (60K25) Applications of renewal theory (reliability, demand theory, etc.) (60K10)
Related Items
The reliability of life-critical computer systems, Analytical computation of Markov chain using Padé approximations, Transient behavior of a two-processor heterogeneous system with catastrophes, server failures and repairs, Performance analysis of a scheme for concurrency/synchronization using queueing network models, ON RELIABILITY FUNCTION OF A K-OUT-OF-N SYSTEM WITH GENERAL REPAIR TIME DISTRIBUTION, Towards Formal Fault Tree Analysis Using Theorem Proving, Reliability prediction of repairable redundant system with imperfect switching and repair, On the minimum of independent geometrically distributed random variables, Numerical transient analysis of Markov models, The method of characteristics applied to a stochastic two-stage model of carcinogenesis, Some efficient computational algorithms related to phase models, Performance modelling of nonhomogeneous unreliable multiserver systems using MOSEL, Markov and Markov reward model transient analysis: An overview of numerical approaches, Transient behaviour of three-heterogeneous servers queue with system disaster and server repair, Diagnosing time-varying misbehavior: An approach based on model decomposition, Composition and behaviors of probabilistic I/O automata, An analysis of the number of tasks in a parallel multi-processor system with task-splitting and feedback., Markov chains and Markov decision processes in Isabelle/HOL, Equivalent single-queue-single-server model for a pentium processor, Optimal assignment of resources to strengthen the weakest link in an uncertain environment, Bandwidth availability of \(m\)-level hierarchical multiprocessor systems, A distributed method to bound rollback lengths for fossil collection in time warp simulators, Uniformization for nonhomogeneous Markov chains, Stochastic modelling of flexible manufacturing systems, Specification techniques for Markov reward models, Estimating reliability of a repairable system with imperfect coverage and fuzzy parameters using parametric non-linear programming approach, COTS selection using fuzzy interactive approach, Transient solution of a two-processor heterogeneous system, Closed-form solution of decomposable stochastic models, A fault-tolerance model for multiprocessor real-time systems, A four-input three-stage queuing network approach to model an industrial system, Efficient techniques for performing an irregular computation on distributed memory machines, A closed queuing network model with single servers for multi-threaded architecture, A Laplace transform method for order statistics from nonidentical random variables and its application in phase-type distribution, Modeling a supply chain using a network of queues, Time-dependent analysis for a two-processor heterogeneous system with time-varying arrival and service rates, Bernoulli versus Markov: Investigation of state transition regime in switching-state acoustic models, A Method for Estimation of the Success Probability of an Intrusion Process by Considering the Temporal Aspects of the Attacker Behavior, Fault-tree modelling of computer system security, An improved partial Haar dual adaptive filter for rapid identification of a sparse echo channel, Confidence interval for M/M/2 queue with heterogeneous servers, Unavailability analysis for systems subject to unannounced failures, Bounding the lumping error in Markov chain dynamics, Two-stage generalized age maintenance of a queue-like production system, A single server queue with mixed types of interruptions, Algorithms for solving fuzzy relational equations in a probabilistic setting, A workload model representative of static and dynamic characteristics, Analysis of field data on computer failures, Numerical computation of response time distributions using stochastic reward nets, Information theoretic analysis for a general queueing system at equilibrium with application to queues in tandem, Virus tests to maximize availability of software systems, Estimating the mean completion time of PERT networks with exponentially distributed durations of activities, Homogeneous finite-source retrial queues with server subject to breakdowns and repairs, Dependability evaluation of hierarchical systems