Learn More
interconnection network N. R. Adiga M. A. Blumrich D. Chen P. Coteus A. Gara M. E. Giampapa P. Heidelberger S. Singh B. D. Steinmacher-Burow T. Takken M. Tsao P. Vranas The main interconnect of the massively parallel Blue Genet/L is a three-dimensional torus network with dynamic virtual cut-through routing. This paper describes both the architecture and the(More)
This paper gives an overview of the BlueGene/L Supercomputer. This is a jointly funded research partnership between IBM and the Lawrence Livermore National Laboratory as part of the United States Department of Energy ASCI Advanced Architecture Research Program. Application performance and scaling studies have recently been initiated with partners at a(More)
ed description of the protocol to prove the correctness of the protocol. The Murphi tool basically enumerates all possible states of the abstracted protocol description. The Murphi tool can easily check for the reachability of harmful states (assertions) or for the possibility to exit any loop in the state transition matrix (livelock or deadlock). Because(More)
Large powerful networks coupled to state-of-the-art processors have traditionally dominated supercomputing. As technology advances, this approach is likely to be challenged by a more cost-effective System-On-A-Chip approach, with higher levels of system integration. The scalability of applications to architectures with tens to hundreds of thousands of(More)
The design of a multipurpose database, mainly as supporting tool for decision makers and public administrators, needs to consider social, economics and environmental factors, which relationships can be better understood when distributed and analyzed along the geographical space. Heading the purpose of identifying land use conflicts and to build up(More)
  • 1