Kishor S. Trivedi

From MaRDI portal
Person:172793

Available identifiers

zbMath Open trivedi.kishor-shridharbhaiWikidataQ102256907 ScholiaQ102256907MaRDI QIDQ172793

List of research outcomes





PublicationDate of PublicationType
Performance and Reliability of Tree-Structured Grid Services Considering Data Dependence and Failure Correlation2018-06-12Paper
Performability Analysis of Multistate Computing Systems Using Multivalued Decision Diagrams2017-07-27Paper
An Interacting Stochastic Models Approach for the Performance Evaluation of DSRC Vehicular Safety Communication2017-07-12Paper
https://portal.mardi4nfdi.de/entity/Q52700462017-06-29Paper
Performance and Reliability Evaluation of BSM Broadcasting in DSRC with Multi-Channel Schemes2017-06-20Paper
Probability and Statistics with Reliability, Queuing and Computer Science Applications2016-08-03Paper
Fast computation of bounds for two-terminal network reliability2016-06-23Paper
Improvement of expectation–maximization algorithm for phase‐type distributions with grouped and truncated data2014-05-06Paper
Investigating dynamic reliability and availability through state-space models2013-07-25Paper
Response Time Distributions in Networks of Queues2011-05-09Paper
Decompositional analysis of Kronecker structured Markov chains2009-09-08Paper
Network survivability modeling2009-05-26Paper
Truncated non-homogeneous Poisson process models-properties and performance2009-05-26Paper
Queueing Networks and Markov Chains2006-07-27Paper
https://portal.mardi4nfdi.de/entity/Q57116872005-12-07Paper
Architecture-based approaches to software reliability prediction2004-08-06Paper
https://portal.mardi4nfdi.de/entity/Q44110942003-07-07Paper
SREPT: software reliability estimation and prediction tool2003-06-24Paper
Performance analysis of distributed real-time databases2003-06-24Paper
A methodology towards automatic implementation of \(N\)-body algorithms2003-04-07Paper
Second-order stochastic fluid models with fluid-dependent flow rates2003-01-21Paper
Estimating Software Rejuvenation Schedules in High-Assurance Systems2002-10-06Paper
Architecture-based approach to reliability assessment of software systems2002-07-14Paper
Comparison of hybrid systems and fluid stochastic Petri nets2001-11-11Paper
https://portal.mardi4nfdi.de/entity/Q27290392001-10-23Paper
https://portal.mardi4nfdi.de/entity/Q27290372001-10-18Paper
https://portal.mardi4nfdi.de/entity/Q27290332001-10-18Paper
https://portal.mardi4nfdi.de/entity/Q27290112001-10-18Paper
Fluid stochastic Petri nets: Theory, applications, and solution techniques2001-03-22Paper
https://portal.mardi4nfdi.de/entity/Q42347422001-01-02Paper
https://portal.mardi4nfdi.de/entity/Q49453462000-10-12Paper
https://portal.mardi4nfdi.de/entity/Q42172711998-11-04Paper
Petri nets with k simultaneously enabled generally distributed timed transitions1998-06-30Paper
https://portal.mardi4nfdi.de/entity/Q56872101997-05-25Paper
https://portal.mardi4nfdi.de/entity/Q56872091997-05-25Paper
https://portal.mardi4nfdi.de/entity/Q43361381997-05-12Paper
Optimal software rejuvenation for tolerating soft failures1997-02-27Paper
Accelerating mean time to failure computations1997-02-27Paper
https://portal.mardi4nfdi.de/entity/Q48647031996-02-20Paper
https://portal.mardi4nfdi.de/entity/Q47635711995-11-28Paper
https://portal.mardi4nfdi.de/entity/Q47639891995-07-23Paper
A survey of efficient reliability computation using disjoint products approach1995-07-20Paper
https://portal.mardi4nfdi.de/entity/Q42813021994-11-17Paper
Multiprocessor performability analysis1994-08-29Paper
A decomposition approach for stochastic reward net models1994-06-09Paper
Numerical computation of response time distributions using stochastic reward nets1994-04-07Paper
https://portal.mardi4nfdi.de/entity/Q31384271994-04-06Paper
Specification techniques for Markov reward models1993-10-13Paper
Analysis of Stiff Markov Chains1993-01-16Paper
Composite performance and dependability analysis1992-09-27Paper
On the solution of GSPN reward models1992-08-13Paper
https://portal.mardi4nfdi.de/entity/Q39766891992-06-26Paper
Stochastic Petri net analysis of finite-population vacation queueing systems1991-01-01Paper
An improved algorithm for symbolic reliability analysis1991-01-01Paper
Two queues with alternating service and server breakdown1990-01-01Paper
Effects of checkpointing and queuebsfg on program performance1990-01-01Paper
Computation of the distribution of the completion time when the work requirement is a ph random variableThis work was supported in part by the US Office of Naval Research under Contract no. N3014-88-K-0623, by NASA under Grant NAG-1-70, and by the Italian National Research Council CNR under the project “Material and Devices for Solid State Electronics” Grant no. 86.02177.61.1990-01-01Paper
Transient analysis of cumulative measures of markov model behavior1989-01-01Paper
Numerical transient analysis of Markov models1988-01-01Paper
The use of Weibull fault processes in modeling fault tolerant systems1988-01-01Paper
The completion time of a job on multimode systems1987-01-01Paper
Queueing Analysis of Fault-Tolerant Computer Systems1987-01-01Paper
Reliability of Systems with Limited Repairs1987-01-01Paper
Transient analysis of acyclic markov chains1987-01-01Paper
A note on the effect of preemptive policies on the stability of a priority queue1987-01-01Paper
The reliability of life-critical computer systems1986-01-01Paper
The hybrid automated reliability predictor1986-01-01Paper
A single server queue in a hard-real-time environment1985-01-01Paper
https://portal.mardi4nfdi.de/entity/Q32217261984-01-01Paper
Analytic Queueing Models for Programs with Internal Concurrency1983-01-01Paper
Decomposition in Reliability Analysis of Fault-Tolerant Systems1983-01-01Paper
Task allocation in fault-tolerant distributed systems1983-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36587921982-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36587931982-01-01Paper
Optimal Design of Multilevel Storage Hierarchies1982-01-01Paper
Queueing Network Models in Computer System Design1982-01-01Paper
Optimal Design of Linear Storage Hierarchies1981-01-01Paper
Optimal Selection of CPU Speed, Device Capacities, and File Assignments1980-01-01Paper
An analysis of prepaging1979-01-01Paper
On-Line Algorithms for Division and Multiplication1977-01-01Paper
On the Paging Performance of Array Algorithms1977-01-01Paper
On the Use of Continued Fractions for Digital Computer Arithmetic1977-01-01Paper
Prepaging and Applications to Array Algorithms1976-01-01Paper
The Status of Investigations into Computer Hardware Design Based on the Use of Continued Fractions1973-01-01Paper

Research outcomes over time

This page was built for person: Kishor S. Trivedi