US8914775B2 - Dynamic and Intelligent Partial Computation Management for Efficient Parallelization of Software Analysis in a Distributed Computing Environment