Implementation of a portable nested data-parallel language

GE Blelloch, JC Hardwick, S Chatterjee… - ACM Sigplan …, 1993 - dl.acm.org
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 …

[图书][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 …

Divergence analysis and optimizations

B Coutinho, D Sampaio, FMQ Pereira… - 2011 International …, 2011 - ieeexplore.ieee.org
The growing interest in GPU programming has brought renewed attention to the Single
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 …

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 …

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 …

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 …

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 …

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 …

[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 …