Using GPU to Shorten the Match Time of Rule Reasoning Based on Rete Algorithm | IEEE Conference Publication | IEEE Xplore