GAIN: GPU-Based Constraint Checking for Context Consistency | IEEE Conference Publication | IEEE Xplore