This is my bachelor thesis, where I implemented and I verified the Boyer-Moore-Horspool algorithm in F*. The thesis is divided in the following files: GlobalData.fst - the file where I described the ...
In computer science, the Boyer–Moore–Horspool algorithm or Horspool's algorithm is an algorithm for finding substrings in strings. It was published by Nigel Horspool in 1980 as SBM. It is a ...
Abstract: Educational game was one of the computer-assisted learning types to increase student interest in learning. This study used educational games as a drill and practice method to test students' ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results