{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T08:13:48Z","timestamp":1759133628332},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540391104"},{"type":"electronic","value":"9783540391128"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11846802_21","type":"book-chapter","created":{"date-parts":[[2006,9,16]],"date-time":"2006-09-16T06:27:41Z","timestamp":1158388061000},"page":"105-114","source":"Crossref","is-referenced-by-count":14,"title":["Correctness Checking of MPI One-Sided Communication Using Marmot"],"prefix":"10.1007","author":[{"given":"Bettina","family":"Krammer","sequence":"first","affiliation":[]},{"given":"Michael M.","family":"Resch","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"21_CR1","unstructured":"DDD. The Data Display Debugger, http:\/\/www.gnu.org\/software\/ddd"},{"key":"21_CR2","unstructured":"DDT. The Distributed Debugging Tool, http:\/\/www.streamline-computing.com\/"},{"key":"21_CR3","unstructured":"gdb. The GNU Project Debugger, http:\/\/www.gnu.org\/manual\/gdb"},{"key":"21_CR4","unstructured":"Totalview, http:\/\/www.etnus.com\/Products\/TotalView"},{"key":"21_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1007\/11557265_43","volume-title":"Recent Advances in Parallel Virtual Machine and Message Passing Interface","author":"B. Carson","year":"2005","unstructured":"Carson, B., Mason, I.A.: ClusterGrind: Valgrinding LAM\/MPI applications. In: Di Martino, B., Kranzlm\u00fcller, D., Dongarra, J. (eds.) EuroPVM\/MPI 2005. LNCS, vol.\u00a03666, pp. 325\u2013332. Springer, Heidelberg (2005)"},{"key":"21_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1007\/11557265_21","volume-title":"Recent Advances in Parallel Virtual Machine and Message Passing Interface","author":"C. Falzone","year":"2005","unstructured":"Falzone, C., Chan, A., Lusk, E., Gropp, W.D.: Collective Error Detection for MPI Collective Operations. In: Di Martino, B., Kranzlm\u00fcller, D., Dongarra, J. (eds.) EuroPVM\/MPI 2005. LNCS, vol.\u00a03666, pp. 138\u2013147. Springer, Heidelberg (2005)"},{"key":"21_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/978-3-540-30218-6_19","volume-title":"Recent Advances in Parallel Virtual Machine and Message Passing Interface","author":"E. Gabriel","year":"2004","unstructured":"Gabriel, E., Fagg, G.E., Bosilca, G., Angskun, T., Dongarra, J.J., Squyres, J.M., Sahay, V., Kambadur, P., Barrett, B., Lumsdaine, A., Castain, R.H., Daniel, D.J., Graham, R.L., Woodall, T.S.: Open MPI: Goals, Concept, and Design of a Next Generation MPI Implementation. In: Kranzlm\u00fcller, D., Kacsuk, P., Dongarra, J. (eds.) EuroPVM\/MPI 2004. LNCS, vol.\u00a03241, pp. 97\u2013104. Springer, Heidelberg (2004)"},{"issue":"1","key":"21_CR8","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1177\/1094342005051197","volume":"19","author":"E. Gabriel","year":"2005","unstructured":"Gabriel, E., Fagg, G.E., Dongarra, J.J.: Evaluating dynamic communicators and one-sided operations for current MPI libraries. Inte\u2019l Journal of High-Performance Computing Applications\u00a019(1), 67\u201380 (2005)","journal-title":"Inte\u2019l Journal of High-Performance Computing Applications"},{"key":"21_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1007\/11557265_53","volume-title":"Recent Advances in Parallel Virtual Machine and Message Passing Interface","author":"W. Gropp","year":"2005","unstructured":"Gropp, W., Thakur, R.: An Evaluation of Implementation Options for MPI One-Sided Communication. In: Di Martino, B., Kranzlm\u00fcller, D., Dongarra, J. (eds.) EuroPVM\/MPI 2005. LNCS, vol.\u00a03666, pp. 415\u2013424. Springer, Heidelberg (2005)"},{"key":"21_CR10","doi-asserted-by":"crossref","unstructured":"Kuhn, B., DeSouza, J., de Supinski, B.R.: Automated, scalable debugging of MPI programs with Intel Message Checker. In: SE-HPCS 2005, St. Louis, Missouri, USA (2005), http:\/\/csdl.ics.hawaii.edu\/se-hpcs\/papers\/11.pdf","DOI":"10.1145\/1145319.1145342"},{"key":"21_CR11","doi-asserted-by":"crossref","unstructured":"Krammer, B., Bidmon, K., M\u00fcller, M.S., Resch, M.M.: MARMOT: An MPI Analysis and Checking Tool. In: ParCO 2003, Dresden, Germany (September 2003)","DOI":"10.1016\/S0927-5452(04)80063-7"},{"key":"21_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1007\/978-3-540-30218-6_36","volume-title":"Recent Advances in Parallel Virtual Machine and Message Passing Interface","author":"B. Krammer","year":"2004","unstructured":"Krammer, B., M\u00fcller, M.S., Resch, M.M.: MPI I\/O analysis and error detection with MARMOT. In: Kranzlm\u00fcller, D., Kacsuk, P., Dongarra, J. (eds.) EuroPVM\/MPI 2004. LNCS, vol.\u00a03241, pp. 242\u2013250. Springer, Heidelberg (2004)"},{"key":"21_CR13","unstructured":"Krammer, B., Mueller, M.S., Resch, M.M.: Runtime checking of MPI applications with MARMOT. In: ParCo 2005, Malaga, Spain (September 2005)"},{"key":"21_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"464","DOI":"10.1007\/978-3-540-24688-6_61","volume-title":"Computational Science - ICCS 2004","author":"B. Krammer","year":"2004","unstructured":"Krammer, B., M\u00fcller, M.S., Resch, M.M.: MPI Application Development Using the Analysis Tool MARMOT. In: Bubak, M., van Albada, G.D., Sloot, P.M.A., Dongarra, J. (eds.) ICCS 2004. LNCS, vol.\u00a03038, pp. 464\u2013471. Springer, Heidelberg (2004)"},{"key":"21_CR15","unstructured":"Kranzlm\u00fcller, D.: Event Graph Analysis For Debugging Massively Parallel Programs. PhD thesis, Joh. Kepler University Linz, Austria (2000)"},{"key":"21_CR16","volume-title":"IPDPS","author":"J. Liu","year":"2004","unstructured":"Liu, J., Jiang, W., Wyckoff, P., Panda, D.K., Ashton, D., Buntinas, D., Gropp, W.D., Toonen, B.R.: Design and Implementation of MPICH2 over InfiniBand with RDMA Support. In: IPDPS. IEEE Computer Society, Los Alamitos (2004)"},{"key":"21_CR17","doi-asserted-by":"publisher","first-page":"911","DOI":"10.1002\/cpe.701","volume":"14","author":"G. Luecke","year":"2002","unstructured":"Luecke, G., Zou, Y., Coyle, J., Hoekstra, J., Kraeva, M.: Deadlock Detection in MPI Programs. Concurrency and Computation: Practice and Experience\u00a014, 911\u2013932 (2002)","journal-title":"Concurrency and Computation: Practice and Experience"},{"key":"21_CR18","unstructured":"Message Passing Interface Forum. MPI: A Message Passing Interface Standard (June 1995), http:\/\/www.mpi-forum.org"},{"key":"21_CR19","unstructured":"Message Passing Interface Forum. MPI-2: Extensions to the Message Passing Interface (July 1997), http:\/\/www.mpi-forum.org"},{"key":"21_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/978-3-540-30218-6_11","volume-title":"Recent Advances in Parallel Virtual Machine and Message Passing Interface","author":"J.L. Tr\u00e4ff","year":"2004","unstructured":"Tr\u00e4ff, J.L., Worringen, J.: Verifying Collective MPI Calls. In: Kranzlm\u00fcller, D., Kacsuk, P., Dongarra, J. (eds.) EuroPVM\/MPI 2004. LNCS, vol.\u00a03241, pp. 18\u201327. Springer, Heidelberg (2004)"},{"key":"21_CR21","doi-asserted-by":"crossref","unstructured":"Vetter, J.S., de Supinski, B.R.: Dynamic Software Testing of MPI Applications with Umpire. In: SC 2000, Dallas, Texas. ACM\/IEEE. CD-ROM (2000)","DOI":"10.1109\/SC.2000.10055"}],"container-title":["Lecture Notes in Computer Science","Recent Advances in Parallel Virtual Machine and Message Passing Interface"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11846802_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T19:41:47Z","timestamp":1605642107000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11846802_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540391104","9783540391128"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/11846802_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}