Learn More
We review a model of computation used in industrial practice in signal processing software environments and experimentally in other contexts. We give this model the name " dataflow process networks, " and study its formal properties as well as its utility as a basis for programming language design. Variants of this model are used in commercial visual(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)
We present a multitasking operating system kernel, called KIT, written in the machine language of a uni-processor von Neumann computer. The kernel is proved to implement, on this shared computer, a fixed number of conceptually distributed communicating processes. In addition to implementing processes, the kernel provides the following verified services:(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)
Rollback and recovery (RR) is a method of enchancing the reliability of file or data base systems. At certain points in time, called checkpoints, a copy of the data or files is made on tape (or other storage devices). A chronological record is kept of all transactions which modify the data stored by the system; this record is called the audit trail. When an(More)
The authors describe CODE (computation-oriented display environment), which can be used to develop modular parallel programs graphically in an environment built around fill-in templates. It also lets programs written in any sequential language be incorporated into parallel programs targeted for any parallel architecture. Broad expressive power was obtained(More)
This paper deenes, describes and illustrates a systems engineering process for development of software systems implementing high performance computing applications. The example which drives the creation of this process is development of a exible and extendible program development infrastructure for parallel structured adap-tive meshes, the HDDA/DAGH(More)