Analysis And Abstraction Of Parallel Sequence Search