{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:44:32Z","timestamp":1740123872431,"version":"3.37.3"},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"5-6","license":[{"start":{"date-parts":[[2018,5,18]],"date-time":"2018-05-18T00:00:00Z","timestamp":1526601600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Parallel Prog"],"published-print":{"date-parts":[[2019,12]]},"DOI":"10.1007\/s10766-018-0577-7","type":"journal-article","created":{"date-parts":[[2018,5,18]],"date-time":"2018-05-18T11:04:49Z","timestamp":1526641489000},"page":"781-804","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["An Analytical Evaluation of Data Dependence Analysis Techniques"],"prefix":"10.1007","volume":"47","author":[{"given":"David","family":"Niedzielski","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3942-3823","authenticated-orcid":false,"given":"Kleanthis","family":"Psarris","sequence":"additional","affiliation":[]},{"given":"Theoharis","family":"Theoharis","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,5,18]]},"reference":[{"key":"577_CR1","volume-title":"Optimizing Compilers for Modern Architectures","author":"R Allen","year":"2002","unstructured":"Allen, R., Kennedy, K.: Optimizing Compilers for Modern Architectures. Morgan Kaufmann Publishers, San Francisco (2002)"},{"issue":"4","key":"577_CR2","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1145\/197405.197406","volume":"26","author":"DF Bacon","year":"1994","unstructured":"Bacon, D.F., Graham, S.L., Sharp, O.J.: Compiler transformations for high-performance computing. ACM Comput. Surv. 26(4), 345\u2013420 (1994)","journal-title":"ACM Comput. Surv."},{"key":"577_CR3","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-5676-0","volume-title":"Loop Parallelization","author":"U Banerjee","year":"1994","unstructured":"Banerjee, U.: Loop Parallelization. Kluwer Academic Publishers, Norwell (1994)"},{"key":"577_CR4","volume-title":"Dependence Analysis","author":"U Banerjee","year":"1997","unstructured":"Banerjee, U.: Dependence Analysis. Kluwer Academic Publishers, Norwell (1997)"},{"key":"577_CR5","doi-asserted-by":"crossref","unstructured":"Birch, J., van Engelen, R.A., Gallivan, K.A., Shou, Y.: An empirical evaluation of chains of recurrences for array dependence testing. In: Proceedings of the 15th International Conference on Parallel Architectures and Compilation Techniques, Seattle, WA (2006)","DOI":"10.1145\/1152154.1152198"},{"issue":"12","key":"577_CR6","doi-asserted-by":"publisher","first-page":"1180","DOI":"10.1109\/71.737695","volume":"9","author":"W Blume","year":"1998","unstructured":"Blume, W., Eigenmann, R.: Nonlinear and symbolic data dependence testing. IEEE Trans. Parallel Distrib. Syst. 9(12), 1180\u20131194 (1998)","journal-title":"IEEE Trans. Parallel Distrib. Syst."},{"issue":"5","key":"577_CR7","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1093\/comjnl\/36.5.463","volume":"36","author":"V Chandru","year":"1993","unstructured":"Chandru, V.: Variable elimination in linear constraints. Comput. J. 36(5), 463\u2013473 (1993)","journal-title":"Comput. J."},{"issue":"11","key":"577_CR8","doi-asserted-by":"publisher","first-page":"1105","DOI":"10.1109\/71.888633","volume":"11","author":"T Fahringer","year":"2000","unstructured":"Fahringer, T., Scholz, B.: A unified symbolic evaluation framework for parallelizing compilers. IEEE Trans. Parallel Distrib. Syst. 11(11), 1105\u20131125 (2000)","journal-title":"IEEE Trans. Parallel Distrib. Syst."},{"key":"577_CR9","doi-asserted-by":"crossref","unstructured":"Golf, G., Kennedy, K., Tseng, C.: Practical dependence testing. In: Proceedings of the SIGPLAN\u201991 Conference on Programming Language Design and Implementation, Toronto, Canada (1991)","DOI":"10.1145\/113445.113448"},{"key":"577_CR10","volume-title":"Symbolic Analysis for Parallelizing Compilers","author":"MR Haghighat","year":"1995","unstructured":"Haghighat, M.R.: Symbolic Analysis for Parallelizing Compilers. Kluwer Academic Publishers, Norwell (1995)"},{"issue":"3","key":"577_CR11","doi-asserted-by":"publisher","first-page":"342","DOI":"10.1109\/71.86109","volume":"2","author":"X Kong","year":"1991","unstructured":"Kong, X., Klappholz, D., Psarris, K.: The I-Test: an improved dependence test for automatic parallelization and vectorization. IEEE Trans. Parallel Distrib. Syst. 2(3), 342\u2013349 (1991)","journal-title":"IEEE Trans. Parallel Distrib. Syst."},{"issue":"4","key":"577_CR12","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1023\/B:IJPP.0000035817.01263.d0","volume":"32","author":"K Kyriakopoulos","year":"2004","unstructured":"Kyriakopoulos, K., Psarris, K.: Data dependence analysis techniques for increased accuracy and extracted parallelism. Int. J. Parallel Program. (IJPP) 32(4), 317\u2013359 (2004)","journal-title":"Int. J. Parallel Program. (IJPP)"},{"issue":"5","key":"577_CR13","doi-asserted-by":"publisher","first-page":"623","DOI":"10.1109\/TPDS.2008.131","volume":"20","author":"K Kyriakopoulos","year":"2009","unstructured":"Kyriakopoulos, K., Psarris, K.: Non-linear symbolic analysis for advanced program parallelization. IEEE Trans. Parallel Distrib. Syst. 20(5), 623\u2013640 (2009)","journal-title":"IEEE Trans. Parallel Distrib. Syst."},{"issue":"1","key":"577_CR14","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1109\/71.80122","volume":"1","author":"Z Li","year":"1990","unstructured":"Li, Z., Yew, P., Zhu, C.: An efficient data dependence analysis for parallelizing compilers. IEEE Trans. Parallel Distrib. Syst. 1(1), 26\u201334 (1990)","journal-title":"IEEE Trans. Parallel Distrib. Syst."},{"key":"577_CR15","doi-asserted-by":"crossref","unstructured":"Maydan, D., Hennesy, J., Lam, M.: Efficient and exact data dependence analysis for parallelizing compilers. In: Proceedings of the SIGPLAN\u201991 Conference on Programming Language Design and Implementation, Toronto, Canada (1991)","DOI":"10.1145\/113445.113447"},{"issue":"11","key":"577_CR16","doi-asserted-by":"publisher","first-page":"1121","DOI":"10.1109\/71.544354","volume":"7","author":"P Petersen","year":"1996","unstructured":"Petersen, P., Padua, D.: Static and dynamic evaluation of data dependence analysis techniques. IEEE Trans. Parallel Distrib. Syst. 7(11), 1121\u20131132 (1996)","journal-title":"IEEE Trans. Parallel Distrib. Syst."},{"issue":"2","key":"577_CR17","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1006\/jpdc.1996.0009","volume":"32","author":"K Psarris","year":"1996","unstructured":"Psarris, K.: The Banerjee\u2013Wolfe and GCD tests on exact data dependence information. J. Parallel Distrib. Comput. 32(2), 119\u2013138 (1996)","journal-title":"J. Parallel Distrib. Comput."},{"issue":"3","key":"577_CR18","doi-asserted-by":"publisher","first-page":"196","DOI":"10.1109\/TPDS.2004.1264806","volume":"15","author":"K Psarris","year":"2004","unstructured":"Psarris, K., Kyriakopoulos, K.: An experimental evaluation of data dependence analysis techniques. IEEE Trans. Parallel Distrib. Syst. 15(3), 196\u2013213 (2004)","journal-title":"IEEE Trans. Parallel Distrib. Syst."},{"issue":"11","key":"577_CR19","doi-asserted-by":"publisher","first-page":"1280","DOI":"10.1109\/71.250105","volume":"4","author":"K Psarris","year":"1993","unstructured":"Psarris, K., Kong, X., Klappholz, D.: The direction vector I Test. IEEE Trans. Parallel Distrib. Syst. 4(11), 1280\u20131290 (1993)","journal-title":"IEEE Trans. Parallel Distrib. Syst."},{"issue":"8","key":"577_CR20","doi-asserted-by":"publisher","first-page":"102","DOI":"10.1145\/135226.135233","volume":"35","author":"W Pugh","year":"1992","unstructured":"Pugh, W.: A practical algorithm for exact array dependence analysis. Commun. ACM 35(8), 102\u2013114 (1992)","journal-title":"Commun. ACM"},{"key":"577_CR21","doi-asserted-by":"crossref","unstructured":"Pugh, W., Wonnacott, D.: Eliminating false data dependences using the omega test. In: Proceedings of the SIGPLAN\u201992 Conference on Programming Language Design and Implementation, San Francisco, CA (1992)","DOI":"10.1145\/143095.143129"},{"issue":"3","key":"577_CR22","doi-asserted-by":"publisher","first-page":"635","DOI":"10.1145\/291889.291900","volume":"20","author":"W Pugh","year":"1998","unstructured":"Pugh, W., Wonnacott, D.: Constraint-based array dependence analysis. ACM Trans. Program. Lang. Syst. 20(3), 635\u2013678 (1998)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"577_CR23","volume-title":"Theory of Linear and Integer Programming","author":"A Schrijver","year":"1986","unstructured":"Schrijver, A.: Theory of Linear and Integer Programming. Wiley, Hoboken (1986)"},{"key":"577_CR24","doi-asserted-by":"crossref","unstructured":"van Engelen, R.A., Birch, J., Shou, Y., Walsh, B., Gallivan, K.A.: A unified framework for nonlinear dependence testing and symbolic analysis. In: Proceedings of the ACM International Conference on Supercomputing, Saint-Malo, France (2004)","DOI":"10.1145\/1006209.1006226"},{"key":"577_CR25","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1016\/0097-3165(76)90055-8","volume":"21","author":"HP Williams","year":"1976","unstructured":"Williams, H.P.: Fourier\u2013Motzkin elimination: extension to integer programming problems. J. Comb. Theory (A) 21, 118\u2013123 (1976)","journal-title":"J. Comb. Theory (A)"},{"key":"577_CR26","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1016\/0166-218X(83)90024-0","volume":"5","author":"HP Williams","year":"1983","unstructured":"Williams, H.P.: A characterisation of all feasible solutions to an integer program. Discrete Appl. Math. 5, 147\u2013155 (1983)","journal-title":"Discrete Appl. Math."},{"key":"577_CR27","volume-title":"High Performance Compilers for Parallel Computing","author":"ME Wolfe","year":"1996","unstructured":"Wolfe, M.E.: High Performance Compilers for Parallel Computing. Addison-Wesley, Redwood City (1996)"},{"issue":"5","key":"577_CR28","doi-asserted-by":"publisher","first-page":"591","DOI":"10.1109\/71.159042","volume":"3","author":"M Wolfe","year":"1992","unstructured":"Wolfe, M., Tseng, C.: The power test for data dependence. IEEE Trans. Parallel Distrib. Syst. 3(5), 591\u2013601 (1992)","journal-title":"IEEE Trans. Parallel Distrib. Syst."}],"container-title":["International Journal of Parallel Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10766-018-0577-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10766-018-0577-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10766-018-0577-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,11,13]],"date-time":"2019-11-13T01:16:41Z","timestamp":1573607801000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10766-018-0577-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,5,18]]},"references-count":28,"journal-issue":{"issue":"5-6","published-print":{"date-parts":[[2019,12]]}},"alternative-id":["577"],"URL":"https:\/\/doi.org\/10.1007\/s10766-018-0577-7","relation":{},"ISSN":["0885-7458","1573-7640"],"issn-type":[{"type":"print","value":"0885-7458"},{"type":"electronic","value":"1573-7640"}],"subject":[],"published":{"date-parts":[[2018,5,18]]},"assertion":[{"value":"17 October 2017","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"8 May 2018","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"18 May 2018","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}