{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,2]],"date-time":"2026-07-02T23:47:37Z","timestamp":1783036057657,"version":"3.54.6"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642112607","type":"print"},{"value":"9783642112614","type":"electronic"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-11261-4_5","type":"book-chapter","created":{"date-parts":[[2010,5,26]],"date-time":"2010-05-26T16:20:03Z","timestamp":1274890803000},"page":"53-66","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":38,"title":["MUST: A Scalable Approach to Runtime Error Detection in MPI Programs"],"prefix":"10.1007","author":[{"given":"Tobias","family":"Hilbrich","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Martin","family":"Schulz","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bronis R.","family":"de Supinski","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Matthias S.","family":"M\u00fcller","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2010,5,27]]},"reference":[{"key":"5_CR1","unstructured":"Message Passing Interface Forum: MPI: A Message-Passing Interface Standard. http:\/\/www.mpi-forum.org\/docs\/mpi-10.ps (1995)"},{"key":"5_CR2","unstructured":"Message Passing Interface Forum: MPI-2: Extensions to the Message-Passing Interface. http:\/\/www.mpi-forum.org\/docs\/mpi-20.ps (1997)"},{"key":"5_CR3","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\u00a013 of Advances in Parallel Computing., Elsevier (2003) 493\u2013500","DOI":"10.1016\/S0927-5452(04)80063-7"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Vetter, J.S., de\u00a0Supinski, B.R.: Dynamic Software Testing of MPI Applications with Umpire. Supercomputing, ACM\/IEEE 2000 Conference (04-10 Nov. 2000) 51\u201351","DOI":"10.1109\/SC.2000.10055"},{"key":"5_CR5","unstructured":"Schulz, M., de\u00a0Supinski, B.R.: P\n                N\n              MPI Tools: A Whole Lot Greater Than the Sum of Their Parts. In: Supercomputing 2007 (SC\u201907). (2007)"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Hilbrich, T., de\u00a0Supinski, B.R., Schulz, M., M\u00fcller, M.S.: A Graph Based Approach for MPI Deadlock Detection. In: ICS \u201909: Proceedings of the 23rd international conference on Supercomputing, New York, NY, USA, ACM (2009) 296\u2013305","DOI":"10.1145\/1542275.1542319"},{"issue":"11","key":"5_CR7","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 14(11) (2002) 911\u2013932","journal-title":"Concurrency and Computation: Practice and Experience"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Vakkalanka, S.S., Sharma, S., Gopalakrishnan, G., Kirby, R.M.: ISP: A Tool for Model Checking MPI Programs. In: PPoPP \u201908: Proceedings of the 13th ACM SIGPLAN Symposium on Principles and practice of parallel programming, New York, NY, USA, ACM (2008) 285\u2013286","DOI":"10.1145\/1345206.1345258"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Roth, P.C., Arnold, D.C., Miller, B.P.: MRNet: A Software-Based Multicast\/Reduction Network for Scalable Tools. In: SC \u201903: Proceedings of the 2003 ACM\/IEEE conference on Supercomputing, Washington, DC, USA, IEEE Computer Society (2003) 21","DOI":"10.1145\/1048935.1050172"},{"key":"5_CR10","unstructured":"Brunst, H., Kranzlm\u00fcller, D., Nagel, W.E.: Tools for Scalable Parallel Program Analysis - Vampir NG and DeWiz. The International Series in Engineering and Computer Science, Distributed and Parallel Systems 777 (2005) 92\u2013102"},{"key":"5_CR11","unstructured":"Wolf, F., Wylie, B., Abraham, E., Becker, D., Frings, W., Fuerlinger, K., Geimer, M., Hermanns, M., Mohr, B., Moore, S., Szebenyi, Z.: Usage of the SCALASCA Toolset for Scalable Performance Analysis of Large-Scale Parallel Applications. In: Proceedings of the 2nd HLRS Parallel Tools Workshop, Stuttgart, Germany (July 2008)"},{"key":"5_CR12","unstructured":"Edwards, D.J., Minsky, M.L.: Recent Improvements in DDT. Technical report, Alinea, Cambridge, MA, USA (1963)"},{"key":"5_CR13","unstructured":"Totalview Technologies: Totalview - Parallel and Thread Debugger. http:\/\/www.totalviewtech.com\/products\/totalview.html (July 2009)"}],"container-title":["Tools for High Performance Computing 2009"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-11261-4_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,30]],"date-time":"2023-01-30T13:37:55Z","timestamp":1675085875000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-11261-4_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642112607","9783642112614"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-11261-4_5","relation":{},"subject":[],"published":{"date-parts":[[2010]]},"assertion":[{"value":"27 May 2010","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}