Analysis of Multiprocessor Systems