Sciweavers

SIROCCO
2007
14 years 6 days ago
Optimal Conclusive Sets for Comparator Networks
A set of input vectors S is conclusive if correct functionality for all input vectors is implied by correct functionality over vectors in S. We consider four functionalities of co...
Guy Even, Tamir Levi, Ami Litman