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
Link To Document :
بازگشت