{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T05:10:15Z","timestamp":1737004215982,"version":"3.33.0"},"reference-count":27,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[1995,10,1]],"date-time":"1995-10-01T00:00:00Z","timestamp":812505600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Parallel Prog"],"published-print":{"date-parts":[[1995,10]]},"DOI":"10.1007\/bf02577774","type":"journal-article","created":{"date-parts":[[2007,3,22]],"date-time":"2007-03-22T23:36:19Z","timestamp":1174606579000},"page":"471-496","source":"Crossref","is-referenced-by-count":5,"title":["A communication scheme for the distributed execution of loop nests withwhile loops"],"prefix":"10.1007","volume":"23","author":[{"given":"Martin","family":"Griebl","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Lengauer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02577774_CR1","doi-asserted-by":"crossref","unstructured":"M. Griebl and C. Lengauer, On scanning space-time mappedwhile loops. In B. Buchberger and J. Volkert (eds),Parallel Processing: CONPAR '94\u2014VAPP VI, Springer-Verlag, Lecture Notes in Computer Science 854, pp. 677\u2013688 (1994).","DOI":"10.1007\/3-540-58430-7_59"},{"key":"BF02577774_CR2","doi-asserted-by":"crossref","unstructured":"C. Lengauer, Loop parallelization in the polytope model. In E. Best (ed.),CONCUR '93, Springer-Verlag, Lecture Notes in Computer Science 715, pp. 398\u2013416 (1993).","DOI":"10.1007\/3-540-57208-2_28"},{"key":"BF02577774_CR3","unstructured":"M. Griebl and C. Lengauer, A communication scheme for the distributed execution ofwhile loops. Technical Report MIP-9406, Fakult\u00e4t f\u00fcr Mathematik und Informatik, Universit\u00e4t Passau (June 1994)."},{"key":"BF02577774_CR4","doi-asserted-by":"crossref","unstructured":"E. W. Dijkstra and C. S. Scholten,Predicate Calculus and Program Semantics. Texts and Monographs in Computer Science. Springer-Verlag (1990).","DOI":"10.1007\/978-1-4612-3228-5"},{"issue":"2\u20133","key":"BF02577774_CR5","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1142\/S0129626492000416","volume":"2","author":"M. Barnett","year":"1992","unstructured":"M. Barnett and C. Lengauer, Unimodularity and the parallelization of loops,Parallel Processing Letters,2(2\u20133):273\u2013281 (1992).","journal-title":"Parallel Processing Letters"},{"key":"BF02577774_CR6","unstructured":"J.-F. Collard, Code generation in automatic parallelizers. In C. Girault, (ed.)Proc. Int. Conf. on Applications in Parallel and Distributed Computing, IFIP W. G., North-Holland 10.3, pp. 185\u2013194, (April 1994)."},{"issue":"5","key":"BF02577774_CR7","doi-asserted-by":"crossref","first-page":"711","DOI":"10.1016\/0167-8191(94)90002-7","volume":"20","author":"J. Xue","year":"1994","unstructured":"J. Xue, Automating non-unimodular transformations of loop nests.Parallel Computing,20(5):711\u2013728, May (1994).","journal-title":"Parallel Computing"},{"issue":"3","key":"BF02577774_CR8","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1142\/S0129626494000223","volume":"4","author":"M. Griebl","year":"1994","unstructured":"M. Griebl and C. Lengauer, On the space-time mapping of WHILE-loops.Parallel Processing Letters,4(3):221\u2013232, (September 1994).","journal-title":"Parallel Processing Letters"},{"key":"BF02577774_CR9","doi-asserted-by":"crossref","unstructured":"J.-F. Collard, D. Barthou, and P. Feautrier, Fuzzy array dataflow analysis. InProc. 5th ACM SIGPLAN Symp. on Principles & Practice of Parallel Programming (PPoPP). ACM Press (July 1995). To appear. Earlier version: Technical Report TR94-24, LIP, \u00c9cole Normale Sup\u00e9rieure de Lyon (July 1994)","DOI":"10.1145\/209936.209947"},{"key":"BF02577774_CR10","doi-asserted-by":"crossref","unstructured":"U. Banerjeee,Loop Transformations for Restructuring Compilers: Loop Parallelization. Kluwer (1994).","DOI":"10.1007\/978-1-4757-5676-0"},{"key":"BF02577774_CR11","unstructured":"Y. Wu and T. G. Lewis, Parallelizing while loops. In H. D. Schwetman, (ed.),Int. Conf. on Parallel Processing, Volume II, CRC Press, pp. 1\u20138 (1990)."},{"key":"BF02577774_CR12","unstructured":"Parsytec,PARIX 1.2 Reference Manual (March 1993)."},{"issue":"3","key":"BF02577774_CR13","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/0020-0190(85)90078-X","volume":"20","author":"A. Martin","year":"1985","unstructured":"A. Martin. The probe: An addition to communication primitives,Information for Processing Letters,20(3):125\u2013130 (1985).","journal-title":"Information for Processing Letters"},{"key":"BF02577774_CR14","unstructured":"I. Graham and T. King,The Transputer Handbook. Prentice-Hall (1990)."},{"issue":"3","key":"BF02577774_CR15","doi-asserted-by":"crossref","first-page":"563","DOI":"10.1145\/321406.321418","volume":"14","author":"R. M. Karp","year":"1967","unstructured":"R. M. Karp, R. E. Miller, and S. Winograd, The organization of computations for uniform recurrence equations.J. ACM,14(3):563\u2013590 (July 1967).","journal-title":"J. ACM"},{"issue":"2","key":"BF02577774_CR16","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1145\/360827.360844","volume":"17","author":"L. Lamport","year":"1974","unstructured":"L. Lamport, The parallel execution of DO loops.Comm. ACM,17(2):83\u201393 (February 1974).","journal-title":"Comm. ACM"},{"key":"BF02577774_CR17","unstructured":"P. Quinton, The systematic design of systolic arrays. In F. F. Souli\u00e9, Y. Robert, and M. Tchuente, (eds.),Automata Networks in Computer Science, Chapter 9, pp. 229\u2013260. Manchester University Press, (1987). Also: Technical Reports 193 and 216, IRISA (INRIA-Rennes) (1983)."},{"key":"BF02577774_CR18","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1007\/BF00925828","volume":"3","author":"H. Verge Le","year":"1991","unstructured":"H. Le Verge, C. Mauras, and P. Quinton. The ALPHA language and its use for the design of systolic arrays.J. VLSI Signal Processing,3:173\u2013182 (1991).","journal-title":"J. VLSI Signal Processing"},{"key":"BF02577774_CR19","unstructured":"V. van Dongen and M. Petit, PRESAGE: A tool for the parallelization of nested loop programs. In L. J. M. Claesen, (ed.),Formal VLSI Specification and Synthesis (VLSI Design Methods-I), North-Holland, pp. 341\u2013359 (1990)."},{"key":"BF02577774_CR20","unstructured":"R. P. Wilson, R. S. French, C. S. Wilson, S. P. Amarasinghe, J. M. Anderson, S. W. K. Tjiang, S.-W., Liao, C.-W. Tseng, M. W. Hall, M. S. Lam, and J. L. Hennessy, Suif: An infrastructure for research on parallelizing and optimizing compilers. InProc. Forth ACM SIGPLAN Symp. on Principles & Practice of Parallel Programming (PPoPP), ACM Press, pp. 31\u201337 (1994)."},{"key":"BF02577774_CR21","unstructured":"M. Wolfe, Experiences with data dependence and loop restructuring in the tiny research tool. Technical Report 90-016, Department of Computer Science and Engineering, Oregon Graduate Institute of Science and Technology (1990)."},{"key":"BF02577774_CR22","unstructured":"M. Raji-Werth and P. Feautrier, On parallel program generation for massively parallel architectures. In M. Durand and F. El Dabaghi, (eds.),High Performance Computing II. North-Holland (1991)."},{"key":"BF02577774_CR23","unstructured":"P. Boulet, M. Dijon, E. Lequiniou, and T. Risset. Reference manual of the bouclettes parallelizer. Technical Report 94-04, LIP, \u00c9cole Normale Sup\u00e9rieure de Lyon (October 1994)."},{"key":"BF02577774_CR24","doi-asserted-by":"crossref","unstructured":"L. Rauchwerger and D. Padua, Parallelizing while loops for multiprocessor systems. InProc. 9th Int. Parallel Programming Symposium (IPPS'95), IEEE Computer Society Press. pp. 347\u2013355 (1995).","DOI":"10.1109\/IPPS.1995.395955"},{"key":"BF02577774_CR25","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1007\/BF00127840","volume":"5","author":"P. P. Tirumalai","year":"1991","unstructured":"P. P. Tirumalai, M. Lee, and M. S. Schlansker, Parallelization of while loops on pipelined architectures.J. Supercomputing,5:119\u2013136, 1991.","journal-title":"J. Supercomputing"},{"key":"BF02577774_CR26","unstructured":"J.-F. Collard, Automatic parallelization ofwhile-loops using speculative execution.Int. J. Parallel Programming, (1995). To appear. Earlier version:Proc. 1994Scalable High Performance Computing Conf., IEEE, pp. 429\u2013436, (May 1994)."},{"key":"BF02577774_CR27","doi-asserted-by":"crossref","unstructured":"C. Lengauer and M. Griebl, On the parallelization of loop nests containingwhile loops. In N. N. Mirenkov, Q.-P. Gu, S. Peng, and S. Sedukhin, (eds.),Proc. 1st Aizu Int. Symp. on Parallel Algorithm\/Architecture Synthesis (pAs'95), IEEE Computer Society Press pp. 10\u201318 (1995).","DOI":"10.1109\/AISPAS.1995.401360"}],"container-title":["International Journal of Parallel Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02577774.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02577774\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02577774","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,15]],"date-time":"2025-01-15T05:17:07Z","timestamp":1736918227000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02577774"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,10]]},"references-count":27,"journal-issue":{"issue":"5","published-print":{"date-parts":[[1995,10]]}},"alternative-id":["BF02577774"],"URL":"https:\/\/doi.org\/10.1007\/bf02577774","relation":{},"ISSN":["0885-7458","1573-7640"],"issn-type":[{"type":"print","value":"0885-7458"},{"type":"electronic","value":"1573-7640"}],"subject":[],"published":{"date-parts":[[1995,10]]}}}