| 2009 |
|---|
| 235 | EE | Poul E. Heegaard,
Kishor S. Trivedi:
Network survivability modeling.
Computer Networks 53(8): 1215-1234 (2009) |
| 2008 |
|---|
| 234 | EE | Poul E. Heegaard,
Kishor S. Trivedi:
Survivability quantification of communication services.
DSN 2008: 462-471 |
| 233 | EE | Subhasish Mitra,
Ravishankar K. Iyer,
Kishor S. Trivedi,
James W. Tschanz:
Reliable system design: models, metrics and design techniques.
ICCAD 2008: 3 |
| 232 | EE | Kishor S. Trivedi,
Gianfranco Ciardo,
Balakrishnan Dasarathy,
Michael Grottke,
Andrew Rindos,
B. Varshaw:
Achieving and assuring high availability.
IPDPS 2008: 1-7 |
| 231 | EE | Michael Grottke,
Hairong Sun,
Ricardo M. Fricks,
Kishor S. Trivedi:
Ten Fallacies of Availability and Reliability Analysis.
ISAS 2008: 187-206 |
| 230 | EE | Kishor S. Trivedi,
Gianfranco Ciardo,
Balakrishnan Dasarathy,
Michael Grottke,
Rivalino Matias,
Andrew Rindos,
Bart Vashaw:
Achieving and Assuring High Availability.
ISAS 2008: 20-25 |
| 229 | EE | Kishor S. Trivedi,
Kalyanaraman Vaidyanathan:
Software Aging and Rejuvenation.
Wiley Encyclopedia of Computer Science and Engineering 2008 |
| 2007 |
|---|
| 228 | EE | Kishor S. Trivedi:
Survivability Quantification - Keynote.
BROADNETS 2007: 961 |
| 227 | EE | Hiroyuki Okamura,
Michael Grottke,
Tadashi Dohi,
Kishor S. Trivedi:
Variational Bayesian Approach for Interval Estimation of NHPP-Based Software Reliability Models.
DSN 2007: 698-707 |
| 226 | EE | Marc Haberkorn,
Kishor S. Trivedi:
Availability Monitor for a Software Based System.
HASE 2007: 321-328 |
| 225 | EE | N. Sato,
Kishor S. Trivedi:
Stochastic Modeling of Composite Web Services for Closed-Form Analysis of Their Performance and Reliability Bottlenecks.
ICSOC 2007: 107-118 |
| 224 | EE | N. Sato,
Kishor S. Trivedi:
Accurate and efficient stochastic reliability analysis of composite services using their compact Markov reward model representations.
IEEE SCC 2007: 114-121 |
| 223 | EE | Bruno Tuffin,
Pawan K. Choudhary,
Christophe Hirel,
Kishor S. Trivedi:
Simulation versus analytic-numeric methods: illustrative examples.
VALUETOOLS 2007: 63 |
| 222 | EE | Michael Grottke,
Kishor S. Trivedi:
Fighting Bugs: Remove, Retry, Replicate, and Rejuvenate.
IEEE Computer 40(2): 107-109 (2007) |
| 221 | EE | Yuan-Shun Dai,
Gregory Levitin,
Kishor S. Trivedi:
Performance and Reliability of Tree-Structured Grid Services Considering Data Dependence and Failure Correlation.
IEEE Trans. Computers 56(7): 925-936 (2007) |
| 220 | EE | Dazhi Wang,
Kishor S. Trivedi:
Reliability Analysis of Phased-Mission System With Independent Component Repairs.
IEEE Transactions on Reliability 56(3): 540-551 (2007) |
| 219 | EE | Günther A. Hoffmann,
Kishor S. Trivedi,
Miroslaw Malek:
A Best Practice Guide to Resource Forecasting for Computing Systems.
IEEE Transactions on Reliability 56(4): 615-628 (2007) |
| 218 | EE | Vibhu Saujanya Sharma,
Kishor S. Trivedi:
Quantifying software performance, reliability and security: An architecture-based approach.
Journal of Systems and Software 80(4): 493-509 (2007) |
| 217 | EE | Dazhi Wang,
Wei Xie,
Kishor S. Trivedi:
Performability analysis of clustered systems with rejuvenation under varying workload.
Perform. Eval. 64(3): 247-265 (2007) |
| 2006 |
|---|
| 216 | EE | Vibhu Saujanya Sharma,
Pankaj Jalote,
Kishor S. Trivedi:
A Performance Engineering Tool for Tiered Software Systems.
COMPSAC (1) 2006: 63-70 |
| 215 | EE | Alberto Avritzer,
Andre B. Bondi,
Michael Grottke,
Kishor S. Trivedi,
Elaine J. Weyuker:
Performance Assurance via Software Rejuvenation: Monitoring, Statistics and Algorithms.
DSN 2006: 435-444 |
| 214 | EE | Kesari Mishra,
Kishor S. Trivedi:
Model Based Approach for Autonomic Availability Management.
ISAS 2006: 1-16 |
| 213 | EE | Vibhu Saujanya Sharma,
Kishor S. Trivedi:
Reliability and Performance of Component Based Software Systems with Restarts, Retries, Reboots and Repairs.
ISSRE 2006: 299-310 |
| 212 | EE | Kishor S. Trivedi,
Ranjith Vasireddy,
David Trindale,
Swami Nathan,
Rick Castro:
Modeling High Availability.
PRDC 2006: 154-164 |
| 211 | EE | Günther A. Hoffmann,
Kishor S. Trivedi,
Miroslaw Malek:
A Best Practice Guide to Resources Forecasting for the Apache Webserver.
PRDC 2006: 183-193 |
| 210 | EE | Swapna S. Gokhale,
Michael R. Lyu,
Kishor S. Trivedi:
Incorporating fault debugging activities into software reliability models: a simulation approach.
IEEE Transactions on Reliability 55(2): 281-292 (2006) |
| 209 | EE | Michael Grottke,
Lei Li,
Kalyanaraman Vaidyanathan,
Kishor S. Trivedi:
Analysis of Software Aging in a Web Server.
IEEE Transactions on Reliability 55(3): 411-420 (2006) |
| 208 | EE | Swapna S. Gokhale,
Kishor S. Trivedi:
Analytical Models for Architecture-Based Software Reliability Prediction: A Unification Framework.
IEEE Transactions on Reliability 55(4): 578-590 (2006) |
| 2005 |
|---|
| 207 | EE | Vibhu Saujanya Sharma,
Pankaj Jalote,
Kishor S. Trivedi:
Evaluating Performance Attributes of Layered Software Architecture.
CBSE 2005: 66-81 |
| 206 | EE | Christopher Griffin,
Bharat B. Madan,
Kishor S. Trivedi:
State Space Approach to Security Quantification.
COMPSAC (2) 2005: 83-88 |
| 205 | EE | Michael Grottke,
Kishor S. Trivedi:
On a Method for Mending Time to Failure Distributions.
DSN 2005: 560-569 |
| 204 | EE | Dazhi Wang,
Kishor S. Trivedi:
Modeling User-Perceived Service Availability.
ISAS 2005: 107-122 |
| 203 | EE | Bharat B. Madan,
Shashi Phoha,
Kishor S. Trivedi:
StackOFFence: A Technique for Defending Against Buffer Overflow Attacks.
ITCC (1) 2005: 656-661 |
| 202 | EE | Vibhu Saujanya Sharma,
Kishor S. Trivedi:
Architecture based analysis of performance, reliability and security of software systems.
WOSP 2005: 217-227 |
| 201 | EE | Pawan K. Choudhary,
Bharat B. Madan,
Kishor S. Trivedi:
Modeling and simulation of integrated voice/data cellular communication with generally distributed delay for end voice calls.
Winter Simulation Conference 2005: 412-418 |
| 200 | EE | Yun Liu,
Yue Ma,
James J. Han,
Haim Levendel,
Kishor S. Trivedi:
A proactive approach towards always-on availability in broadband cable networks.
Computer Communications 28(1): 51-64 (2005) |
| 199 | EE | Kalyanaraman Vaidyanathan,
Kishor S. Trivedi:
A Comprehensive Model for Software Rejuvenation.
IEEE Trans. Dependable Sec. Comput. 2(2): 124-137 (2005) |
| 198 | EE | Dazhi Wang,
Kishor S. Trivedi:
Computing steady-state mean time to failure for non-coherent repairable systems.
IEEE Transactions on Reliability 54(3): 506-516 (2005) |
| 197 | EE | Yujuan Bao,
Xiaobai Sun,
Kishor S. Trivedi:
A workload-based analysis of software aging, and rejuvenation.
IEEE Transactions on Reliability 54(3): 541-548 (2005) |
| 2004 |
|---|
| 196 | EE | Tadashi Dohi,
Shunji Osaki,
Kishor S. Trivedi:
An Infinite Server Queueing Approach for Describing Software Reliability Growth - Unified Modeling and Estimation Framework.
APSEC 2004: 120-129 |
| 195 | EE | Dong Tang,
Kishor S. Trivedi:
Hierarchical Computation of Interval Availability and Related Metrics.
DSN 2004: 693- |
| 194 | | Kishor S. Trivedi,
Kalyanaraman Vaidyanathan:
Software Rejuvenation - Modeling and Analysis.
IFIP Congress Tutorials 2004: 151-182 |
| 193 | | Helena Szczerbicka,
Kishor S. Trivedi,
Pawan K. Choudhary:
Discrete Event Simulation with Applications to Computer Communication Systems Performance.
IFIP Congress Tutorials 2004: 271-304 |
| 192 | EE | Yun Liu,
Veena B. Mendiratta,
Kishor S. Trivedi:
Survivability Analysis of Telephone Access Network.
ISSRE 2004: 367-378 |
| 191 | | Yun Liu,
Kishor S. Trivedi:
A General Framework for Network Survivability Quantification.
MMB 2004: 369-378 |
| 190 | EE | Wei Xie,
Yiguang Hong,
Kishor S. Trivedi:
Software Rejuvenation Policies for Cluster Systems under Varying Workload.
PRDC 2004: 122-129 |
| 189 | EE | David M. Nicol,
William H. Sanders,
Kishor S. Trivedi:
Model-Based Evaluation: From Dependability to Security.
IEEE Trans. Dependable Sec. Comput. 1(1): 48-65 (2004) |
| 188 | EE | Bharat B. Madan,
Kishor S. Trivedi:
Security modeling and quantification of intrusion tolerant systems using attack-response graph.
J. High Speed Networks 13(4): 297-308 (2004) |
| 187 | EE | Bharat B. Madan,
Katerina Goseva-Popstojanova,
Kalyanaraman Vaidyanathan,
Kishor S. Trivedi:
A method for modeling and quantifying the security attributes of intrusion tolerant systems.
Perform. Eval. 56(1-4): 167-186 (2004) |
| 186 | EE | Yonghuan Cao,
Hairong Sun,
Kishor S. Trivedi:
The effect of access delay in capacity-on-demand access over a wireless link under bursty packet-switched data.
Perform. Eval. 57(1): 69-87 (2004) |
| 185 | EE | Swapna S. Gokhale,
W. Eric Wong,
Joseph Robert Horgan,
Kishor S. Trivedi:
An analytical approach to architecture-based software performance and reliability prediction.
Perform. Eval. 58(4): 391-412 (2004) |
| 184 | EE | Swapna S. Gokhale,
Michael R. Lyu,
Kishor S. Trivedi:
Analysis of Software Fault Removal Policies Using a Non-Homogeneous Continuous Time Markov Chain.
Software Quality Journal 12(3): 211-230 (2004) |
| 2003 |
|---|
| 183 | EE | Yujuan Bao,
Xiaobai Sun,
Kishor S. Trivedi:
Adaptive Software Rejuvenation: Degradation Model and Rejuvenation Scheme.
DSN 2003: 241-248 |
| 182 | EE | Dongyan Chen,
Sachin Garg,
Chandra M. R. Kintala,
Kishor S. Trivedi:
Dependability Enhancement for IEEE 802.11 Wireless LAN with Redundancy Techniques.
DSN 2003: 521- |
| 181 | EE | Hiroyuki Suzuki,
Tadashi Dohi,
Naoto Kaio,
Kishor S. Trivedi:
Maximizing Interval Reliability in Operational Software System with Rejuvenation.
ISSRE 2003: 479-490 |
| 180 | EE | Selvamuthu Dharmaraja,
Kishor S. Trivedi,
Dimitris Logothetis:
Performance modeling of wireless networks with generally distributed handoff interarrival times.
Computer Communications 26(15): 1747-1755 (2003) |
| 179 | EE | Xinyu Zang,
Dazhi Wang,
Hairong Sun,
Kishor S. Trivedi:
A BDD-Based Algorithm for Analysis of Multistate Systems with Multistate Components.
IEEE Trans. Computers 52(12): 1608-1618 (2003) |
| 178 | EE | M. Lanus,
Liang Yin,
Kishor S. Trivedi:
Hierarchical composition and aggregation of state-based availability and performability models.
IEEE Transactions on Reliability 52(1): 44-52 (2003) |
| 177 | | Kishor S. Trivedi,
Srinivasan Ramani,
Ricardo M. Fricks:
Recent advances in modeling response-time distributions in real-time systems.
Proceedings of the IEEE 91(7): 1023-1037 (2003) |
| 2002 |
|---|
| 176 | EE | Dong Chen,
Selvamuthu Dharmaraja,
Dongyan Chen,
Lei Li,
Kishor S. Trivedi,
Raphael R. Some,
Allen P. Nikora:
Reliability and Availability Analysis for the JPL Remote Exploration and Experimentation System.
DSN 2002: 337-344 |
| 175 | EE | Bharat B. Madan,
Katerina Goseva-Popstojanova,
Kalyanaraman Vaidyanathan,
Kishor S. Trivedi:
Modeling and Quantification of Security Attributes of Software Systems.
DSN 2002: 505-514 |
| 174 | EE | Kishor S. Trivedi:
SHARPE 2002: Symbolic Hierarchical Automated Reliability and Performance Evaluator.
DSN 2002: 544 |
| 173 | EE | Kishor S. Trivedi:
SREPT: A Tool for Software Reliability Estimation and Prediction.
DSN 2002: 546 |
| 172 | EE | Wei Jin,
Rakesh D. Barve,
Kishor S. Trivedi:
A Simple Characterization of Provably Efficient Prefetching Algorithms.
DSN 2002: 571- |
| 171 | EE | Srinivasan Ramani,
Katerina Goseva-Popstojanova,
Kishor S. Trivedi:
A Framework for Performability Modeling of Messaging Services in Distributed Systems.
ICECCS 2002: 25-34 |
| 170 | EE | Lei Li,
Kalyanaraman Vaidyanathan,
Kishor S. Trivedi:
An Approach for Estimation of Software Aging in a Web Server.
ISESE 2002: 91-102 |
| 169 | EE | Yun Liu,
Kishor S. Trivedi,
Yue Ma,
James J. Han,
Haim Levendel:
Modeling and Analysis of Software Rejuvenation in Cable Modem Termination Systems.
ISSRE 2002: 159-170 |
| 168 | EE | Swapna S. Gokhale,
Kishor S. Trivedi:
Reliability Prediction and Sensitivity Analysis Based on Software Architecture.
ISSRE 2002: 64-78 |
| 167 | | Kishor S. Trivedi,
Selvamuthu Dharmaraja,
Xiaomin Ma:
Analytic Modeling of Handoffs in Wireless Cellular Networks.
JCIS 2002: 1383-1392 |
| 166 | EE | Dongyan Chen,
Sachin Garg,
Kishor S. Trivedi:
Network survivability performance evaluation: : a quantitative approach with applications in wireless ad-hoc networks.
MSWiM 2002: 61-68 |
| 165 | EE | Kishor S. Trivedi,
Kalyanaraman Vaidyanathan:
Software Reliability and Rejuvenation: Modeling and Analysis.
Performance 2002: 318-345 |
| 164 | EE | Tadashi Dohi,
Naoto Kaio,
Kishor S. Trivedi:
Availability Models with Age-Dependent Checkpointing.
SRDS 2002: 130-139 |
| 163 | EE | Kalyanaraman Vaidyanathan,
Dharmaraja Selvamuthu,
Kishor S. Trivedi:
Analysis of Inspection-Based Preventive Maintenance in Operational Software Systems.
SRDS 2002: 286-295 |
| 162 | EE | Swapna S. Gokhale,
Joseph R. Horgan,
Kishor S. Trivedi:
Specification-Level Integration of Simulation and Dependability Analysis.
WADS 2002: 245-266 |
| 161 | EE | Yue Ma,
James J. Han,
Kishor S. Trivedi:
Call admission control for reducing dropped calls in CDMA cellular systems.
Computer Communications 25(7): 689-699 (2002) |
| 160 | EE | Kishor S. Trivedi,
Selvamuthu Dharmaraja,
Xiaomin Ma:
Analytic modeling of handoffs in wireless cellular networks.
Inf. Sci. 148(1-4): 155-166 (2002) |
| 159 | | Dongyan Chen,
Yiguang Hong,
Kishor S. Trivedi:
Second-order stochastic fluid models with fluid-dependent flow rates.
Perform. Eval. 49(1/4): 341-358 (2002) |
| 2001 |
|---|
| 158 | EE | Srinivasan Ramani,
Kishor S. Trivedi,
Balakrishnan Dasarathy:
Reliable Messaging Using the CORBA Notification Service.
DOA 2001: 229-238 |
| 157 | EE | Tadashi Dohi,
Nobuyuki Wakana,
Shunji Osaki,
Kishor S. Trivedi:
Analysis of Hypergeometric Distribution Software Reliability Model.
ISSRE 2001: 166-175 |
| 156 | EE | Katerina Goseva-Popstojanova,
Aditya P. Mathur,
Kishor S. Trivedi:
Many architecture-based software reliability modelsComparison of Architecture-Based Software Reliability Models.
ISSRE 2001: 22-33 |
| 155 | EE | Dongyan Chen,
Kishor S. Trivedi:
Analysis of Periodic Preventive Maintenance with General System Failure Distribution.
PRDC 2001: 103-110 |
| 154 | EE | Kalyanaraman Vaidyanathan,
Richard E. Harper,
Steven W. Hunter,
Kishor S. Trivedi:
Analysis and implementation of software rejuvenation in cluster systems.
SIGMETRICS/Performance 2001: 62-71 |
| 153 | EE | Srinivasan Ramani,
Kishor S. Trivedi,
Balakrishnan Dasarathy:
Performance Analysis of the CORBA Notification Service .
SRDS 2001: 227- |
| 152 | EE | Tadashi Dohi,
Katerina Goseva-Popstojanova,
Kishor S. Trivedi:
Estimating Software Rejuvenation Schedules in High-Assurance Systems.
Comput. J. 44(6): 473-485 (2001) |
| 151 | EE | Bruno Tuffin,
Dong S. Chen,
Kishor S. Trivedi:
Comparison of Hybrid Systems and Fluid Stochastic Petri Nets.
Discrete Event Dynamic Systems 11(1-2): 77-95 (2001) |
| 150 | EE | Vittorio Castelli,
Richard E. Harper,
Philip Heidelberger,
Steven W. Hunter,
Kishor S. Trivedi,
Kalyanaraman Vaidyanathan,
William P. Zeggert:
Proactive management of software aging.
IBM Journal of Research and Development 45(2): 311-332 (2001) |
| 149 | EE | Hairong Sun,
Xinyu Zang,
Kishor S. Trivedi:
Performance of broadcast and unknown server (BUS) in ATM LAN emulation.
IEEE/ACM Trans. Netw. 9(3): 361-372 (2001) |
| 148 | | Katerina Goseva-Popstojanova,
Kishor S. Trivedi:
Architecture-based approach to reliability assessment of software systems.
Perform. Eval. 45(2-3): 179-204 (2001) |
| 2000 |
|---|
| 147 | EE | Kishor S. Trivedi,
Kalyanaraman Vaidyanathan,
Katerina Goseva-Popstojanova:
Modeling and Analysis of Software Aging and Rejuvenation.
Annual Simulation Symposium 2000: 270- |
| 146 | EE | Kishor S. Trivedi:
Proactive Fault-Management in Software System.
Annual Simulation Symposium 2000: 3- |
| 145 | EE | Bruno Tuffin,
Kishor S. Trivedi:
Implementation of Importance Splitting Techniques in Stochastic Petri Net Package.
Computer Performance Evaluation / TOOLS 2000: 216-229 |
| 144 | EE | Christophe Hirel,
Robin A. Sahner,
Xinyu Zang,
Kishor S. Trivedi:
Reliability and Performability Modeling Using SHARPE 2000.
Computer Performance Evaluation / TOOLS 2000: 345-349 |
| 143 | EE | Christophe Hirel,
Bruno Tuffin,
Kishor S. Trivedi:
SPNP: Stochastic Petri Nets. Version 6.0.
Computer Performance Evaluation / TOOLS 2000: 354-357 |
| 142 | EE | Srinivasan Ramani,
Kishor S. Trivedi:
SREPT: Software Reliability Estimation and Prediction Tool.
Computer Performance Evaluation / TOOLS 2000: 358-361 |
| 141 | EE | Yue Ma,
James J. Han,
Kishor S. Trivedi:
Call Admission Control for Reducing Dropped Calls in Code Division Multiple Access (CDMA) Cellular Systems.
INFOCOM 2000: 1481-1490 |
| 140 | EE | Srinivasan Ramani,
Balakrishnan Dasarathy,
Kishor S. Trivedi:
Building a Reliable Message Delivery System Using the CORBA Event Service.
IPDPS Workshops 2000: 1276-1280 |
| 139 | EE | Tadashi Dohi,
Shunji Osaki,
Kishor S. Trivedi:
Heuristic Self-Organization Algorithms for Software Reliability Assessment and Their Applications.
ISSRE 2000: 40-51 |
| 138 | EE | Katerina Goseva-Popstojanova,
Kishor S. Trivedi:
Effects of failure correlation on software in operation.
PRDC 2000: 69-76 |
| 137 | EE | Tadashi Dohi,
Katerina Goseva-Popstojanova,
Kishor S. Trivedi:
Statistical non-parametric algorithms to estimate the optimal software rejuvenation schedule.
PRDC 2000: 77-84 |
| 136 | EE | Katerina Goseva-Popstojanova,
Kishor S. Trivedi:
Stochastic Modeling Formalisms for Dependability, Performance and Performability.
Performance Evaluation 2000: 403-422 |
| 135 | EE | Srinivasan Ramani,
Kishor S. Trivedi,
Balakrishnan Dasarathy:
Performance Analysis of the CORBA Event Service using Stochastic Reward Nets.
SRDS 2000: 238-247 |
| 134 | | Srinivasan Ramani,
Swapna S. Gokhale,
Kishor S. Trivedi:
SREPT: software reliability estimation and prediction tool.
Perform. Eval. 39(1-4): 37-60 (2000) |
| 1999 |
|---|
| 133 | EE | Andrea Bondavalli,
Ivan Mura,
Kishor S. Trivedi:
Dependability Modelling and Sensitivity Analysis of Scheduled Maintenance Systems.
EDCC 1999: 7-23 |
| 132 | EE | Sachin Garg,
Yennun Huang,
Chandra M. R. Kintala,
Kishor S. Trivedi,
Shalini Yajnik:
Performance and Reliability Evaluation of Passive Replication Schemes in Application Level Fault Tolerance.
FTCS 1999: 322-329 |
| 131 | EE | Xinyu Zang,
Hairong Sun,
Kishor S. Trivedi:
Dependability Analysis of Distributed Computer Systems with Imperfect Coverage.
FTCS 1999: 330-337 |
| 130 | EE | Hairong Sun,
Yonghuan Cao,
Kishor S. Trivedi,
James J. Han:
Availability and Performance Evaluation for Automatic Protection Switching in TDMA Wireless System.
PRDC 1999: 15-22 |
| 129 | | Swapna S. Gokhale,
Kishor S. Trivedi:
A time/structure based software reliability model.
Ann. Software Eng. 8: 85-121 (1999) |
| 128 | EE | Hairong Sun,
Xinyu Zang,
Kishor S. Trivedi:
The effect of Web caching on network planning.
Computer Communications 22(14): 1343-1350 (1999) |
| 127 | EE | Hairong Sun,
Xinyu Zang,
Kishor S. Trivedi:
A stochastic reward net model for performance analysis of prioritized DQDB MAN.
Computer Communications 22(9): 858-870 (1999) |
| 126 | EE | Gianfranco Ciardo,
David M. Nicol,
Kishor S. Trivedi:
Discrete-Event Simulation of Fluid Stochastic Petri Nets.
IEEE Trans. Software Eng. 25(2): 207-217 (1999) |
| 125 | | Ricardo M. Fricks,
Antonio Puliafito,
Kishor S. Trivedi:
Performance Analysis of Distributed Real-Time Databased.
Perform. Eval. 35(3-4): 145-169 (1999) |
| 1998 |
|---|
| 124 | EE | Tong Luo,
Kishor S. Trivedi:
An Improved Multiple Variable Inversion Algorithm for Reliability Calculation.
Computer Performance Evaluation (Tools) 1998: 180-192 |
| 123 | EE | Srinivasan Ramani,
Swapna S. Gokhale,
Kishor S. Trivedi:
SREPT: Software Reliability Estimation and Prediction Tool.
Computer Performance Evaluation (Tools) 1998: 27-36 |
| 122 | EE | Swapna S. Gokhale,
Kishor S. Trivedi:
Log-Logistic Software Reliability Growth Model.
HASE 1998: 34-41 |
| 121 | | Antonio Puliafito,
Orazio Tomarchio,
Lorenzo Vita,
Kishor S. Trivedi:
Increasing Application Accessibility through Java.
IEEE Internet Computing 2(4): 70-77 (1998) |
| 120 | | Sachin Garg,
Antonio Puliafito,
Miklós Telek,
Kishor S. Trivedi:
Analysis of Preventive Maintenance in Transactions Based Software Systems.
IEEE Trans. Computers 47(1): 96-107 (1998) |
| 119 | EE | Andrea Bobbio,
Antonio Puliafito,
Miklós Telek,
Kishor S. Trivedi:
Recent Developments in Non-Markovian Stochastic Petri Nets.
Journal of Circuits, Systems, and Computers 8(1): 119-158 (1998) |
| 118 | | Antonio Puliafito,
Marco Scarpa,
Kishor S. Trivedi:
Petri Nets with k Simultaneously Enabled Generally Distributed Timed Transitions.
Perform. Eval. 32(1): 1-34 (1998) |
| 117 | EE | Ricardo M. Fricks,
Antonio Puliafito,
Miklós Telek,
Kishor S. Trivedi:
Applications of non-Markovian stochastic Petri nets.
SIGMETRICS Performance Evaluation Review 26(2): 15-27 (1998) |
| 1997 |
|---|
| 116 | | Ann T. Tai,
Herbert Hecht,
Kishor S. Trivedi,
Bing Zhang:
Toward Accessibility Enhancement of Dependability Modeling Techniques and Tools.
FTCS 1997: 37-41 |
| 115 | EE | Ann T. Tai,
Kishor S. Trivedi,
Herbert Hecht:
On the Development of Dependability-Evaluation Workbench for High-Assurance System Designers.
HASE 1997: 2-13 |
| 114 | | Steven W. Hunter,
Teebu Philip,
Kishor S. Trivedi:
Combined Performance and Availability Analysis of a Switched Network Applications.
ICC (1) 1997: 241-245 |
| 113 | EE | Cheul Woo Ro,
Kishor S. Trivedi:
Performability analysis of handoff calls in personal communication networks.
ICCCN 1997: 116-121 |
| 112 | EE | D. Logothesis,
Kishor S. Trivedi:
The Effect of Detection and Restoration Times on Error Recovery in Communication Networks.
J. Network Syst. Manage. 5(2): (1997) |
| 111 | | Meera Balakrishnan,
Antonio Puliafito,
Kishor S. Trivedi,
Yannis Viniotis:
Buffer losses vs. deadline violations for ABR traffic in an ATM switch: A computational approach.
Telecommunication Systems 7(1-3): 105-123 (1997) |
| 1996 |
|---|
| 110 | EE | Ricardo M. Fricks,
Steven W. Hunter,
Sachin Garg,
Kishor S. Trivedi:
IDEA: Integrated Design Environment for Assessment of ATM Networks.
ICECCS 1996: 27-34 |
| 109 | | Chang-Yu Wang,
Dimitris Logothetis,
Kishor S. Trivedi,
Yannis Viniotis:
Transient Behavior of ATM Networds under Overloads.
INFOCOM 1996: 978-985 |
| 108 | | Swapna S. Gokhale,
Peter N. Marinos,
Kishor S. Trivedi:
Important Milestones in Software Reliability Modeling.
SEKE 1996: 345-352 |
| 107 | | Sachin Garg,
Yennun Huang,
Chandra M. R. Kintala,
Kishor S. Trivedi:
Minimizing Completion Time of a Program by Checkpointing and Rejuvenation.
SIGMETRICS 1996: 252-261 |
| 106 | EE | Varsha Mainkar,
Kishor S. Trivedi:
Sufficient Conditions for Existence of a Fixed Point in Stochastic Reward Net-Based Iterative Models.
IEEE Trans. Software Eng. 22(9): 640-653 (1996) |
| 105 | | András Pfening,
Sachin Garg,
Antonio Puliafito,
Miklós Telek,
Kishor S. Trivedi:
Optimal Software Rejuvenation for Tolerating Soft Failures.
Perform. Eval. 27/28(4): 491-506 (1996) |
| 104 | | Philip Heidelberger,
Jogesh K. Muppala,
Kishor S. Trivedi:
Accelerating Mean Time to Failure Computations.
Perform. Eval. 27/28(4): 627-645 (1996) |
| 1995 |
|---|
| 103 | EE | A. V. Ramesh,
Kishor S. Trivedi:
Semi-numerical transient analysis of Markov models.
ACM Southeast Regional Conference 1995: 13-23 |
| 102 | | Meera Balakrishnan,
Kishor S. Trivedi:
Componentwise Decomposition for an Efficient Reliability Computation of Systems with Repairable Components.
FTCS 1995: 259-268 |
| 101 | | Kishor S. Trivedi,
Antonio Puliafito,
Dimitris Logothetis:
From Stochastic Petri Nets to Markov Regenerative Stochastic Petri Nets.
MASCOTS 1995: 194-198 |
| 100 | | Miklós Telek,
Andrea Bobbio,
László Jereb,
Antonio Puliafito,
Kishor S. Trivedi:
Steady State Analysis of Markov Regenerative SPN with Age Memory Policy.
MMB 1995: 165-179 |
| 99 | | Kishor S. Trivedi,
Andrea Bobbio,
Miklós Telek,
Reinhard German,
Gianfranco Ciardo,
Antonio Puliafito:
Non-Markovian Petri Nets (Panel).
SIGMETRICS 1995: 263-264 |
| 98 | | Manish Malhotra,
Kishor S. Trivedi:
Data Integrity Analysis of Disk Array Systems with Analytic Modeling of Coverage.
Perform. Eval. 22(1): 111-133 (1995) |
| 1994 |
|---|
| 97 | | Kishor S. Trivedi,
Boudewijn R. Haverkort,
Andrew Rindos,
Varsha Mainkar:
Techniques and Tools for Reliability and Performance Evaluation: Problems and Perspectives.
Computer Performance Evaluation 1994: 1-24 |
| 96 | | Wei Wang,
Kishor S. Trivedi,
Babubhai V. Shah,
Joseph A. Profeta III:
The Impact of Fault Expansion on the Interval Estimate for Fault Detection Coverage.
FTCS 1994: 330-337 |
| 95 | | Dimitris Logothetis,
Kishor S. Trivedi:
Transient Analysis of the Leaky Bucket Rate Control Scheme Under Poisson and ON-OFF Sources.
INFOCOM 1994: 490-497 |
| 94 | | Kishor S. Trivedi,
Manish Malhotra,
Ricardo M. Fricks:
Markov Reward Approach to Performability and Reliability Analysis.
MASCOTS 1994: 7-11 |
| 93 | | Arun K. Somani,
Kishor S. Trivedi:
Phased-Mission System Analysis Using Boolean Algebraic Methods.
SIGMETRICS 1994: 98-107 |
| 92 | | Malathi Veeraraghavan,
Kishor S. Trivedi:
A Combinatorial Algorithm for Performance and Reliability Analysis Using Multistate Models.
IEEE Trans. Computers 43(2): 229-234 (1994) |
| 91 | EE | Dimitris Logothetis,
Kishor S. Trivedi:
Reliability analysis of the double counter-rotating ring with concentrator attachments.
IEEE/ACM Trans. Netw. 2(5): 520-532 (1994) |
| 90 | | Hoon Choi,
Vidyadhar G. Kulkarni,
Kishor S. Trivedi:
Markov Regenerative Stochastic Petri Nets.
Perform. Eval. 20(1-3): 337-357 (1994) |
| 89 | | Hermann de Meer,
Kishor S. Trivedi,
Mario Dal Cin:
Guarded Repair of Dependable Systems.
Theor. Comput. Sci. 128(1&2): 179-210 (1994) |
| 1993 |
|---|
| 88 | | Hoon Choi,
Vidyadhar G. Kulkarni,
Kishor S. Trivedi:
Transient Analysis of Deterministic and Stochastic Petri Nets.
Application and Theory of Petri Nets 1993: 166-185 |
| 87 | | Kishor S. Trivedi,
Vidyadhar G. Kulkarni:
FSPNs: Fluid Stochastic Petri Nets.
Application and Theory of Petri Nets 1993: 24-31 |
| 86 | | Chang-Yu Wang,
Kishor S. Trivedi:
Integration of Specification for Modeling and Specification for System Design.
Application and Theory of Petri Nets 1993: 473-492 |
| 85 | | Robert Geist,
Kishor S. Trivedi:
An Analytic Treatment of the Reliability and Performance of Mirrored Disk Subsystems.
FTCS 1993: 442-450 |
| 84 | | Varsha Mainkar,
Kishor S. Trivedi:
Approximate Analysis of Priority Scheduling Systems Using Stochastic Reward Nets.
ICDCS 1993: 466-473 |
| 83 | | Dimitris Logothetis,
Kishor S. Trivedi:
Reliability Analysis of Various Station Attachment Schemes in an FDDI Token Ring.
INFOCOM 1993: 201-208 |
| 82 | | Hoon Choi,
Varsha Mainkar,
Kishor S. Trivedi:
Sensitivity Analysis of Deterministic and Stochastic Petri Nets.
MASCOTS 1993: 271-276 |
| 81 | | Jogesh K. Muppala,
Gianfranco Ciardo,
Kishor S. Trivedi:
Modeling Using Stochastic Reward Nets.
MASCOTS 1993: 367-372 |
| 80 | | Gianfranco Ciardo,
Kishor S. Trivedi:
SPNP: The Stochastic Petri Net Package (Version 3.1).
MASCOTS 1993: 390-391 |
| 79 | | Hermann de Meer,
Kishor S. Trivedi:
Optimal Transient Service Strategies for Adaptive Heterogeneous Queuing Systems.
MMB 1993: 159-172 |
| 78 | | Kishor S. Trivedi,
Manish Malhotra:
Reliability and Performability Techniques and Tools: A Survey.
MMB 1993: 27-48 |
| 77 | | Kishor S. Trivedi,
Gianfranco Ciardo,
Manish Malhotra,
Robin A. Sahner:
Dependability and Performability Analysis.
Performance/SIGMETRICS Tutorials 1993: 587-612 |
| 76 | | A. V. Ramesh,
Kishor S. Trivedi:
On the Sensitivity of Transient Solutions of Markov Models.
SIGMETRICS 1993: 122-134 |
| 75 | | Malathi Veeraraghavan,
Kishor S. Trivedi:
An Approach for Combinatorial Performance and Availability Analysis.
SRDS 1993: 24-33 |
| 74 | | Phillip F. Chimento Jr.,
Kishor S. Trivedi:
The Completion Time of Programs on Processors Subject to Failure and Repair.
IEEE Trans. Computers 42(10): 1184-1194 (1993) |
| 73 | EE | Oliver C. Ibe,
Hoon Choi,
Kishor S. Trivedi:
Performance Evaluation of Client-Server Systems.
IEEE Trans. Parallel Distrib. Syst. 4(11): 1217-1229 (1993) |
| 72 | EE | Lorrie A. Tomek,
Jogesh K. Muppala,
Kishor S. Trivedi:
Modeling Correlation in Software Recovery Blocks.
IEEE Trans. Software Eng. 19(11): 1071-1086 (1993) |
| 71 | | Manish Malhotra,
Kishor S. Trivedi:
Reliability Analysis of Redundant Arrays of Inexpensive Disks.
J. Parallel Distrib. Comput. 17(1-2): 146-151 (1993) |
| 70 | | Gianfranco Ciardo,
Kishor S. Trivedi:
A Decomposition Approach for Stochastic Reward Net Models.
Perform. Eval. 18(1): 37-59 (1993) |
| 1992 |
|---|
| 69 | | Hoon Choi,
Kishor S. Trivedi:
Approximate Performance Models of Polling Systems Using Stochastic Petri Nets.
INFOCOM 1992: 2306-2314 |
| 68 | EE | Ravishankar K. Iyer,
Kishor S. Trivedi:
Guest Editors' Introduction.
IEEE Trans. Parallel Distrib. Syst. 3(6): 641-642 (1992) |
| 67 | | Gianfranco Ciardo,
Jogesh K. Muppala,
Kishor S. Trivedi:
Analyzing Concurrent and Fault-Tolerant Software Using Stochastic Reward Nets.
J. Parallel Distrib. Comput. 15(3): 255-269 (1992) |
| 66 | | Kishor S. Trivedi,
Jogesh K. Muppala,
Steven P. Woolet,
Boudewijn R. Haverkort:
Composite Performance and Dependability Analysis.
Perform. Eval. 14(3-4): 197-215 (1992) |
| 1991 |
|---|
| 65 | | Lorrie A. Tomek,
Kishor S. Trivedi:
Fixed Point Iteration in Availability Modeling.
Fault-Tolerant Computing Systems 1991: 229-240 |
| 64 | | Heinz Kantz,
Kishor S. Trivedi:
Reliability Modeling of the MARS System: A Case Study in the Use of Different Tools and Techniques.
PNPM 1991: 268-277 |
| 63 | | Gianfranco Ciardo,
Kishor S. Trivedi:
A Decomposition Approach for Stochastic Petri Net Models.
PNPM 1991: 74-83 |
| 62 | | Jogesh K. Muppala,
Steven P. Woolet,
Kishor S. Trivedi:
Real-Time-Systems Performance in the Presence of Failures.
IEEE Computer 24(5): 37-47 (1991) |
| 61 | | Gianfranco Ciardo,
Jogesh K. Muppala,
Kishor S. Trivedi:
On the Solution of GSPN Reward Models.
Perform. Eval. 12(4): 237-253 (1991) |
| 60 | | Oliver C. Ibe,
Kishor S. Trivedi:
Stochastic Petri Net Analysis of Finite-Population Vacation Queueing Systems.
Queueing Syst. 8(2): 111-127 (1991) |
| 1990 |
|---|
| 59 | EE | Jogesh K. Muppala,
Kishor S. Trivedi:
GSPM models: sensitivity analysis and applications.
ACM Southeast Regional Conference 1990: 25-33 |
| 58 | | Malathi Veeraraghavan,
Kishor S. Trivedi:
An Improved ALgorithm for the Symbolic Reliability Analysis of Networks.
SRDS 1990: 34-43 |
| 57 | | David I. Heimann,
Nitin Mittal,
Kishor S. Trivedi:
Availability and Reliability Modeling for Computer Systems.
Advances in Computers 31: 175-233 (1990) |
| 56 | | Robert Geist,
Kishor S. Trivedi:
Reliability Estimation of Fault-Tolerant Systems: Tools and Techniques.
IEEE Computer 23(7): 52-61 (1990) |
| 55 | | Oliver C. Ibe,
Kishor S. Trivedi:
Stochastic Petri Net Models of Polling Systems.
IEEE Journal on Selected Areas in Communications 8(9): 1649-1657 (1990) |
| 54 | | Gianfranco Ciardo,
Raymond A. Marie,
Bruno Sericola,
Kishor S. Trivedi:
Performability Analysis Using Semi-Markov Reard Processes.
IEEE Trans. Computers 39(10): 1251-1264 (1990) |
| 53 | | Andrea Bobbio,
Kishor S. Trivedi:
Computing Cumulative Measures of Stiff Markov Chains Using Aggregation.
IEEE Trans. Computers 39(10): 1291-1298 (1990) |
| 52 | | Maria Calzarossa,
Raymond A. Marie,
Kishor S. Trivedi:
System Performance with User Behavior Graphs.
Perform. Eval. 11(3): 155-164 (1990) |
| 51 | | Oliver C. Ibe,
Kishor S. Trivedi:
Two Queues with Alternating Service and Server Breakdown.
Queueing Syst. 7(3): 253-268 (1990) |
| 1989 |
|---|
| 50 | | Phillip F. Chimento Jr.,
Kishor S. Trivedi:
Completion Times of Programs on Concurrent Processors with Failure and Repair.
ICPP (1) 1989: 167-171 |
| 49 | | Philip M. Thambidurai,
Kishor S. Trivedi:
Transient Overloads in Fault-Tolerant Real-Time Systems.
IEEE Real-Time Systems Symposium 1989: 126-133 |
| 48 | | Oliver C. Ibe,
Archana Sathaye,
Richard C. Howe,
Kishor S. Trivedi:
Stochastic Petri Net Modeling of VAXcluster System Availability.
PNPM 1989: 112-121 |
| 47 | | Gianfranco Ciardo,
Jogesh K. Muppala,
Kishor S. Trivedi:
SPNP: Stochastic Petri Net Package.
PNPM 1989: 142-151 |
| 46 | | W. Earl Smith,
Kishor S. Trivedi:
Dependability Evaluation of a Class of Multi-Loop Topologies for Local Area Networks.
IBM Journal of Research and Development 33(5): 511-423 (1989) |
| 45 | | James T. Blake,
Kishor S. Trivedi:
Multistage Interconnection Network Reliability.
IEEE Trans. Computers 38(11): 1600-1604 (1989) |
| 44 | | Joanne Bechta Dugan,
Kishor S. Trivedi:
Coverage Modeling for Dependability Analysis of Fault-Tolerant Systems.
IEEE Trans. Computers 38(6): 775-787 (1989) |
| 1988 |
|---|
| 43 | | James T. Blake,
Andrew L. Reibman,
Kishor S. Trivedi:
Sensitivity Analysis of Reliability and Performability Measures for Multiprocessor Systems.
SIGMETRICS 1988: 177-186 |
| 42 | EE | Andrew L. Reibman,
Kishor S. Trivedi:
Numerical transient analysis of markov models.
Computers & OR 15(1): 19-36 (1988) |
| 41 | | R. M. Smith,
Kishor S. Trivedi,
A. V. Ramesh:
Performability Analysis: Measures, an Algorithm, and a Case Study.
IEEE Trans. Computers 37(4): 406-417 (1988) |
| 40 | | Mei-Chen Hsueh,
Ravishankar K. Iyer,
Kishor S. Trivedi:
Performability Modeling Based on Real Data: A Case Study.
IEEE Trans. Computers 37(4): 478-484 (1988) |
| 1987 |
|---|
| 39 | | Mei-Chen Hsueh,
Ravishankar K. Iyer,
Kishor S. Trivedi:
A Measurement-Based Performability Model for a Multiprocessor System.
Computer Performance and Reliability 1987: 337-352 |
| 38 | | Kishor S. Trivedi,
Andrew L. Reibman,
Roger Smith:
Transient Analysis of Markov and Markov Reward Models.
Computer Performance and Reliability 1987: 535-545 |
| 37 | | Robin A. Sahner,
Kishor S. Trivedi:
Performance and Reliability Analysis Using Directed Acyclic Graphs.
IEEE Trans. Software Eng. 13(10): 1105-1114 (1987) |
| 36 | | Victor F. Nicola,
Vidyadhar G. Kulkarni,
Kishor S. Trivedi:
Queueing Analysis of Fault-Tolerant Computer Systems.
IEEE Trans. Software Eng. 13(3): 363-375 (1987) |
| 35 | | Raymond A. Marie,
Kishor S. Trivedi:
A Note on the Effect of Preemptive Policies on the Stability of a Priority Queue.
Inf. Process. Lett. 24(6): 397-401 (1987) |
| 34 | | Raymond A. Marie,
Andrew L. Reibman,
Kishor S. Trivedi:
Transient Analysis of Acyclic Markov Chains.
Perform. Eval. 7(3): 175-194 (1987) |
| 1986 |
|---|
| 33 | | Robin A. Sahner,
Kishor S. Trivedi:
A Hierarchical, Combinatorial-Markov Method of Solving Complex Reliability Models.
FJCC 1986: 817-825 |
| 32 | | Maria Calzarossa,
Kishor S. Trivedi:
Performance Analysis Using User Behavior Graphs.
Int. CMG Conference 1986: 394-397 |
| 31 | | Victor F. Nicola,
Vidyadhar G. Kulkarni,
Kishor S. Trivedi:
Queueing Analysis of Fault-Tolerant Computer Systems.
SIGMETRICS 1986: 203 |
| 30 | | Robert Geist,
Mark Smotherman,
Kishor S. Trivedi,
Joanne Bechta Dugan:
The Reliability of Life-Critical Computer Systems.
Acta Inf. 23(6): 621-642 (1986) |
| 29 | | Mark Smotherman,
Robert Geist,
Kishor S. Trivedi:
Provably Conservative Approximations to Complex Reliability Models.
IEEE Trans. Computers 35(4): 333-338 (1986) |
| 28 | | Andrea Bobbio,
Kishor S. Trivedi:
An Aggregation Technique for the Transient Analysis of Stiff Markov Chains.
IEEE Trans. Computers 35(9): 803-814 (1986) |
| 27 | EE | Vidyadhar G. Kulkarni,
Victor F. Nicola,
Kishor S. Trivedi:
On modelling the performance and reliability of multimode computer systems.
Journal of Systems and Software 6(1-2): 175-182 (1986) |
| 1985 |
|---|
| 26 | | Joanne Bechta Dugan,
Andrea Bobbio,
Gianfranco Ciardo,
Kishor S. Trivedi:
The Design of a Unified Package for the Solution of Stochastic Petri Net Models.
PNPM 1985: 6-13 |
| 25 | | John McGough,
Mark Smotherman,
Kishor S. Trivedi:
The Conservativeness of Reliability Estimates Based on Instantaneous Coverage.
IEEE Trans. Computers 34(7): 602-609 (1985) |
| 1984 |
|---|
| 24 | | Kishor S. Trivedi,
Joanne Bechta Dugan,
Robert Geist,
Mark Smotherman:
Issues in reliability modeling of fault-tolerant computers.
Fehlertolerierende Rechensysteme 1984: 228-239 |
| 23 | | Joanne Bechta Dugan,
Kishor S. Trivedi,
Robert Geist,
Victor F. Nicola:
Extended Stochastic Petri Nets: Applications and Analysis.
Performance 1984: 507-519 |
| 1983 |
|---|
| 22 | | Kishor S. Trivedi:
Reliability Evaluation for Fault-Tolerant Systems.
Computer Performance and Reliability 1983: 403-416 |
| 21 | | Kishor S. Trivedi:
Computer Science and Applied Probability (abstract).
Int. CMG Conference 1983: 467 |
| 20 | | Günter Haring,
Kishor S. Trivedi:
On the Optimal Distribution of Processing Power in a Star Configured System.
MMB 1983: 353-365 |
| 19 | | Robert Geist,
Kishor S. Trivedi:
The Integration of User Perception in the Heterogeneous M/M/2 Queue.
Performance 1983: 203-216 |
| 18 | | François Baccelli,
Kishor S. Trivedi:
Analysis of M/G/2 - Standby Redundant System.
Performance 1983: 457-476 |
| 17 | | Joseph A. Bannister,
Kishor S. Trivedi:
Task Allocation in Fault-Tolerant Distributed Systems.
Acta Inf. 20: 261-281 (1983) |
| 16 | | Philip Heidelberger,
Kishor S. Trivedi:
Analytic Queueing Models for Programs with Internal Concurrency.
IEEE Trans. Computers 32(1): 73-82 (1983) |
| 15 | | Robert Geist,
Kishor S. Trivedi:
Ultrahigh Reliability Prediction for Fault-Tolerant Computer Systems.
IEEE Trans. Computers 32(12): 1118-1127 (1983) |
| 1982 |
|---|
| 14 | | Kishor S. Trivedi,
Anneliese von Mayrhauser:
Optimal File Allocation, Device Capacity and CPU Speed Selection During the Design of Interactive Computer Systems.
Int. CMG Conference 1982: 178-184 |
| 13 | | Philip Heidelberger,
Kishor S. Trivedi:
Queueing Network Models for Parallel Processing with Asynchronous Tasks.
IEEE Trans. Computers 31(11): 1099-1109 (1982) |
| 12 | | Robert Geist,
Kishor S. Trivedi:
Optimal Design of Multilevel Storage Hierarchies.
IEEE Trans. Computers 31(3): 249-260 (1982) |
| 1981 |
|---|
| 11 | | Kishor S. Trivedi,
Anneliese von Mayrhauser:
Optimal Design of an Interactive System: File Allocation, Device Capacity Selection, and CPU Speed Selection.
Int. CMG Conference 1981: 58-69 |
| 10 | EE | Kishor S. Trivedi,
Timothy M. Sigmon:
Optimal Design of Linear Storage Hierarchies.
J. ACM 28(2): 270-288 (1981) |
| 1980 |
|---|
| 9 | | Kishor S. Trivedi:
Designing Linear Storage Hierarchies so as to Maximize Reliability Subject to Cost and Performance Constraints.
ISCA 1980: 211-217 |
| 8 | EE | Kishor S. Trivedi,
Robert A. Wagner,
Timothy M. Sigmon:
Optimal Selection of CPU Speed, Device Capacities, and File Assignments.
J. ACM 27(3): 457-473 (1980) |
| 1979 |
|---|
| 7 | | Kishor S. Trivedi,
Timothy M. Sigmon:
A Performance Comparison of Optimally Designed Computer Systems with and without Virtual Memory.
ISCA 1979: 117-121 |
| 6 | | Kishor S. Trivedi,
Robert A. Wagner:
A Decision Model for Closed Queuing Networks.
IEEE Trans. Software Eng. 5(4): 328-332 (1979) |
| 1977 |
|---|
| 5 | | Kishor S. Trivedi:
On the Paging Performance of Array Algorithms.
IEEE Trans. Computers 26(10): 938-947 (1977) |
| 4 | | Kishor S. Trivedi,
Milos D. Ercegovac:
On-Line Algorithms for Division and Multiplication.
IEEE Trans. Computers 26(7): 681-687 (1977) |
| 3 | | Kishor S. Trivedi:
On the Use of Continued Fractions for Digital Computer Arithmetic.
IEEE Trans. Computers 26(7): 700-704 (1977) |
| 1976 |
|---|
| 2 | | Kishor S. Trivedi:
Prepaging and Applications to Array Algorithms.
IEEE Trans. Computers 25(9): 915-921 (1976) |
| 1 | | Kishor S. Trivedi:
On a Semaphore Anomaly.
Inf. Process. Lett. 5(3): 88-89 (1976) |
