Performance Modeling and Design of Computer Systems