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.