Title :
Proving properties of multidimensional recurrences with application to regular parallel algorithms
Author :
Cachera, D. ; Quinton, P. ; Rajopadhye, S. ; Risset, T.
Author_Institution :
IRISA
Keywords :
Computer applications; Concurrent computing; Data structures; Difference equations; Logic; Multidimensional systems; Parallel algorithms; Power system modeling; Very large scale integration;
Conference_Titel :
Parallel and Distributed Processing Symposium., Proceedings 15th International
Conference_Location :
San Francisco, CA, USA
Print_ISBN :
0-7695-0990-8
DOI :
10.1109/IPDPS.2001.925133