An example of deriving performance properties from a visual representation of program execution | IEEE Journals & Magazine | IEEE Xplore