Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Languages and Compilers for Parallel Computing

LCPC 1999: Languages and Compilers for Parallel Computing pp 451–454Cite as

A Geometric Semantics for Program Representation in the Polytope Model

  • Conference paper
  • First Online:

  • 324 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1863))

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 non-linguistic carried geometric semantics are presented and characterized. A formal review of the basic Polytope Model is given.

Partially supported by University of Akron, Grant No. FRG 1391

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. C. Lengauer, “Loop parallelization in the polytope model,” CONCUR’93, 1993, E. Best, (ed.), Lecture Notes in Computer Science 715, Springer-Verlag, pp. 398–416, 1993.

    Google Scholar 

  2. P. Feautrier, “Automatic parallelization in the polytope model,” in The Data Parallel Programming Model, G. Perrin and A. Darte, (eds.), Lecture Notes in Computer Science 1132, pp. 79–103, Springer-Verlag, 1996.

    Google Scholar 

  3. U. Banerjee, Dependence Analysis. 101 Philip Drive, Assinippi Park, Norwell, MA, USA, 02061: Kluwer Academic Publishers, 1997.

    MATH  Google Scholar 

  4. B. J. d’Auriol, S. Saladin, and S. Humes, “Linguistic and non-linguistic semantics in the polytope model,” Tech. Rep. TR99-01, Akron, Ohio, 44325-4002, January 1999.

    Google Scholar 

  5. P. Feautrier, “Dataflow analysis of array and scalar reverences,” International Journal of Parallel Programming, Vol. 20, pp. 23–53, Feb. 1991.

    Google Scholar 

  6. B. J. d’Auriol, “Expressing parallel programs using geometric representation: Case studies,” Proc. of the IASTED International Conference Parallel and Distributed Computing and Systems (PDCS’99), Cambridge, MA, USA, Nov., 3–6, 1999, Nov. 1999. in press.

    Google Scholar 

  7. A. Schrijver, Theory of Linear and Integer Programming. Wiley-Interscience Series in Discrete mathematics and Optimization, New York: Johm Wiley & Sons, 1986. Reprinted 1998.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. of Computer Science, The Univ. of Texas at El Paso, El Paso, Texas, 79968-0518

    Brian J. d’Auriol

Authors
  1. Brian J. d’Auriol
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, University of California, San Diego, 9500 Gilman Drive, La Jolla, CA, 92093-0114, USA

    Larry Carter  & Jeanne Ferrante  & 

Rights and permissions

Reprints and permissions

Copyright information

© 2000 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

d’Auriol, B.J. (2000). A Geometric Semantics for Program Representation in the Polytope Model. In: Carter, L., Ferrante, J. (eds) Languages and Compilers for Parallel Computing. LCPC 1999. Lecture Notes in Computer Science, vol 1863. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44905-1_29

Download citation

  • DOI: https://doi.org/10.1007/3-540-44905-1_29

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-67858-8

  • Online ISBN: 978-3-540-44905-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation