Skip to main content
SpringerLink
Log in

Semantic Independence

  • Reference work entry
Encyclopedia of Parallel Computing

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

Access this chapter

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 1,600.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Hardcover Book
USD 1,799.99
Price excludes VAT (USA)
  • Durable hardcover 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

Institutional subscriptions

Bibliography

  1. Bernstein AJ (1966) Analysis of programs for parallel processing. IEEE Trans Electr Comput EC-15(5):757–763

    Google Scholar 

  2. Best E, Lengauer C (1989) Semantic independence. Sci Comput Program 13(1):23–50

    MATH  MathSciNet  Google Scholar 

  3. Dean J, Ghemawat S (2008) MapReduce: simplified data processing on large clusters. Commun ACM, 51(1):107–113, January 2008

    Google Scholar 

  4. Fränzle M, von Stengel B, Wittmüss A (1995) A generalized notion of semantic independence. Info Process Lett 53(1):5–9

    MATH  Google Scholar 

  5. Hillis WD (1986) The connection machine. MIT Press, Cambridge, MA

    Google Scholar 

  6. Lengauer C (1982) A methodology for programming with concurrency: the formalism. Sci Comput Program 2(1):19–52

    MATH  Google Scholar 

  7. Lengauer C, Hehner ECR (1982) A methodology for programming with concurrency: an informal presentation. Sci Comput Program 2(1):1–18

    MATH  Google Scholar 

  8. Omondi A, Premkumar B (2007) Residue number systems – theory and implementation, volume 2 of Advances in computer science and engineering. Imperial College Press, United Kingdom

    Google Scholar 

  9. von Stengel B (1991) An algebraic characterization of semantic independence. Info Process Lett 39(6):291–296

    MATH  Google Scholar 

  10. Zhang K (1997) A theory for system security. In: 10th IEEE computer security foundations workshop. IEEE Computer Society Press, June 1997, pp 148–155

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computing Science, Carl von Ossietzky Universität, D-26111, Oldenburg, Germany

    Martin Fränzle (Professor) & Christian Lengauer (Professor)

Authors
  1. Martin Fränzle
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Christian Lengauer
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. University of Illinois at Urbana-Champaign, Urbana, IL, USA

    David Padua

Rights and permissions

Reprints and permissions

Copyright information

© 2011 Springer Science+Business Media, LLC

About this entry

Cite this entry

Fränzle, M., Lengauer, C. (2011). Semantic Independence. In: Padua, D. (eds) Encyclopedia of Parallel Computing. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-09766-4_288

Download citation

Publish with us

Policies and ethics

Search

Navigation