sur 9
Symbolic Parallelization of Nested Loop Programs — Alexandru-Petru Tanase, Frank Hannig, Jürgen Teich