Computing the throughput of probabilistic and replicated streaming applications