IBM Journal of Research and Development · 1984 · 21 citations · 8 references
EngineeringComputer SystemsSystems EngineeringStatistical ComputingSystems AnalysisUncertainty QuantificationReliability ModelingReliability-based DesignReliable System DesignResponse Time AnalysisTiming AnalysisTiming ModelingCycle TimeCycle Time AnalysisStatistical Failure TheoryStatistical Reliability AnalysisStatistical Timing AnalysisSystem Reliability ModelingTime-dependent Reliability Analysis
Techniques are developed that quantify the probability that large computer systems will meet their cycle time objectives. Both approximation techniques and rigorous multivariate statistical techniques are described. A method is developed that enumerates the cycle-limiting paths so that these approaches can be utilized. The results of these techniques enable system designers to ensure that performance and reliability objectives are met.
8
Verification of timing constraints on large digital systems
Thomas McWilliams · 1988 · 105 citations · Full text