{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,3]],"date-time":"2024-07-03T13:23:23Z","timestamp":1720013003120},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2009,4,22]],"date-time":"2009-04-22T00:00:00Z","timestamp":1240358400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Parallel Prog"],"published-print":{"date-parts":[[2009,6]]},"DOI":"10.1007\/s10766-009-0099-4","type":"journal-article","created":{"date-parts":[[2009,4,21]],"date-time":"2009-04-21T11:26:11Z","timestamp":1240313171000},"page":"277-291","source":"Crossref","is-referenced-by-count":4,"title":["MPI Correctness Checking for OpenMP\/MPI Applications"],"prefix":"10.1007","volume":"37","author":[{"given":"Tobias","family":"Hilbrich","sequence":"first","affiliation":[]},{"given":"Matthias S.","family":"M\u00fcller","sequence":"additional","affiliation":[]},{"given":"Bettina","family":"Krammer","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2009,4,22]]},"reference":[{"key":"99_CR1","doi-asserted-by":"crossref","unstructured":"Smith, L., Bull, M.: Development of mixed mode MPI\/OpenMP applications. In: Scientific Programming, 9(2-3\/2001):83G98. Presented at Workshop on OpenMP Applications and Tools (WOMPAT 2000), pp. 6\u20137 (2000)","DOI":"10.1155\/2001\/450503"},{"key":"99_CR2","doi-asserted-by":"crossref","unstructured":"Drosinos, N., Koziris, N.: Performance comparison of pure MPI vs. hybrid MPI-OpenMP parallelization models on SMP clusters. In: Parallel and Distributed Processing Symposium, International, vol. 1, p. 15a (2004)","DOI":"10.1109\/IPDPS.2004.1302919"},{"key":"99_CR3","doi-asserted-by":"crossref","unstructured":"Rabenseifner, R.: Communication bandwidth of parallel programming models on hybrid architectures. In: ISHPC \u201902: Proceedings of the 4th International Symposium on High Performance Computing, London, UK, pp. 401\u2013412. Springer-Verlag (2002)","DOI":"10.1007\/3-540-47847-7_37"},{"key":"99_CR4","unstructured":"Message Passing Interface Forum: MPI-2: Extensions to the Message-Passing Interface, 1997. http:\/\/www.mpi-forum.org\/docs\/mpi-20.ps"},{"key":"99_CR5","unstructured":"Message Passing Interface Forum.: MPI: A Message-Passing Interface Standard, 1995. http:\/\/www.mpi-forum.org\/docs\/mpi-10.ps"},{"key":"99_CR6","doi-asserted-by":"crossref","unstructured":"Vetter, J.S., de Supinski, B.R.: Dynamic software testing of MPI applications with umpire. In: Supercomputing \u201900: Proceedings of the 2000 ACM\/IEEE Conference on Supercomputing (CDROM), Washington, DC, USA, p. 51. IEEE Computer Society (2000)","DOI":"10.1109\/SC.2000.10055"},{"issue":"11","key":"99_CR7","doi-asserted-by":"crossref","first-page":"911","DOI":"10.1002\/cpe.701","volume":"14","author":"G.R. Luecke","year":"2002","unstructured":"Luecke G.R., Zou Y., Coyle J., Hoekstra J., Kraeva M.: Deadlock detection in MPI programs. Concurr. Comput. Pract. Experience 14(11), 911\u2013932 (2002)","journal-title":"Concurr. Comput. Pract. Experience"},{"key":"99_CR8","doi-asserted-by":"crossref","unstructured":"DeSouza, J., Kuhn, B., de Supinski, B.R., Samofalov, V., Zheltov, S., Bratanov, S.: Automated, scalable debugging of MPI programs with Intel\u00ae Message Checker. In: SE-HPCS \u201905: Proceedings of the Second International Workshop on Software Engineering for High Performance Computing System Applications, New York, NY, USA, pp. 78\u201382. ACM (2005)","DOI":"10.1145\/1145319.1145342"},{"key":"99_CR9","doi-asserted-by":"crossref","unstructured":"Krammer, B., Bidmon, K., M\u00fcller, M.S., Resch, M.M.: MARMOT: an MPI analysis and checking tool. In: Joubert, G.R., Nagel, W.E., Peters, F.J., Walter, W.V. (eds.) PARCO. Volume 13 of Advances in Parallel Computing, pp. 493\u2013500. Elsevier (2003)","DOI":"10.1016\/S0927-5452(04)80063-7"},{"key":"99_CR10","unstructured":"Intel Corporation: Intel Thread Checker (2008). http:\/\/www.intel.com\/support\/performancetools\/threadchecker"},{"key":"99_CR11","unstructured":"SUN Microsystems: Thread Analyzer (2008). http:\/\/developers.sun.com\/sunstudio\/downloads\/tha"},{"issue":"5","key":"99_CR12","doi-asserted-by":"crossref","first-page":"609","DOI":"10.1002\/cpe.1085","volume":"19","author":"A. Gel","year":"2007","unstructured":"Gel A., Pannala S., Syamlal M., O\u2019Brien T.J., Gel E.S.: Comparison of frameworks for a next-generation multiphase flow solver, MFIX: a group decision-making exercise. Concurr. Comput. Pract. Experience 19(5), 609\u2013624 (2007)","journal-title":"Concurr. Comput. Pract. Experience"},{"key":"99_CR13","doi-asserted-by":"crossref","unstructured":"Michalakes, J., Dudhia, J., Gill, D., Henderson, T., Klemp, J., Skamarock, W., Wang, W.: The weather reseach and forecast model: software architecture and performance. In: Mozdzynski, G. (ed.) 11th ECMWF Workshop on the Use of High Performance Computing in Meteorology, pp. 25\u201329 (2004)","DOI":"10.1142\/9789812701831_0012"},{"key":"99_CR14","doi-asserted-by":"crossref","unstructured":"Rabenseifner, R., Koniges, A.E.: The parallel communication and I\/O bandwidth benchmarks: b_eff and b_eff_io. In: Proceedings of 43rd Cray User Group Conference, Indian (2001)","DOI":"10.1007\/3-540-45417-9_9"},{"issue":"5","key":"99_CR15","doi-asserted-by":"crossref","first-page":"674","DOI":"10.1016\/j.jpdc.2005.06.016","volume":"66","author":"H. Jin","year":"2006","unstructured":"Jin H., der Wijngaart R.F.V.: Performance characteristics of the multi-zone NAS parallel benchmarks. J. Parallel Distrib. Comput. 66(5), 674\u2013685 (2006)","journal-title":"J. Parallel Distrib. Comput."},{"issue":"9","key":"99_CR16","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1016\/j.entcs.2007.04.004","volume":"174","author":"A. M\u00fchlenfeld","year":"2007","unstructured":"M\u00fchlenfeld A., Wotawa F.: Fault detection in multi-threaded c++ server applications. Electron. Notes Theor. Comput. Sci. 174(9), 5\u201322 (2007)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"99_CR17","doi-asserted-by":"crossref","unstructured":"Schulz, M., de Supinski, B.R.: P N MPI tools a whole lot greater than the sum of their parts. In: Supercomputing 2007 (SC\u201907) (2007)","DOI":"10.1145\/1362622.1362663"},{"key":"99_CR18","unstructured":"Vetter, J., Chambreau, C.: mpiP: Lightweight, Scalable MPI Profiling (2005). http:\/\/www.llnl.gov\/CASC\/mpip\/"},{"issue":"1","key":"99_CR19","first-page":"69","volume":"12","author":"W.E. Nagel","year":"1996","unstructured":"Nagel W.E., Arnold A., Weber M., Hoppe H.C., Solchenbach K.: VAMPIR: visualization and analysis of MPI resources. Supercomputer 12(1), 69\u201380 (1996)","journal-title":"Supercomputer"},{"key":"99_CR20","unstructured":"Brunst, H., Kranzlm\u00fcller, D., Nagel, W.: Tools for scalable parallel program analysis\u2014Vampir NG and DeWiz. In: The International Series in Engineering and Computer Science, vol. 777, pp. 92\u2013102 (2005)"},{"issue":"3","key":"99_CR21","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1177\/109434209901300310","volume":"13","author":"O. Zaki","year":"1999","unstructured":"Zaki O., Lusk E., Gropp W., Swider D.: Toward Scalable Performance Visualization with Jumpshot. Int. J. High Perform. Comput. Appl. 13(3), 277\u2013288 (1999)","journal-title":"Int. J. High Perform. Comput. Appl."}],"container-title":["International Journal of Parallel Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10766-009-0099-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10766-009-0099-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10766-009-0099-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T23:59:26Z","timestamp":1559260766000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10766-009-0099-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,4,22]]},"references-count":21,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2009,6]]}},"alternative-id":["99"],"URL":"https:\/\/doi.org\/10.1007\/s10766-009-0099-4","relation":{},"ISSN":["0885-7458","1573-7640"],"issn-type":[{"value":"0885-7458","type":"print"},{"value":"1573-7640","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,4,22]]}}}