Product-form solution techniques for the performance analysis of multiple-bus multiprocessor systems with nonuniform memory references | IEEE Journals & Magazine | IEEE Xplore