{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,12,5]],"date-time":"2024-12-05T17:40:30Z","timestamp":1733420430242,"version":"3.30.1"},"reference-count":40,"publisher":"Elsevier BV","issue":"2-3","license":[{"start":{"date-parts":[[2001,7,1]],"date-time":"2001-07-01T00:00:00Z","timestamp":993945600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":4399,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Science of Computer Programming"],"published-print":{"date-parts":[[2001,7]]},"DOI":"10.1016\/s0167-6423(01)00017-x","type":"journal-article","created":{"date-parts":[[2002,10,31]],"date-time":"2002-10-31T21:12:04Z","timestamp":1036098724000},"page":"235-263","source":"Crossref","is-referenced-by-count":6,"title":["Parallel program analysis and restructuring by detection of point-to-point interaction patterns and their transformation into collective communication constructs"],"prefix":"10.1016","volume":"40","author":[{"given":"Beniamino","family":"Di Martino","sequence":"first","affiliation":[]},{"given":"Antonino","family":"Mazzeo","sequence":"additional","affiliation":[]},{"given":"Nicola","family":"Mazzocca","sequence":"additional","affiliation":[]},{"given":"Umberto","family":"Villano","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"issue":"9","key":"10.1016\/S0167-6423(01)00017-X_BIB1","doi-asserted-by":"crossref","first-page":"491","DOI":"10.1145\/29873.29875","article-title":"Automatic translation of fortran programs to vector form","volume":"3","author":"Allen","year":"1987","journal-title":"ACM Trans. Programming Languages and Systems"},{"issue":"1","key":"10.1016\/S0167-6423(01)00017-X_BIB2","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1145\/103162.103164","article-title":"Paradigms for process interaction in distributed programs","volume":"23","author":"Andrews","year":"1991","journal-title":"ACM Comput. Surveys"},{"key":"10.1016\/S0167-6423(01)00017-X_BIB3","unstructured":"R. Aversa, B. Di Martino, N. Mazzocca, U. Villano, Reducing parallel program simulation complexity by static analysis, in: Proc. PDPTA\u201999 Internat. Conf. CSREA, World Scientific Eng. Soc., 1999, pp. 627\u2013633."},{"issue":"3","key":"10.1016\/S0167-6423(01)00017-X_BIB4","doi-asserted-by":"crossref","first-page":"20","DOI":"10.1109\/4434.708252","article-title":"Heterogeneous system performance and analysis using PS","volume":"6","author":"Aversa","year":"1998","journal-title":"IEEE Concurrency"},{"year":"1988","series-title":"Dependence Analysis for Supercomputing","author":"Banerjee","key":"10.1016\/S0167-6423(01)00017-X_BIB5"},{"key":"10.1016\/S0167-6423(01)00017-X_BIB6","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1016\/0167-8191(90)90036-9","article-title":"The Argonne\/GMD Macros in FORTRAN for portable parallel programming and their implementation on the Intel iPSC\/2","volume":"15","author":"Bomans","year":"1990","journal-title":"Parallel Computing"},{"issue":"5","key":"10.1016\/S0167-6423(01)00017-X_BIB7","doi-asserted-by":"crossref","first-page":"407","DOI":"10.1002\/cpe.4330050503","article-title":"Model programs for computational science","volume":"5","author":"Brinch Hansen","year":"1993","journal-title":"Concurrency: Practice and Experience"},{"key":"10.1016\/S0167-6423(01)00017-X_BIB8","unstructured":"R. Butler, E. Lusk, User's Guide to the p4 parallel programming system, Tech. Rep. ANL-92\/17, Argonne National Laboratory, October 1992."},{"key":"10.1016\/S0167-6423(01)00017-X_BIB9","unstructured":"D. Campbell, Towards the classification of algorithmic skeletons, Tech. Rep. YCS-276, Dept. of Comp. Science, Univ. of York, 1996."},{"key":"10.1016\/S0167-6423(01)00017-X_BIB10","doi-asserted-by":"crossref","unstructured":"A. Cimitile, A. De Lucia, M. Munro, Qualifying reusable functions using symbolic execution, in: Proc. 2nd Working Conf. on Reverse Engineering, IEEE CS Press, Toronto, Canada, 1995, pp. 178\u2013187.","DOI":"10.1109\/WCRE.1995.514706"},{"year":"1989","series-title":"Algorithmic Skeletons: Structured Management of Parallel Computation","author":"Cole","key":"10.1016\/S0167-6423(01)00017-X_BIB11"},{"key":"10.1016\/S0167-6423(01)00017-X_BIB12","unstructured":"M. Danelutto, R. Di Meglio, S. Orlando, S. Pelagatti, M. Vanneschi, The P3L language: an introduction, Tech. Rep. HPL-PSC-91-29, Hewlett\u2013Packard Laboratories, Pisa Science Centre, 1991."},{"key":"10.1016\/S0167-6423(01)00017-X_BIB13","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1016\/0167-8191(88)90094-4","article-title":"A single-program-multiple-data computational model for EPEX\/FORTRAN","volume":"7","author":"Darema","year":"1988","journal-title":"Parallel Computing"},{"key":"10.1016\/S0167-6423(01)00017-X_BIB14","first-page":"146","article-title":"Parallel programming using skeleton functions","volume":"Vol. 694","author":"Darlington","year":"1993"},{"key":"10.1016\/S0167-6423(01)00017-X_BIB15","series-title":"Proc. IWPC\u201998","first-page":"206","article-title":"Automatic detection of interaction patterns for parallel program analysis and development","author":"Di Martino","year":"1998"},{"key":"10.1016\/S0167-6423(01)00017-X_BIB16","series-title":"Proc. IWPC\u201999","first-page":"84","article-title":"Restructuring parallel programs by automatic transformation of point-to-point interaction patterns into collective communication","author":"Di Martino","year":"1999"},{"key":"10.1016\/S0167-6423(01)00017-X_BIB17","doi-asserted-by":"crossref","unstructured":"B. Di Martino, A. Mazzeo, N. Mazzocca, U. Villano, H. Zima, Interaction patterns detection in message passing programs to support parallel program simulation, Tech. Rep. no. 97-15, Institute for Software Technology and Parallel Systems, Univ. of Vienna, 1997.","DOI":"10.1007\/3-540-63697-8_92"},{"issue":"3","key":"10.1016\/S0167-6423(01)00017-X_BIB18","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1145\/24039.24041","article-title":"The program dependence graph and its use in optimization","volume":"9","author":"Ferrante","year":"1987","journal-title":"ACM Trans. Programming Languages Systems"},{"key":"10.1016\/S0167-6423(01)00017-X_BIB19","unstructured":"I. Foster, K.M. Chandy, Fortran M: a language for modular parallel programming, Tech. Rep. MCS-P327-0992, Argonne National Laboratory, 1992."},{"issue":"1","key":"10.1016\/S0167-6423(01)00017-X_BIB20","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1155\/1992\/519840","article-title":"Productive parallel programming","volume":"1","author":"Foster","year":"1992","journal-title":"Scientific Programming"},{"year":"1988","series-title":"Solving Problems on Concurrent Processors","author":"Fox","key":"10.1016\/S0167-6423(01)00017-X_BIB21"},{"key":"10.1016\/S0167-6423(01)00017-X_BIB22","unstructured":"M. Froehlich, M. Werner, The graph visualization system DaVinci\u2014a user interface for applications, Tech. Rep. no. 5\/94, Dept. of Computer Science, Univ. Bremen, 1994."},{"year":"1994","series-title":"PVM","author":"Geist","key":"10.1016\/S0167-6423(01)00017-X_BIB23"},{"issue":"2","key":"10.1016\/S0167-6423(01)00017-X_BIB24","doi-asserted-by":"crossref","first-page":"166","DOI":"10.1109\/71.127258","article-title":"Automatic extraction of functional parallelism from ordinary programs","volume":"3","author":"Girkar","year":"1992","journal-title":"IEEE Trans. Parallel Distributed Systems"},{"key":"10.1016\/S0167-6423(01)00017-X_BIB25","doi-asserted-by":"crossref","unstructured":"W.D. Gropp, B. Smith, Chameleon parallel programming tools users nanual, Tech. Rep. ANL-93\/23 Argonne National Laboratory, 1993.","DOI":"10.2172\/10191159"},{"key":"10.1016\/S0167-6423(01)00017-X_BIB26","first-page":"106","article-title":"A tool box for compiler construction","volume":"Vol. 477","author":"Grosh","year":"1990"},{"year":"1985","series-title":"Communicating Sequential Processes","author":"Hoare","key":"10.1016\/S0167-6423(01)00017-X_BIB27"},{"key":"10.1016\/S0167-6423(01)00017-X_BIB28","unstructured":"INMOS Ltd., OCCAM Programming Manual, Prentice-Hall, Englewood Cliffs, NJ, 1984."},{"issue":"2","key":"10.1016\/S0167-6423(01)00017-X_BIB29","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1145\/360827.360844","article-title":"The parallel execution of DO loops","volume":"17","author":"Lamport","year":"1974","journal-title":"Comm. ACM"},{"key":"10.1016\/S0167-6423(01)00017-X_BIB30","unstructured":"B. Massingill, The mesh archetype, Tech. Report CS-TR-96-25, California Institute of Technology, 1996."},{"key":"10.1016\/S0167-6423(01)00017-X_BIB31","unstructured":"Message Passing Interface Forum, Document for a Standard Message-Passing Interface, Tech. Rep. CS-93-214, University of Tennessee, 1994."},{"key":"10.1016\/S0167-6423(01)00017-X_BIB32","unstructured":"P.A. Nelson, L. Snyder, Programming Paradigms for Non-Shared Memory Parallel Computers,in: L.H. Jamieson, D. Gannon, R. Douglass (Eds.), The Characteristics of Parallel Algorithms, MIT Press, Cambridge, 1988."},{"key":"10.1016\/S0167-6423(01)00017-X_BIB33","doi-asserted-by":"crossref","unstructured":"Parasoft corp., Express version 1.0: A Communication Environment for Parallel Computers, 1988.","DOI":"10.1145\/62297.62432"},{"issue":"35","key":"10.1016\/S0167-6423(01)00017-X_BIB34","doi-asserted-by":"crossref","first-page":"102","DOI":"10.1145\/135226.135233","article-title":"A practical algorithm for exact array dependence analysis","volume":"8","author":"Pugh","year":"1992","journal-title":"Commun. ACM"},{"key":"10.1016\/S0167-6423(01)00017-X_BIB35","unstructured":"Puma\u2014A generator for the transformation of attributed trees, Compiler Generation Report no. 26, GMD Karlsruhe, 1991."},{"key":"10.1016\/S0167-6423(01)00017-X_BIB36","doi-asserted-by":"crossref","unstructured":"D.B. Skillicorn, Architecture independent parallel computation, IEEE Computer 23 (1990) 38\u201350.","DOI":"10.1109\/2.62092"},{"issue":"4","key":"10.1016\/S0167-6423(01)00017-X_BIB37","doi-asserted-by":"crossref","first-page":"452","DOI":"10.1109\/71.97902","article-title":"A loop transformation theory and an algorithm to maximize parallelism","volume":"2","author":"Wolf","year":"1991","journal-title":"IEEE Trans. Parallel Distributed Systems"},{"year":"1996","series-title":"High Performance Compilers for Parallel Computing","author":"Wolfe","key":"10.1016\/S0167-6423(01)00017-X_BIB38"},{"key":"10.1016\/S0167-6423(01)00017-X_BIB39","unstructured":"Z. Xu, K. Hwang, Modeling communication overhead: MPI and MPL performance on the IBM SP2, IEEE Par. Distr. Technology (1996) 9\u201323."},{"year":"1990","series-title":"Supercompilers for Parallel and Vector Computers","author":"Zima","key":"10.1016\/S0167-6423(01)00017-X_BIB40"}],"container-title":["Science of Computer Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S016764230100017X?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S016764230100017X?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2024,12,5]],"date-time":"2024-12-05T17:06:23Z","timestamp":1733418383000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S016764230100017X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,7]]},"references-count":40,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[2001,7]]}},"alternative-id":["S016764230100017X"],"URL":"https:\/\/doi.org\/10.1016\/s0167-6423(01)00017-x","relation":{},"ISSN":["0167-6423"],"issn-type":[{"type":"print","value":"0167-6423"}],"subject":[],"published":{"date-parts":[[2001,7]]}}}