{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,15]],"date-time":"2025-08-15T01:22:33Z","timestamp":1755220953540,"version":"3.43.0"},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2000,11,1]],"date-time":"2000-11-01T00:00:00Z","timestamp":973036800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2000,11,1]],"date-time":"2000-11-01T00:00:00Z","timestamp":973036800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The Journal of Supercomputing"],"published-print":{"date-parts":[[2000,11]]},"DOI":"10.1023\/a:1026571525145","type":"journal-article","created":{"date-parts":[[2003,11,6]],"date-time":"2003-11-06T12:11:16Z","timestamp":1068120676000},"page":"299-310","source":"Crossref","is-referenced-by-count":0,"title":["Reducing Parallel Program Simulation Complexity by Static Analysis"],"prefix":"10.1007","volume":"17","author":[{"given":"Rocco","family":"Aversa","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Beniamino","family":"Di Martino","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicola","family":"Mazzocca","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Umberto","family":"Villano","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"277530_CR1","doi-asserted-by":"crossref","unstructured":"R. Aversa, A. Mazzeo, N. Mazzocca and U. Villano. Heterogeneous system performance prediction and analysis using PS IEEE concurrency, 6(3), 1998.","DOI":"10.1109\/4434.708252"},{"key":"277530_CR2","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/0928-4869(95)00019-4","volume":"4","author":"R. Aversa","year":"1996","unstructured":"R. Aversa, N. Mazzocca and U. Villano. Design of a simulator of heterogeneous computing environments. Simulation Practice and Theory, 4:97-117, 1996.","journal-title":"Simulation Practice and Theory"},{"key":"277530_CR3","doi-asserted-by":"crossref","unstructured":"E. A. Brewer and W. E. Weihl. Developing parallel applications using high-performance simulation. In Proc. 1993 ONR\/ACM Workshop on Parallel and Distr. Debugging, 1993.","DOI":"10.1145\/174266.168848"},{"key":"277530_CR4","volume-title":"Proc. of 2nd Working Conference on Reverse Engineering","author":"A. Cimitile","year":"1995","unstructured":"A. Cimitile, A. De Lucia and M. Munro. Qualifying reusable functions using symbolic execution, Proc. of 2nd\nWorking Conference on Reverse Engineering. IEEE CS Press, Toronto, Canada, Aug. 1995."},{"key":"277530_CR5","doi-asserted-by":"crossref","unstructured":"T. Fahringer. Automatic Performance Prediction of Parallel Programs. Kluwer Academic, 1996.","DOI":"10.1007\/978-1-4613-1371-7"},{"issue":"3","key":"277530_CR6","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1145\/24039.24041","volume":"9","author":"J. Ferrante","year":"1987","unstructured":"J. Ferrante, K. Ottenstein and J. Warren. The program dependence graph and its use in optimization, ACM Trans. Programming Languages and Systems, 9(3):319-349, 1987.","journal-title":"ACM Trans. Programming Languages and Systems"},{"key":"277530_CR7","unstructured":"M. Froehlich and M. Werner. The graph visualization system daVinci\u2013\u2013A user interface for applications. Technical report n. 5\/94. Department of Computer Science, Universitaet Bremen, September 1994."},{"key":"277530_CR8","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5712.001.0001","volume-title":"PVM: Parallel Virtual Machine\u2013\u2013A Users Guide and Tutorial for Networked Parallel Computing","author":"A. Geist","year":"1994","unstructured":"A. Geist et al. PVM: Parallel Virtual Machine\u2013\u2013A Users Guide and Tutorial for Networked Parallel Computing. MIT Press, Cambridge, 1994."},{"key":"277530_CR9","doi-asserted-by":"crossref","first-page":"106","DOI":"10.1007\/3-540-53669-8_77","volume":"477","author":"J. Grosh","year":"1990","unstructured":"J. Grosh and H. Emmelmann. A tool box for compiler construction, Lecture Notes in Computer Science, pp. 106-116. Springer-Verlag, n. 477, Oct. 1990.","journal-title":"Lecture Notes in Computer Science"},{"issue":"6","key":"277530_CR10","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1109\/2.214439","volume":"26","author":"A. Khokhar","year":"1993","unstructured":"A. Khokhar, V. K. Prasanna M. E. Shaaban and C. Wang. Heterogeneous computing: challenges and opportunities. IEEE Computer, 26(6):18-27, 1993.","journal-title":"IEEE Computer"},{"key":"277530_CR11","first-page":"54","volume-title":"Proceedings of 5th Euromicro Workshop on Parallel and Distributed Processing","author":"A. Mazzeo","year":"1997","unstructured":"A. Mazzeo, N. Mazzocca and U. Villano. On the evaluation of efficiency in heterogeneous distributed systems. Proceedings of 5th Euromicro Workshop on Parallel and Distributed Processing. pp. 54-59. IEEE CS Press, London, 22-24 Gennaio 1997."},{"issue":"11","key":"277530_CR12","first-page":"16","volume":"28","author":"C. M. Pancake","year":"1995","unstructured":"C. M. Pancake, M. L. Simmons and J. C. Yan. Performance evaluation tools for parallel and distributed systems. IEEE Computer, 28(11):16-19, 1995.","journal-title":"IEEE Computer"},{"issue":"35","key":"277530_CR13","doi-asserted-by":"crossref","first-page":"102","DOI":"10.1145\/135226.135233","volume":"8","author":"W. Pugh","year":"1992","unstructured":"W. Pugh. A practical algorithm for exact array dependence analysis, Communications of ACM, 8(35):102-115, 1992.","journal-title":"Communications of ACM"},{"key":"277530_CR14","unstructured":"Puma\u2013\u2013A generator for the transformation of attributed trees. Compiler generation report n. 26,GMD Karlsruhe, July 1991."},{"key":"277530_CR15","volume-title":"Supercompilers for Parallel and Vector Computers","author":"H. Zima","year":"1990","unstructured":"H. Zima and B. Chapman. Supercompilers for Parallel and Vector Computers. ACM Press, New York, NY, 1990."},{"key":"277530_CR16","unstructured":"B. DiMartino, A. Mazzeo, N. Mazzocca and U. Villano. Automatic Detection of Interaction Patterns for Parallel Program Analysis and Development. Proceedings of 6th International Workshop on Program Comprehension, Ischia (1). IEEE CS Press, 24-26. June 1998."}],"container-title":["The Journal of Supercomputing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1026571525145.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1026571525145\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1026571525145.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,8]],"date-time":"2025-08-08T05:19:21Z","timestamp":1754630361000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1026571525145"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000,11]]},"references-count":16,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2000,11]]}},"alternative-id":["277530"],"URL":"https:\/\/doi.org\/10.1023\/a:1026571525145","relation":{},"ISSN":["0920-8542","1573-0484"],"issn-type":[{"type":"print","value":"0920-8542"},{"type":"electronic","value":"1573-0484"}],"subject":[],"published":{"date-parts":[[2000,11]]}}}