{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:08:56Z","timestamp":1763467736908},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540330509"},{"type":"electronic","value":"9783540330516"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11688839_16","type":"book-chapter","created":{"date-parts":[[2006,3,28]],"date-time":"2006-03-28T07:41:48Z","timestamp":1143531708000},"page":"185-201","source":"Crossref","is-referenced-by-count":47,"title":["Polyhedral Code Generation in the Real World"],"prefix":"10.1007","author":[{"given":"Nicolas","family":"Vasilache","sequence":"first","affiliation":[]},{"given":"C\u00e9dric","family":"Bastoul","sequence":"additional","affiliation":[]},{"given":"Albert","family":"Cohen","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"16_CR1","doi-asserted-by":"crossref","unstructured":"Ancourt, C., Irigoin, F.: Scanning polyhedra with DO loops. In: 3rd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, June 1991, pp. 39\u201350 (1991)","DOI":"10.1145\/109625.109631"},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"Bastoul, C.: Efficient code generation for automatic parallelization and optimization. In: ISPDC 2003 IEEE Intl. Symp. on Parallel and Distributed Computing, Ljubljana, October 2003, pp. 23\u201330 (2003)","DOI":"10.1109\/ISPDC.2003.1267639"},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"Bastoul, C.: Code generation in the polyhedral model is easier than you think. In: PACT 13 IEEE Intl. Conf. on Parallel Architecture and Compilation Techniques, Juan-les-Pins, September 2004, pp. 7\u201316 (2004)","DOI":"10.1109\/PACT.2004.1342537"},{"key":"16_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"320","DOI":"10.1007\/3-540-36579-6_23","volume-title":"Compiler Construction","author":"C. Bastoul","year":"2003","unstructured":"Bastoul, C., Feautrier, P.: Improving data locality by chunking. In: Hedin, G. (ed.) CC 2003. LNCS, vol.\u00a02622, pp. 320\u2013334. Springer, Heidelberg (2003)"},{"issue":"3","key":"16_CR5","doi-asserted-by":"publisher","first-page":"421","DOI":"10.1016\/S0167-8191(98)00020-9","volume":"24","author":"P. Boulet","year":"1998","unstructured":"Boulet, P., Darte, A., Silber, G.-A., Vivien, F.: Loop parallelization algorithms: From parallelism extraction to code generation. Parallel Computing\u00a024(3), 421\u2013444 (1998)","journal-title":"Parallel Computing"},{"key":"16_CR6","doi-asserted-by":"crossref","unstructured":"Cohen, A., Girbal, S., Parello, D., Sigler, M., Temam, O., Vasilache, N.: Facilitating the search for compositions of program transformations. In: ACM ICS 2005 International Conference on Supercomputing, Cambridge, June 2005, pp. 151\u2013160 (2005)","DOI":"10.1145\/1088149.1088169"},{"key":"16_CR7","first-page":"339","volume-title":"Activity Analysis of Production and Allocation, Cowles Commission Monograph No. 13","author":"G. Dantzig","year":"1951","unstructured":"Dantzig, G.: Maximization of a linear function of variables subject to linear inequalities. In: Koopmans, T. (ed.) Activity Analysis of Production and Allocation, Cowles Commission Monograph No. 13, New York, pp. 339\u2013347. John Wiley & Sons, Chichester (1951)"},{"issue":"5","key":"16_CR8","doi-asserted-by":"publisher","first-page":"679","DOI":"10.1016\/0167-8191(94)90001-9","volume":"20","author":"A. Darte","year":"1994","unstructured":"Darte, A., Robert, Y.: Mapping uniform loop nests onto distributed memory architectures. Parallel Computing\u00a020(5), 679\u2013710 (1994)","journal-title":"Parallel Computing"},{"issue":"1","key":"16_CR9","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/BF01407931","volume":"20","author":"P. Feautrier","year":"1991","unstructured":"Feautrier, P.: Dataflow analysis of scalar and array references. International Journal of Parallel Programming\u00a020(1), 23\u201353 (1991)","journal-title":"International Journal of Parallel Programming"},{"issue":"6","key":"16_CR10","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1007\/BF01379404","volume":"21","author":"P. Feautrier","year":"1992","unstructured":"Feautrier, P.: Some efficient solutions to the affine scheduling problem, part II: multidimensional time. Int. Journal of Parallel Programming\u00a021(6), 389\u2013420 (1992)","journal-title":"Int. Journal of Parallel Programming"},{"issue":"3","key":"16_CR11","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1109\/TPDS.2005.26","volume":"16","author":"B. Franke","year":"2005","unstructured":"Franke, B., O\u2019Boyle, M.: A complete compiler approach to auto-parallelizing c programs for Multi-DSP systems. IEEE Transactions on Parallel and Distributed Systems (TPDS)\u00a016(3), 234\u2013245 (2005)","journal-title":"IEEE Transactions on Parallel and Distributed Systems (TPDS)"},{"key":"16_CR12","unstructured":"Griebl, M.: Automatic parallelization of loop programs for distributed memory architectures. Habilitation thesis. Facult\u00e4t f\u00fcr Mathematik und Informatik, Universit\u00e4t Passau (2004)"},{"key":"16_CR13","unstructured":"Hurbain, I., Ancourt, C., Irigoin, F., Barreteau, M., Mattioli, J., Paquier, F.: A case study of design space exploration for embedded multimedia applications in SoCs. Technical Report A-361, CRI \u2013 \u00c9cole des Mines de Paris (February 2005)"},{"issue":"8","key":"16_CR14","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1109\/MC.2003.1220582","volume":"36","author":"U. Kapasi","year":"2003","unstructured":"Kapasi, U., Rixner, S., Dally, W., Khailany, B., Ho Ahn, J., Mattson, P., Owens, J.: Programmable stream processors. IEEE Computer\u00a036(8), 54\u201362 (2003)","journal-title":"IEEE Computer"},{"key":"16_CR15","unstructured":"Kelly, W., Pugh, W.: A framework for unifying reordering transformations. Technical Report CS-TR-3193, University of Maryland (1993)"},{"key":"16_CR16","unstructured":"Kelly, W., Pugh, W., Rosser, E.: Code generation for multiple mappings. In: Frontiers 1995 Symposium on the frontiers of massively parallel computation, McLean (1995)"},{"key":"16_CR17","volume-title":"The Structure of Computers and Computations","author":"D. Kuck","year":"1978","unstructured":"Kuck, D.: The Structure of Computers and Computations. John Wiley & Sons, Chichester (1978)"},{"key":"16_CR18","unstructured":"Le Verge, H.: A note on Chernikova\u2019s algorithm. Technical Report 635, IRISA (1992)"},{"key":"16_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"398","DOI":"10.1007\/3-540-57208-2_28","volume-title":"CONCUR\u201993","author":"C. Lengauer","year":"1993","unstructured":"Lengauer, C.: Loop parallelization in the polytope model. In: Best, E. (ed.) CONCUR 1993. LNCS, vol.\u00a0715, pp. 398\u2013416. Springer, Heidelberg (1993)"},{"issue":"2","key":"16_CR20","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/BF02577874","volume":"22","author":"W. Li","year":"1994","unstructured":"Li, W., Pingali, K.: A singular loop transformation framework based on non-singular matrices. International Journal of Parallel Programming\u00a022(2), 183\u2013205 (1994)","journal-title":"International Journal of Parallel Programming"},{"key":"16_CR21","doi-asserted-by":"crossref","unstructured":"Lim, A., Lam, M.: Maximizing parallelism and minimizing synchronization with affine transforms. In: PoPL 24 ACM Symp. on Principles of Programming Languages, Paris, January 1997, pp. 201\u2013214 (1997)","DOI":"10.1145\/263699.263719"},{"key":"16_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/978-3-540-27866-5_10","volume-title":"Euro-Par 2004 Parallel Processing","author":"R. M\u00fcller-Pfefferkorn","year":"2004","unstructured":"M\u00fcller-Pfefferkorn, R., Nagel, W., Trenkler, B.: Optimizing cache access: A tool for source-to-source transformations and real-life compiler tests. In: Danelutto, M., Vanneschi, M., Laforenza, D. (eds.) Euro-Par 2004. LNCS, vol.\u00a03149, pp. 72\u201381. Springer, Heidelberg (2004)"},{"key":"16_CR23","doi-asserted-by":"crossref","unstructured":"Pugh, W.: The omega test: a fast and practical integer programming algorithm for dependence analysis. In: Proceedings of the third ACM\/IEEE conference on Supercomputing, Albuquerque, August 1991, pp. 4\u201313 (1991)","DOI":"10.1145\/125826.125848"},{"key":"16_CR24","doi-asserted-by":"crossref","unstructured":"Pugh, W.: Uniform techniques for loop optimization. In: ICS\u20195 ACM International Conference on Supercomputing, Cologne, June 1991, pp. 341\u2013352 (1991)","DOI":"10.1145\/109025.109108"},{"issue":"5","key":"16_CR25","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1023\/A:1007554627716","volume":"28","author":"F. Quiller\u00e9","year":"2000","unstructured":"Quiller\u00e9, F., Rajopadhye, S., Wilde, D.: Generation of efficient nested loops from polyhedra. International Journal of Parallel Programming\u00a028(5), 469\u2013498 (2000)","journal-title":"International Journal of Parallel Programming"},{"issue":"4","key":"16_CR26","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF01206273","volume":"9","author":"J. Ramanujam","year":"1995","unstructured":"Ramanujam, J.: Beyond unimodular transformations. J. of Supercomputing\u00a09(4), 365\u2013389 (1995)","journal-title":"J. of Supercomputing"},{"key":"16_CR27","volume-title":"Theory of linear and integer programming","author":"A. Schrijver","year":"1986","unstructured":"Schrijver, A.: Theory of linear and integer programming. John Wiley & Sons, Chichester (1986)"},{"key":"16_CR28","volume-title":"High performance compilers for parallel computing","author":"M. Wolfe","year":"1995","unstructured":"Wolfe, M.: High performance compilers for parallel computing. Addison-Wesley, Reading (1995)"},{"issue":"5","key":"16_CR29","doi-asserted-by":"publisher","first-page":"711","DOI":"10.1016\/0167-8191(94)90002-7","volume":"20","author":"J. Xue","year":"1994","unstructured":"Xue, J.: Automating non-unimodular loop transformations for massive parallelism. Parallel Computing\u00a020(5), 711\u2013728 (1994)","journal-title":"Parallel Computing"}],"container-title":["Lecture Notes in Computer Science","Compiler Construction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11688839_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,12]],"date-time":"2019-03-12T01:44:11Z","timestamp":1552355051000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11688839_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540330509","9783540330516"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/11688839_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}