Analysis and Abstraction of Parallel Sequence Search. Christopher Joseph Goddard. Virginia Tech, September 2007.