A modeling method by eliminating execution traces for performance evaluation | IEEE Conference Publication | IEEE Xplore