A study of cache hashing functions for symbolic applications in micro-parallel processors | IEEE Conference Publication | IEEE Xplore