Scalable simulation of large-scale wireless networks with bounded inaccuracies