Performance Evaluation and Monitoring
ACM Computing Surveys (CSUR)
Reliability modeling techniques for self-repairing computer systems
ACM '69 Proceedings of the 1969 24th national conference
Performance considerations for the reliability analysis of computing systems.
Performance considerations for the reliability analysis of computing systems.
The Concept of Coverage and Its Effect on the Reliability Model of a Repairable System
IEEE Transactions on Computers
A Reliability Model for Gracefully Degrading and Standby-Sparing Systems
IEEE Transactions on Computers
A Highly Efficient Redundancy Scheme: Self-Purging Redundancy
IEEE Transactions on Computers
IEEE Transactions on Computers
Reliability Modeling for Fault-Tolerant Computers
IEEE Transactions on Computers
AFIPS '70 (Spring) Proceedings of the May 5-7, 1970, spring joint computer conference
The interface message processor for the ARPA computer network
AFIPS '70 (Spring) Proceedings of the May 5-7, 1970, spring joint computer conference
A new minicomputer/multiprocessor for the ARPA network
AFIPS '73 Proceedings of the June 4-8, 1973, national computer conference and exposition
On switching policies for modular redundancy fault-tolerant computing systems
IEEE Transactions on Computers
Evaluation of Performability for Degradable Computer Systems
IEEE Transactions on Computers
On the Logical Characterisation of Performability Properties
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
Optimal k-Coteries That Maximize Availability in General Networks
ICOIN '02 Revised Papers from the International Conference on Information Networking, Wireless Communications Technologies and Network Applications-Part II
Modelling of Client/Server Systems
MASCOTS '95 Proceedings of the 3rd International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems
A New Reliability Model for Interconnection Networks
Euro-Par '00 Proceedings from the 6th International Euro-Par Conference on Parallel Processing
Improving the Accuracy of Reliability Models for Direct Interconnection Networks
Euro-Par '01 Proceedings of the 7th International Euro-Par Conference Manchester on Parallel Processing
Stochastic Modeling Formalisms for Dependability, Performance and Performability
Performance Evaluation: Origins and Directions
Automated Performance and Dependability Evaluation Using Model Checking
Performance Evaluation of Complex Systems: Techniques and Tools, Performance 2002, Tutorial Lectures
Value-Driven Resource Assignment in Object-Oriented Real-Time Dependable Systems
WORDS '97 Proceedings of the 3rd Workshop on Object-Oriented Real-Time Dependable Systems - (WORDS '97)
FTCS '95 Proceedings of the Twenty-Fifth International Symposium on Fault-Tolerant Computing
Performability-based quality of service metrics for communication services
ICCCN '95 Proceedings of the 4th International Conference on Computer Communications and Networks
A Performability Solution Method for Degradable Nonrepairable Systems
IEEE Transactions on Computers
Closed-Form Solutions of Performability
IEEE Transactions on Computers
A Simplified Method to Calculate Failure Times in Fault-Tolerant Systems
IEEE Transactions on Computers
On Evaluating the Performability of Degradable Computing Systems
IEEE Transactions on Computers
Load Redistribution Under Failure in Distributed Systems
IEEE Transactions on Computers
A Class of Redundant Path Multistage Interconnection Networks
IEEE Transactions on Computers
Journal of Computational and Applied Mathematics
On the lifetime of wireless sensor networks
ACM Transactions on Sensor Networks (TOSN)
A global checkpointing model for error recovery
AFIPS '83 Proceedings of the May 16-19, 1983, national computer conference
Dependability Analysis of a Fault-Tolerant Network Reconfiguring Strategy
Euro-Par '09 Proceedings of the 15th International Euro-Par Conference on Parallel Processing
An I/O subsystem supporting mass storage functions in parallel systems
Computer Standards & Interfaces
Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains
Fundamenta Informaticae - Application of Concurrency to System Design
Performability: asymptotic distribution and moment computation
Computers & Mathematics with Applications
A generalized formulation for the performability indicator
Computers & Mathematics with Applications
Performability assessment by model checking of Markov reward models
Formal Methods in System Design
User-perceived software service availability modeling with reliability growth
ISAS'08 Proceedings of the 5th international conference on Service availability
Sojourn-time analysis on nodal congestion in broadband networks and its impact on QoS specifications
INFOCOM'96 Proceedings of the Fifteenth annual joint conference of the IEEE computer and communications societies conference on The conference on computer communications - Volume 3
Evaluation of system BIST using computational performance measures
ITC'88 Proceedings of the 1988 international conference on Test: new frontiers in testing
On Area and Yield Considerations for Fault-Tolerant VLSI Processor Arrays
IEEE Transactions on Computers
Optimization of reliability and power consumption in systems on a chip
PATMOS'05 Proceedings of the 15th international conference on Integrated Circuit and System Design: power and Timing Modeling, Optimization and Simulation
Performability analysis of storage systems in practice: methodology and tools
ISAS'06 Proceedings of the Third international conference on Service Availability
Fault-tolerant design of packet switched network with unreliable links
Computer Communications
On modelling the performance and reliability of multimode computer systems
Journal of Systems and Software
Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains
Fundamenta Informaticae - Application of Concurrency to System Design
The Performance Vulnerability of Architectural and Non-architectural Arrays to Permanent Faults
MICRO-45 Proceedings of the 2012 45th Annual IEEE/ACM International Symposium on Microarchitecture
| Hi-index | 15.01 |
We have developed measures which reflect the interaction between the reliability and the performance characteristics of computing systems. These measures can be used to evaluate traditional computer architectures, such as uniprocessors and standby redundant systems; gracefully degrading systems, such as multiprocessors, which can react to a detected failure by reconfiguring to a state with a decreased level of performance; and distributed systems. This analysis method, which provides quantitative information about the tradeoffs between reliability and performance, is demonstrated in several examples.