{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T05:06:27Z","timestamp":1745989587195},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540795605"},{"type":"electronic","value":"9783540795612"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-79561-2_3","type":"book-chapter","created":{"date-parts":[[2008,4,30]],"date-time":"2008-04-30T12:31:41Z","timestamp":1209558701000},"page":"26-35","source":"Crossref","is-referenced-by-count":5,"title":["Detection of Violations to the MPI Standard in Hybrid OpenMP\/MPI Applications"],"prefix":"10.1007","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","reference":[{"key":"3_CR1","series-title":"Advances in Parallel Computing","first-page":"493","volume-title":"PARCO","author":"B. Krammer","year":"2003","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. Advances in Parallel Computing, vol.\u00a013, pp. 493\u2013500. Elsevier, Amsterdam (2003)"},{"unstructured":"Message Passing Interface Forum: MPI-2: Extensions to the Message-Passing Interface (1997), \n                      \n                        http:\/\/www.mpi-forum.org\/docs\/mpi-20.ps","key":"3_CR2"},{"unstructured":"Message Passing Interface Forum: MPI: A Message-Passing Interface Standard (1995), \n                      \n                        http:\/\/www.mpi-forum.org\/docs\/mpi-10.ps","key":"3_CR3"},{"key":"3_CR4","first-page":"51","volume-title":"Supercomputing 2000: Proceedings of the 2000 ACM\/IEEE conference on Supercomputing (CDROM)","author":"J.S. Vetter","year":"2000","unstructured":"Vetter, J.S., de Supinski, B.R.: Dynamic software testing of MPI applications with umpire. In: Supercomputing 2000: Proceedings of the 2000 ACM\/IEEE conference on Supercomputing (CDROM), Washington, DC, USA, p. 51. IEEE Computer Society, Los Alamitos (2000)"},{"issue":"11","key":"3_CR5","doi-asserted-by":"publisher","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.. Concurrency and Computation: Practice and Experience\u00a014(11), 911\u2013932 (2002)","journal-title":"Concurrency and Computation: Practice and Experience"},{"key":"3_CR6","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1145\/1145319.1145342","volume-title":"SE-HPCS 2005: Proceedings of the second international workshop on Software engineering for high performance computing system applications","author":"J. DeSouza","year":"2005","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 2005: Proceedings of the second international workshop on Software engineering for high performance computing system applications, pp. 78\u201382. ACM, New York (2005)"},{"issue":"1","key":"3_CR7","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1145\/130616.130623","volume":"1","author":"R.H.B. Netzer","year":"1992","unstructured":"Netzer, R.H.B., Miller, B.P.: What are race conditions?: Some issues and formalizations. ACM Lett. Program. Lang. Syst.\u00a01(1), 74\u201388 (1992)","journal-title":"ACM Lett. Program. Lang. Syst."}],"container-title":["Lecture Notes in Computer Science","OpenMP in a New Era of Parallelism"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-79561-2_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,1]],"date-time":"2019-03-01T19:58:32Z","timestamp":1551470312000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-79561-2_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540795605","9783540795612"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-79561-2_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}