Learn More
The POEMS project is creating an environment for end-to-end performance modeling of complex parallel and distributed systems, spanning the domains of application software, runtime and operating system software, and hardware architecture. To enable end-to-end modeling of large-scale applications and systems, the POEMS framework is designed to compose models(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)
@ 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 presents the design, development and application of a computational infrastructure to support the implementation of parallel adaptive algorithms for the solution of sets of partial differential equations. The infrastructure is separated into multiple layers of abstraction. This paper is primarily concerned with the two lowest layersof this(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)
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)