In recent years technological advances have made the construction of large-scale parallel computers economically attractive. These machines have the potential to provide fast solutions to computationally demanding problems that arise in computational science, real-time control, computer simulation, large database manipulation and other areas. However,
|
970
|
A bridging model for parallel computation
– Valiant
- 1997
|
|
434
|
LogP: Towards a Realistic Model of Parallel Computation
– Culler, al
- 1993
|
|
399
|
Institutions: Abstract model theory for specification and programming
– Goguen, Burstall
- 1992
|
|
272
|
The Rapid Evaluation of Potential Fields in Particle Systems
– Greengard
- 1988
|
|
255
|
Parallelism in random access machines
– Fortune, Wyllie
- 1978
|
|
241
|
Vector Models for Data-Parallel Computing
– Blelloch
- 1990
|
|
241
|
An initial algebra approach to the specification, correctness, and implementation of abstract data types
– Goguen, Thatcher, et al.
- 1979
|
|
216
|
CML: A Higher-order Concurrent Language
– Reppy
- 1991
|
|
211
|
KIDS: A semiautomatic program development system
– Smith
- 1990
|
|
183
|
The Polylith Software Bus
– Purtilo
- 1994
|
|
150
|
D.—Tarlecki, A.: Toward Formal Development of Programs from Algebraic Specifications: Implementations Revisited
– Sannella
- 1988
|
|
126
|
Putting theories together to make specifications
– Burstall, Goguen
- 1977
|
|
113
|
NESL: A nested data-parallel language
– Blelloch
- 1995
|
|
107
|
Introducing OBJ3
– Goguen, Winkler
- 1988
|
|
102
|
Compositional parallel programming
– Chandy, Kesselman
- 1992
|
|
92
|
A.: Specifications in an Arbitrary Institution
– Sannella
- 1988
|
|
90
|
Communication complexity of PRAMs
– Aggarwal, Chandra, et al.
- 1990
|
|
89
|
The algebraic specification of abstract data types
– Guttag, Horning
- 1978
|
|
88
|
An Introduction to Parallel Programming
– Chandy, Taylor
- 1992
|
|
86
|
The APRAM: Incorporating asynchrony into the PRAM model
– Cole
- 1989
|
|
65
|
Integrated PVM framework supports heterogeneous network computing
– Dongarra, Geist, et al.
- 1993
|
|
65
|
Toward formal development of ML programs: Foundations and methodology
– Sannella, Tarlecki
- 1989
|
|
64
|
Algorithms for parallel memory II: Hierarchical multilevel memories. Algorithmica
– Vitter, Shriver
- 1994
|
|
62
|
The Specification of Computer Programs
– Turski, Maibaum
- 1987
|
|
60
|
Transforming high-level data-parallel programs into vector operations
– Prins, Palmer
- 1993
|
|
56
|
Uniform memory hierarchies
– Alpern, Carter, et al.
- 1990
|
|
47
|
CVL: A C vector library
– Blelloch, Chatterjee, et al.
- 1993
|
|
41
|
Fundamentals of Algebraic Specification I: Equations and Initial Semantics
– Ehrig, Mahr
- 1985
|
|
37
|
An Introduction to the Larch Shared Language
– Guttag, Horning
- 1983
|
|
37
|
Prototyping parallel and distributed programs in Proteus
– Mills, Nyland, et al.
- 1990
|
|
35
|
Modeling parallel computers as memory hierarchies
– Alpern, Carter, et al.
- 1993
|
|
28
|
Enderton, A Mathematical Introduction to Logic
– B
- 1972
|
|
27
|
An architecture independent programming model for scalable parallel computing
– McColl
- 1993
|
|
20
|
Models and resource metrics for parallel and distributed computation
– Li, Mills, et al.
- 1995
|
|
17
|
Integrating concurrency and data abstraction in the COOL parallel programming language
– Chandra, Gupta, et al.
- 1992
|
|
16
|
UnCvl: The University of North Carolina C Vector Library. Version 1.1
– Faith, Hoffman, et al.
- 1993
|
|
15
|
Applying formal software synthesis
– Jullig
- 1993
|
|
14
|
On the modularization theorem for logical specifications
– Veloso, Maibaum
- 1995
|
|
13
|
Reusing software developments
– Goldberg
- 1990
|
|
13
|
CICO: A Practical Shared-Memory Programming Performance Model
– Larus, Chandra, et al.
- 1993
|
|
11
|
The Nested Rectangular Array as a Model of Data
– More
- 1979
|
|
11
|
Set theory as a language for program specification and programming
– Schwartz
- 1970
|
|
10
|
DPL: Data Parallel Library manual
– Palmer
- 1993
|
|
9
|
Specification and development of parallel algorithms with the Proteus system
– GOLDBERG, MILLS, et al.
- 1994
|
|
7
|
Compiling collection-oriented languages into massively parallel computers
– Blelloch, Sabot
- 1990
|
|
7
|
Prototyping N-body simulation in Proteus
– Mills, Nyland, et al.
- 1992
|
|
6
|
The parallel asynchronous recursion model
– Higham, Schenk
- 1992
|
|
6
|
An introduction to Proteus, version 0.9
– Levin, Nyland
- 1993
|
|
6
|
Parallel programming using linear variables
– Mills
- 1994
|
|
6
|
Prototyping high-performance parallel computing applications in Proteus
– Mills, Nyland, et al.
- 1992
|
|
