Scalable Stability Detection Using Logical Hypercube

Roy Friedman, Shiri Manor, Katherine Guo. Scalable Stability Detection Using Logical Hypercube. IEEE Trans. Parallel Distrib. Syst., 13(9):972-984, 2002. [doi]

Abstract

Abstract is missing.