• DocumentCode
    3127738
  • Title

    Proving properties of multidimensional recurrences with application to regular parallel algorithms

  • Author

    Cachera, D. ; Quinton, P. ; Rajopadhye, S. ; Risset, T.

  • Author_Institution
    IRISA
  • fYear
    2000
  • fDate
    23-27 April 2000
  • Firstpage
    1491
  • Lastpage
    1498
  • Keywords
    Computer applications; Concurrent computing; Data structures; Difference equations; Logic; Multidimensional systems; Parallel algorithms; Power system modeling; Very large scale integration;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Parallel and Distributed Processing Symposium., Proceedings 15th International
  • Conference_Location
    San Francisco, CA, USA
  • ISSN
    1530-2075
  • Print_ISBN
    0-7695-0990-8
  • Type

    conf

  • DOI
    10.1109/IPDPS.2001.925133
  • Filename
    925133