Performance modeling of multiprocessors under correlated traffic | IEEE Conference Publication | IEEE Xplore