{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:13:37Z","timestamp":1725664417848},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540584308"},{"type":"electronic","value":"9783540487890"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58430-7_59","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:04:39Z","timestamp":1330272279000},"page":"677-688","source":"Crossref","is-referenced-by-count":6,"title":["On scanning space-time mapped while loops"],"prefix":"10.1007","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","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"issue":"2\u20133","key":"59_CR1","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":"59_CR2","unstructured":"J.-F. Collard. Code generation in automatic parallelizers. In C. Girault, editor, Proc. Int. Conf. on Applications in Parallel and Distributed Computing, IFIP W.G. 10.3, pages 185\u2013194. North-Holland, April 1994."},{"key":"59_CR3","doi-asserted-by":"crossref","unstructured":"J.-F. Collard. Space-time transformation of while-loops using speculative execution. In Proc. 1994 Scalable High Performance Computing Conf. IEEE Computer Society Press, May 1994.","DOI":"10.1109\/SHPCC.1994.296675"},{"key":"59_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"},{"key":"59_CR5","unstructured":"M. Griebl and C. Lengauer. A communication scheme for the distributed execution of while loops. Technical Report MIP-9406, Fakult\u00e4t f\u00fcr Mathematik und Informatik, Universit\u00e4t Passau, May 1994."},{"key":"59_CR6","unstructured":"M. Griebl and C. Lengauer. On the space-time mapping of WHILE-loops. Parallel Processing Letters, 1994. To appear. Also: Technical Report MIP-9304, Fakult\u00e4t f\u00fcr Mathematik und Informatik, Universit\u00e4t Passau, July 1993."},{"issue":"3","key":"59_CR7","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"},{"key":"59_CR8","doi-asserted-by":"crossref","unstructured":"C. Lengauer. Loop parallelization in the polytope model. In E. Best, editor, CONCUR'93, Lecture Notes in Computer Science 715, pages 398\u2013416. Springer-Verlag, 1993.","DOI":"10.1007\/3-540-57208-2_28"},{"key":"59_CR9","unstructured":"P. Quinton. The systematic design of systolic arrays. In F. F. Souli\u00e9, Y. Robert, and M. Tchuente, editors, Automata Networks in Computer Science, chapter 9, pages 229\u2013260. Manchester University Press, 1987. Also: Technical Reports 193 and 216, IRISA (INRIA-Rennes), 1983."},{"issue":"3","key":"59_CR10","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1109\/5.4402","volume":"76","author":"S. K. Rao","year":"1988","unstructured":"S. K. Rao and T. Kailath. Regular iterative algorithms and their implementations on processor arrays. Proc. IEEE, 76(3):259\u2013282, March 1988.","journal-title":"Proc. IEEE"},{"key":"59_CR11","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. of Supercomputing, 5:119\u2013136, 1991.","journal-title":"J. of Supercomputing"},{"key":"59_CR12","unstructured":"Y. Wu and T. G. Lewis. Parallelizing while loops. In H. D. Schwetman, editor, Int. Conf. on Parallel Processing, volume II, pages 1\u20138. CRC Press, 1990."},{"issue":"5","key":"59_CR13","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"}],"container-title":["Lecture Notes in Computer Science","Parallel Processing: CONPAR 94 \u2014 VAPP VI"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58430-7_59.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:15:41Z","timestamp":1619572541000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58430-7_59"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540584308","9783540487890"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-58430-7_59","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}