A Geometric Semantics for Program Representation in the Polytope Model

Authors:
Brian J. d'Auriol
Affiliations:
-
Venue:
LCPC '99 Proceedings of the 12th International Workshop on Languages and Compilers for Parallel Computing
Year:
1999

Citing 4
Cited 0

Theory of linear and integer programming

Theory of linear and integer programming
Dependence Analysis

Dependence Analysis
Loop Parallelization in the Polytope Model

CONCUR '93 Proceedings of the 4th International Conference on Concurrency Theory
Automatic Parallelization in the Polytope Model

The Data Parallel Programming Model: Foundations, HPF Realization, and Scientific Applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

A new geometric framework for parallel program representation is proposed to address the difficulties of parallel programming. The focus of this work is the expression of collections of computations and the inter-, intra-relationships thereof. Both linguistic and nonlinguistic carried geometric semantics are presented and characterized. A formal review of the basic Polytope Model is give.