Peter H. Mills, Lars S. Nyland, Jan F. Prins, John H. Reif  Home/Search
Context Related
| unc.edu/pub/projects/pr...darpa92.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 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper explores the use of Proteus, an architecture-independent language suitable for prototyping time-sensitive parallel and distributed programs. Proteus is a high-level imperative notation based on sets and sequences with succinct yet powerful constructs for the parallel composition of processes communicating through shared memory. Several different parallel algorithms for N-body simulation in molecular dynamics are presented in Proteus, illustrating how Proteus provides a common... (Update)
Context of citations to this paper: More
.... interesting project is our work prototyping the fast multipole algorithm (FMA) an O(N) solution to the N body problem [MNPR92b, NPR93]. This is a problem of extreme practical importance and a key component of several grand challenge problems. The foundation of the FMA...
.... of North Carolina, is a parallel programming language with high level, machine independent notions of various kinds of parallelism [MRNP92] 4. Relational Lisp, a language developed at ISI, is essentially Lisp enhanced with notions of relational abstraction: a database...
Cited by: More
GLU: A High-Level System for Granular Data-Parallel.. - Jagannathan, Dodd, Agi (1996) (Correct)
Specification And Development Of Parallel.. - Goldberg, Mills.. (1994) (Correct)
Haskell vs. Ada vs. C++ vs. Awk vs. ... An Experiment in.. - Hudak, Jones (1994) (Correct)
Similar documents (at the sentence level):
60.4%: Prototyping N-body Simulation in - Proteus Peter Mills (Correct)
12.4%: Prototyping Parallel and Distributed Programs in - Proteus Peter Mills (1990) (Correct)
9.6%: Rate-Control as a Language Construct for Parallel and.. - Peter Mills Jan (1993) (Correct)
Active bibliography (related documents): More All
0.5: CHARMM - Molecular Dynamics - Collaborators William Young (Correct)
0.4: The Proteus System for the Development of Parallel.. - Goldberg, Prins.. (1994) (Correct)
0.3: Architecture Independent Parallel Design Tool: A.. - Nyland, Prins.. (1996) (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: Proteus System Architecture Organization - Somani, Wittenbrink, Haralick.. (1991) (Correct)
0.4: Prototyping Parallel Algorithms - Nyland, Prins (1992) (Correct)
Related documents from co-citation: More All
3: An Introduction to Parallel Programming (context) - Chandy, Taylor - 1991
2: The Specification of Computer Programs (context) - Turski, Maibaum - 1987
2: The Rapid Evaluation of Potential Fields in Particle Systems (context) - Greengard - 1988
BibTeX entry: (Update)
P. Mills, L. Nyland, J. Prins and J. Reif, "Prototyping high-performance parallel computing applications in Proteus," Proc. 1992 DARPA Software Technology Conf., Los Angeles, CA, pp. 433-442, 1992. http://citeseer.ist.psu.edu/mills92prototyping.html More
@misc{ mills92prototyping,
author = "P. Mills and L. Nyland and J. Prins and J. Reif",
title = "Prototyping high-performance parallel computing applications in Proteus",
text = "P. Mills, L. Nyland, J. Prins and J. Reif, Prototyping high-performance
parallel computing applications in Proteus, Proc. 1992 DARPA Software Technology
Conf., Los Angeles, CA, pp. 433-442, 1992.",
year = "1992",
url = "citeseer.ist.psu.edu/mills92prototyping.html" }
Citations (may not include all citations):2732 Communicating Sequential Processes (context) - Hoare - 1985 ACM DBLP
394 Solving problems on concurrent processors (context) - Fox - 1988 ACM
204 KIDS -- a semi-automatic program development system - Smith - 1990
195 Parallel Program Design (context) - Chandy, Misra - 1988 ACM DBLP
132 Strand: New Concepts in Parallel Programming (context) - Foster, Taylor - 1990 ACM
131 Concurrent object-oriented programming (context) - Agha - 1990 ACM DBLP
114 Coordination Languages and Their Significance (context) - Carriero, Gelernter - 1992 ACM DBLP
96 An efficient program for manybody simulation (context) - Appel - 1985
85 The APRAM: Incorporating asynchrony into the PRAM model (context) - Cole, Zajicek - 1989
84 Architecture-independent parallel computation (context) - Skillicorn - 1990 ACM DBLP
81 An Introduction to Parallel Programming (context) - Chandy, Taylor - 1992 ACM
59 An extension of standard ML modules with subtyping and inher.. - Mitchell, Meldal et al. - 1991 ACM DBLP
56 The Paralation Model: ArchitectureIndependent Parallel Progr.. (context) - Sabot - 1988
49 A hierarchical O(N log N) force-calculation algorithm (context) - Barnes, Hut - 1986
47 Distributed data structures in Linda (context) - Carriero, Gelernter et al. - 1986 ACM DBLP
46 Partial Orderings of Event Sets and Their Application to Pro.. - Luckham, Vera et al. - 1991
44 Building Flexible RealTime Systems Using the Flex Language (context) - Kenny, Lin - 1991
42 A parallel version of the fast multipole method (context) - Greengard, Gropp - 1989
37 VCODE: a data-parallel intermediate language (context) - Blelloch, Chatterjee - 1990
37 Prototyping parallel and distributed programs in proteus - Mills, Nyland et al. - 1991
36 The Parallel Multipole Method on the Connection Machine - Zhao, Johnsson - 1989 ACM
32 Guarded commands, nondeterminacy and the formal derivation o.. (context) - Dijkstra - 1978
16 Programming with Sets (context) - Schwartz, Dewar et al. - 1986
11 The numerical solution of the N-body problem (context) - Greengard - 1990 ACM
10 Molecular Dynamics Simulation on a Parallel Computer (context) - Heller, Grubmuller et al. - 1990
8 RealTime Mentat Programming Language and Architecture (context) - Grimshaw, Silberman et al. - 1990
8 CVL: A C vector library - Blelloch, Chatterjee et al. - 1990
7 Specification and Analysis of Resource-Bound Real-Time Syste.. (context) - Gerber, Lee - 1991 ACM DBLP
6 Very-high-level parallel programming in Crystal (context) - Chen - 1986
5 The Design of A Prototyping Programming Language for Paralle.. (context) - Nyland - 1991 ACM
4 Compiling collection-oriented languages into massively paral.. (context) - Blelloch, Sabot - 1990
4 Mach-1: An operating environment for large-scale multiproces.. (context) - Baron, Rashid et al. - 1985
4 Language Summary (context) - Systems, Palo et al. - 1988
3 Programming with Ease: a semiotic definition of the language (context) - Zenith - 1990
3 Modules and types for a common prototyping language (context) - Blaine, Goldberg - 1990
2 Vector and Parallel Algorithms for the Molecular Dynamics Si.. (context) - Mertz, Toblas et al. - 1991
Documents on the same site (http://fermivista.math.jussieu.fr/ftp/ftp.cs.unc.edu.html): More
Managing Latency in Complex Augmented Reality Systems - Jacobs, Livingston, State (1997) (Correct)
Automated Deduction Techniques for Classification in.. - Paramasivam, Plaisted (1995) (Correct)
N-body Methods on MIMD Supercomputers: Astrophysics on.. - Fullagar, Quinn.. (1992) (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