boyer-moore-voting-algorithm c++ concurrency dsp ekf kf lotka-volterrra-system matlab ukf