Implementation of a portable nested data-parallel language
This paper gives an overview of the implementation of NESL, a portable nested data-parallel
language. This language and its implementation are the first to fully support nested data …
language. This language and its implementation are the first to fully support nested data …
[图书][B] Data-parallel programming on MIMD computers
PJ Hatcher, MJ Quinn - 1991 - books.google.com
Data-Parallel Programming demonstrates that architecture-independent parallel
programming is possible by describing in detail how programs written in a high-level SIMD …
programming is possible by describing in detail how programs written in a high-level SIMD …
Divergence analysis and optimizations
The growing interest in GPU programming has brought renewed attention to the Single
Instruction Multiple Data (SIMD) execution model. SIMD machines give application …
Instruction Multiple Data (SIMD) execution model. SIMD machines give application …
[图书][B] An optimizing Fortran D compiler for MIMD distributed-memory machines
CW Tseng - 1993 - search.proquest.com
Massively parallel MIMD distributed-memory machines can provide enormous
computational power; however, the difficulty of developing parallel programs for these …
computational power; however, the difficulty of developing parallel programs for these …
Nested data-parallelism on the GPU
L Bergstrom, J Reppy - Proceedings of the 17th ACM SIGPLAN …, 2012 - dl.acm.org
Graphics processing units (GPUs) provide both memory bandwidth and arithmetic
performance far greater than that available on CPUs but, because of their Single-Instruction …
performance far greater than that available on CPUs but, because of their Single-Instruction …
A semantics for shape
CB Jay - Science of computer programming, 1995 - Elsevier
Shapely types separate data, represented by lists, from shape, or structure. This separation
supports shape polymorphism, where operations are defined for arbitrary shapes, and …
supports shape polymorphism, where operations are defined for arbitrary shapes, and …
Collection-oriented languages
JM Sipelstein, GE Blelloch - Proceedings of the IEEE, 1991 - ieeexplore.ieee.org
The authors outline, compare, and contrast the collections and operations found in many
collection-oriented languages by putting them into a common framework. In the process …
collection-oriented languages by putting them into a common framework. In the process …
Models for practical parallel computation
DB Skillicorn - International Journal of Parallel Programming, 1991 - Springer
A major reason for the lack of practical use of parallel computers has been the absence of a
suitable model of parallel computation. Many existing models are either theoretical or are …
suitable model of parallel computation. Many existing models are either theoretical or are …
Divergence analysis
D Sampaio, RM Souza, C Collange… - ACM Transactions on …, 2014 - dl.acm.org
Growing interest in graphics processing units has brought renewed attention to the Single
Instruction Multiple Data (SIMD) execution model. SIMD machines give application …
Instruction Multiple Data (SIMD) execution model. SIMD machines give application …
[PDF][PDF] Shape checking of array programs
CB Jay, M Sekanina - 1996 - Citeseer
Shape theory provides a framework for the study of data types in which shape and data can
be manipulated separately. This paper is concerned with shape checking, ie the detection of …
be manipulated separately. This paper is concerned with shape checking, ie the detection of …