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)
@ 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)
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)
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)
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)