Specification and development of parallel algorithms with the Proteus system (1994)
| Venue: | In Specification of Parallel Algorithms |
| Citations: | 7 - 3 self |
BibTeX
@INPROCEEDINGS{Goldberg94specificationand,
author = {Allen Goldberg and Peter Mills and Lars Nyland and Jan Prins and John Reif and James Riely},
title = {Specification and development of parallel algorithms with the Proteus system},
booktitle = {In Specification of Parallel Algorithms},
year = {1994},
publisher = {AMS Press}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Abstract. The Proteus language is a wide-spectrum parallel programming notation that supports the expression of both high-level architectureindependent speci cations and lower-level architecture-speci c implementations. A methodology based on successive re nement and interactive experimentation supports the development of parallel algorithms from speci cation to various e cient architecture-dependent implementations. The Proteus system combines the language and tools supporting this methodology. This paper presents a brief overview of the Proteus system and describes its use in the exploration and development of several non-trivial algorithms, including the fast multipole algorithm for N-body computations. 1.
