A case study of selected SPLASH-2 applications and the SBT debugging tool | IEEE Conference Publication | IEEE Xplore