Modeling, validation, and co-design of IBM Blue Gene/Q: Tools and examples | IBM Journals & Magazine | IEEE Xplore