Comparing models of computation | IEEE Conference Publication | IEEE Xplore