Parallelizing WFST speech decoders
Scheduling multithreaded computations by work stealing