Allen Goldberg, Peter Mills, Lars Nyland, Jan Prins, John Reif, James Riely  Home/Search
Context Related
| unc.edu/~riely/papers/94dimacs.ps.gz ncsu.edu/eos/users/r/r...94dimacs.ps.gz ncsu.edu/faculty/riely...94dimacs.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: unc.edu/~riely/papers (more) From: ncsu.edu/faculty/riely/papers (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . The Proteus language is a wide-spectrum parallel programming notation that supports the expression of both high-level architectureindependent specifications and lower-level architecture-specific implementations. A methodology based on successive refinement and interactive experimentation supports the development of parallel algorithms from specification to various efficient architecture-dependent implementations. The Proteus system combines the language and tools supporting this methodology.... (Update)
Context of citations to this paper: More
...and object oriented languages as well as coordination languages which extend sequential languages. Examples are: ffl Proteus (Goldberg et al. 1994) is a data parallel variation of SETL (Kruchten et al. 1984) that supports control and data parallelism for prototyping...
.... work has been motivated by and is complementary to ongoing implementation and performance studies of the Proteus programming language [7, 10]. Nested parallel languages such as nesl and Proteus are characterized by a nested sequence datatype along with a set of second order...
Cited by: More
A Design Methodology For Data-Parallel Applications - Nyland, Prins, Goldberg, Mills (1995) (Correct)
CoPa: a Parallel Programming Language for Collections - Suciu, Tannen (1998) (Correct)
Provably Correct Vectorization of Nested-Parallel Programs - Riely, Prins, Iyer (1996) (Correct)
Similar documents (at the sentence level):
56.3%: The Proteus System for the Development of Parallel.. - Goldberg, Prins.. (1994) (Correct)
Active bibliography (related documents): More All
0.6: Software Issues In High-Performance Computing And A.. - Peter Mills Lars (1994) (Correct)
0.5: Room Synchronizations - Blelloch, Cheng, Gibbons (2001) (Correct)
0.3: Work-Efficient Nested Data-Parallelism - Daniel Palmer And (1995) (Correct)
Similar documents based on text: More All
0.4: A Data-Parallel Implementation of the Adaptive Fast.. - Nyland, Prins, Reif (1993) (Correct)
0.4: The Proteus Multiprotocol Message Library - Chiu, Govindaraju, Gannon (2002) (Correct)
0.3: Prototyping Parallel Algorithms - Nyland, Prins (1992) (Correct)
Related documents from co-citation: More All
5: Transforming high-level data-parallel programs into vector operations - Prins, Palmer - 1993
4: Vector Models for Data-Parallel Computing (context) - Blelloch - 1990
4: Nesl: A nested data parallel language - Blelloch - 1990
BibTeX entry: (Update)
A. Goldberg, P. Mills, L. Nyland, J. Prins, J. Reif and J. Riely, "Specification and development of parallel algorithms with the Proteus system," DIMACS: Specification of Parallel Algorithms, AMS Press, 1994. http://citeseer.ist.psu.edu/goldberg94specification.html More
@incollection{ goldberg94specification,
author = "Goldberg, A. and Mills, P. and Nyland, L. and Prins, J. and Reif, J. and Riely, J.",
title = "{S}pecification and {D}evelopment of {P}arallel {A}lgorithms with the {P}roteus {S}ystem",
booktitle = "Specification of Parallel algorithms",
publisher = "AMS",
editor = "Blelloch, G. E. and Chandy, K. and Jagannathan, S.",
year = "1994",
url = "citeseer.ist.psu.edu/goldberg94specification.html" }
Citations (may not include all citations):531 Logp: Towards a realistic model of parallel computation - Culler, Karp et al. - 1993
206 Vector Models for Data-Parallel Computing (context) - Blelloch - 1990
204 KIDS: A semi-automatic program development system - Smith - 1989
191 The Rapid Evaluation of Potential Fields in Particle Systems (context) - Greengard - 1987
159 CML: A higher-order concurrent language (context) - Reppy - 1991
130 Implementation of a portable nested data-parallel language - Blelloch, Chatterjee et al. - 1993
81 An Introduction to Parallel Programming (context) - Chandy, Taylor - 1992
68 Integrated PVM framework supports heterogeneous network comp.. - Dongarra, Geist et al. - 1993
67 Compositional parallel programming (context) - Chandy, Kesselman - 1992
50 The Specification of Computer Programs (context) - Turski, Maibaum - 1987
44 Transforming high-level data-parallel programs into vector o.. - Prins, Palmer - 1993
37 Prototyping parallel and distributed programs in Proteus - Mills, Nyland et al. - 1991
15 The POLYLITH software bus - Purtilo - 1994
12 Body Methods and their Implications for Multiprocessors (context) - Singh, N- - 1993
9 DPL--- data parallel library manual - Palmer - 1993
8 non-strict functional language with state (context) - Barth, Nikhil et al. - 1991
4 The parallel asynchronous recursion model - Higham, Schenk - 1992
4 The proteus system for the development of parallel applicati.. - Goldberg, Prins et al. - 1994
4 An introduction to Proteus (context) - Levin, Nyland - 1993
4 Prototyping high-performance parallel computing applications.. - Mills, Nyland et al. - 1992
3 Software issues in high-performance computing and a framewor.. - Mills, Nyland et al. - 1994
3 Parallel programming using linear variables (context) - Mills - 1994
3 A data-parallel implementation of the fast multipole algorit.. (context) - Nyland, Prins et al. - 1993
2 Carnegie Mellon University (context) - Blelloch, Chatterjee et al. - 1993
1 Parallel multipole treecode algorithm (context) - Hakura, Elliot et al. - 1994
1 The Parallelization of the Fast Multipole Algorithm in Three.. (context) - Leathrum - 1992
1 The Proteus solution to the NSWC prototyping problem (context) - Nyland, Prins et al. - 1993
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.unc.edu/~riely/papers.html): More
Type-Safe Execution of Mobile Agents in Anonymous Networks - Hennessy, Riely (1998) (Correct)
Testing-Based Abstractions for Value-Passing Systems - Cleaveland, Riely (1994) (Correct)
The Proteus System for the Development of Parallel.. - Goldberg, Prins.. (1994) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC