116 search results - page 24 / 24 » Reasoning Symbolically About Partially Matched Cases |
SIAMCOMP
2011
12 years 12 months ago
2011
Set agreement, where processors decisions constitute a set of outputs, is notoriously harder to analyze than consensus where the decisions are restricted to a single output. This ...