Proving properties of multidimensional recurrences with application to regular parallel algorithms (2001)

by D Cachera, P Quinton, S Rajopadhye, T Risset
Venue:In FMPPTA’01