Learn More
Abslruct-This paper reports on the initial experimental evaluation of the Reusability-Oriented Parallel programming Environment (ROPE 1, a software component reuse system developed at the University of Texas at Austin. ROPE helps the designer find and understand compo vents by using a new classification method called structured re-lational classification.(More)
@ Annotated directed-grapb representations ofparallel programs simplify pi-ogra mming and debugging by providing a single, consistent fra mework that separates a program's sequential computations from its parallel structure. arallel architectures have clearly emerged as the future environments for high-performance computation for most applications. The(More)
This paper defines and describes a fully distributed implementation of Google's highly effective Pagerank algorithm , for " peer to peer " (P2P) systems. The implementation is based on chaotic (asynchronous) iterative solution of linear systems. The P2P implementation also enables incre-mental computation of pageranks as new documents are entered into or(More)
HPC systems are notorious for operating at a small fraction of their peak performance, and the ongoing migration to multi-core and multi-socket compute nodes further complicates performance optimization. The readily available performance evaluation tools require considerable effort to learn and utilize. Hence, most HPC application writers do not use them.(More)
This paper presents an approach to integration of model checking into component-based development of software systems. This approach assists in development of highly reliable component-based software systems and reduces the complexity of verifying these systems by utilizing their compositional structures. Temporal properties of a software component are(More)
We define and describe a model for coordination of distributed processes or components based on associative broadcast. Associative broadcast encapsulates processes with an associative interface. The associative interface includes a profile, which specifies the current state of the component. Each message is sent with a conditional expression (selector),(More)