Automated scalability analysis of message-passing parallel programs | IEEE Journals & Magazine | IEEE Xplore