Correct translation of data parallel assignment onto array processors
From MaRDI portal
Recommendations
- Reasoning about data-parallel array assignment
- Semantics for data parallel computation
- Array processing machines: an abstract model
- Parallelization of sequential programs: distribution of arrays among processors and structurization of communications
- Algorithms for assignment problems on an array processor
Cites work
- scientific article; zbMATH DE number 3688765 (Why is no real title available?)
- scientific article; zbMATH DE number 3740740 (Why is no real title available?)
- scientific article; zbMATH DE number 3793435 (Why is no real title available?)
- scientific article; zbMATH DE number 48041 (Why is no real title available?)
- scientific article; zbMATH DE number 107949 (Why is no real title available?)
- scientific article; zbMATH DE number 3574936 (Why is no real title available?)
- scientific article; zbMATH DE number 3628373 (Why is no real title available?)
- scientific article; zbMATH DE number 194539 (Why is no real title available?)
- A Language for Array and Vector Processors
- A practical hierarchical model of parallel computation. I: The model
- A systolic LRU processor and its top-down development
- An axiomatic treatment of SIMD assignment
- Consistent and complementary formal theories of the semantics of programming languages
- Definite clause grammars for language analysis - A survey of the formalism and a comparison with augmented transition networks
- Parallel Computers 2
- Parallel Matrix and Graph Algorithms
- SIMD language design using prescriptive semantics
- Some primitives for the portable programming of array and vector processors
- The denotational semantics of programming languages
Cited in
(2)
This page was built for publication: Correct translation of data parallel assignment onto array processors
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1336950)
