Quantitative Techniques In Computer Design