An analysis of the amount of global level redundant computation in the SPEC 95 and SPEC 2000 benchmarks | IEEE Conference Publication | IEEE Xplore