A Distributed Framework for Probabilistic Analysis