Michael E. Wazlowski, Narasimha R. Adiga, Daniel K. Beece, Ralph Bellofatto, Matthias A. Blumrich, Dong Chen, Marc Boris Dombrowa, Alan Gara, Mark Giampapa, Ruud A. Haring, Philip Heidelberger, Dirk Hoenicke, Ben J. Nathanson, Martin Ohmacht, Robert Sharrar, Sarabjeet Singh, Burkhard D. Steinmacher-Burow, R. Brett Tremaine, Mickey Tsao, Arun R. Umamaheshwaran, Pavlos Vranas. Verification strategy for the Blue Gene/L chip. IBM Journal of Research and Development, 49(2-3):303-318, 2005. [doi]
Abstract is missing.