{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,9]],"date-time":"2025-01-09T05:29:47Z","timestamp":1736400587450,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540338093"},{"type":"electronic","value":"9783540338109"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11745693_19","type":"book-chapter","created":{"date-parts":[[2006,4,29]],"date-time":"2006-04-29T02:11:52Z","timestamp":1146276712000},"page":"187-196","source":"Crossref","is-referenced-by-count":3,"title":["Detecting Unaffected Message Races in Parallel Programs"],"prefix":"10.1007","author":[{"given":"Mi-Young","family":"Park","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yong-Kee","family":"Jun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"19_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/978-3-540-45209-6_11","volume-title":"Euro-Par 2003 Parallel Processing","author":"A.P. Claudio","year":"2003","unstructured":"Claudio, A.P., Cunha, J.D.: A Race Detection Mechanism Embedded in a Conceptual Model for the Debugging of Message-Passing Distributed Programs. In: Kosch, H., B\u00f6sz\u00f6rm\u00e9nyi, L., Hellwagner, H. (eds.) Euro-Par 2003. LNCS, vol.\u00a02790, pp. 57\u201365. Springer, Heidelberg (2003)"},{"key":"19_CR2","doi-asserted-by":"crossref","first-page":"534","DOI":"10.1109\/SPDP.1995.530730","volume-title":"7th Symp. on Parallel and Distributed Processing","author":"R. Cypher","year":"1995","unstructured":"Cypher, R., Leu, E.: Efficient Race Detection for Message-Passing Programs with Nonblocking Sends and Receives. In: 7th Symp. on Parallel and Distributed Processing, pp. 534\u2013541. IEEE, Los Alamitos (1995)"},{"key":"19_CR3","series-title":"Sigplan Notices","first-page":"118","volume-title":"ACM\/ONR Workshop on Parallel and Distributed Debugging","author":"S.K. Damodaran-Kamal","year":"1993","unstructured":"Damodaran-Kamal, S.K., Francioni, J.M.: Nondeterminacy: Testing and Debugging in Message Passing Parallel Programs. In: ACM\/ONR Workshop on Parallel and Distributed Debugging. Sigplan Notices, vol.\u00a028(12), pp. 118\u2013128. ACM, New York (1993)"},{"key":"19_CR4","first-page":"216","volume-title":"Int\u2019l Symp. on Software Testing and Analysis","author":"S.K. Damodaran-Kamal","year":"1994","unstructured":"Damodaran-Kamal, S.K., Francioni, J.M.: Testing Races in Parallel Programs with an OtOt Strategy. In: Int\u2019l Symp. on Software Testing and Analysis, pp. 216\u2013227. ACM, New York (1994)"},{"key":"19_CR5","first-page":"183","volume-title":"SIGPLAN\/SIGOPS Workshop on Parallel and Distributed Debugging","author":"C.J. Fidge","year":"1988","unstructured":"Fidge, C.J.: Partial Orders for Parallel Debugging. In: SIGPLAN\/SIGOPS Workshop on Parallel and Distributed Debugging, pp. 183\u2013194. ACM, New York (1988)"},{"key":"19_CR6","volume-title":"The Grid: Blueprint for a New Computing Infrastructure","author":"I. Foster","year":"1999","unstructured":"Foster, I., Kesselman, C.: The Grid: Blueprint for a New Computing Infrastructure. Morgan-Kaufmann, San Francisco (1999)"},{"key":"19_CR7","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5712.001.0001","volume-title":"A Users Guide and Tutorial for Networked Parallel Computing","author":"A. Geist","year":"1994","unstructured":"Geist, A., Beguelin, A., Dongarra, J., Jiang, W., Manchek, R., Sunderam, V.: PVM: Parallel Virtual Machine. In: A Users Guide and Tutorial for Networked Parallel Computing. MIT Press, Cambridge (1994)"},{"key":"19_CR8","doi-asserted-by":"crossref","unstructured":"Gropp, W., Lusk, E.: User\u2019s Guide for Mpich, A Portable Implementation of MPI, TR-ANL-96\/6, Argonne National Laboratory (1996)","DOI":"10.2172\/378911"},{"key":"19_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1007\/3-540-48158-3_2","volume-title":"Recent Advances in Parallel Virtual Machine and Message Passing Interface","author":"W. Gropp","year":"1999","unstructured":"Gropp, W., Lusk, E.: Reproducible Measurements of MPI Performance Characteristics. In: Margalef, T., Dongarra, J., Luque, E. (eds.) PVM\/MPI 1999. LNCS, vol.\u00a01697, pp. 11\u201318. Springer, Heidelberg (1999)"},{"issue":"5","key":"19_CR10","doi-asserted-by":"publisher","first-page":"551","DOI":"10.1016\/S0743-7315(03)00002-9","volume":"63","author":"N. Karonis","year":"2003","unstructured":"Karonis, N., Toonen, B., Foster, I.: MPICH-G2: A Grid-Enabled Implementation of the Message Passing Interface. J. of Parallel and Distributed Computing\u00a063(5), 551\u2013563 (2003)","journal-title":"J. of Parallel and Distributed Computing"},{"key":"19_CR11","doi-asserted-by":"crossref","unstructured":"Kilgore, R., Chase, C.: Re-execution of Distributed Programs to Detect Bugs Hidden by Racing Messages. In: 30th Annual Hawaii Int\u2019l. Conf. on System Sciences, January 1997, vol.\u00a01, pp. 423\u2013432 (1997)","DOI":"10.1109\/HICSS.1997.667295"},{"key":"19_CR12","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)"},{"issue":"7","key":"19_CR13","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L. Lamport","year":"1978","unstructured":"Lamport, L.: Time, Clocks, and the Ordering of Events in a Distributed System. Communications of the ACM\u00a021(7), 558\u2013565 (1978)","journal-title":"Communications of the ACM"},{"key":"19_CR14","first-page":"35","volume-title":"8th Int\u2019l Conf. on Engineering of Complex Computer Systems","author":"Y. Lei","year":"2002","unstructured":"Lei, Y., Tai, K.: Efficient Reachability Testing of Asynchronous Message- Passing Programs. In: 8th Int\u2019l Conf. on Engineering of Complex Computer Systems, pp. 35\u201344. IEEE, Los Alamitos (2002)"},{"key":"19_CR15","unstructured":"Mucci, P.J., London, K.: The MPBench Report, CEWES MSRC\/PET TR- 98-26, Nichols Research, Programming Environment Training (PET), Major Shred Res. Center (MSRC), DoD HPC Modernization Program CEWES (March 1998)"},{"key":"19_CR16","first-page":"215","volume-title":"Parallel and Distributed Algorithms","author":"F. Mattern","year":"1989","unstructured":"Mattern, F.: Virtual Time and Global States of Distributed Systems. In: Parallel and Distributed Algorithms, pp. 215\u2013226. Elsevier Science, North Holland, Amsterdam (1989)"},{"key":"19_CR17","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1145\/238020.238033","volume-title":"ACM Sigmetrics Symp. on Parallel and Distributed Tools (SPDT)","author":"R.H.B. Netzer","year":"1996","unstructured":"Netzer, R.H.B., Brennan, T.W., Damodaran-Kamal, S.K.: Debugging Race Conditions in Message-Passing Programs. In: ACM Sigmetrics Symp. on Parallel and Distributed Tools (SPDT), pp. 31\u201340. ACM, New York (1996)"},{"key":"19_CR18","doi-asserted-by":"crossref","unstructured":"Netzer, R.H.B., Miller, B.P.: Optimal Tracing and Replay for Debugging Message-Passing Parallel Programs. In: Int\u2019l Conf. on High Perf. Networking and Computing, Minneapolis, Minn., November 1992, pp. 502\u2013511. ACM\/IEEE (1992)","DOI":"10.1109\/SUPERC.1992.236654"},{"key":"19_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1007\/978-3-540-30218-6_39","volume-title":"Recent Advances in Parallel Virtual Machine and Message Passing Interface","author":"M. Park","year":"2004","unstructured":"Park, M., Jun, Y.: Detecting Unaffected Race Conditions in Message-Passing Programs. In: Kranzlm\u00fcller, D., Kacsuk, P., Dongarra, J. (eds.) EuroPVM\/MPI 2004. LNCS, vol.\u00a03241, pp. 268\u2013276. Springer, Heidelberg (2004)"},{"key":"19_CR20","unstructured":"Pallas GmbH, Pallas MPI Benchmarks - PMB, Pallas GmbH, Hermuelheimer Street 10, 50321 Bruehl, Germany (March 2000)"},{"key":"19_CR21","doi-asserted-by":"crossref","unstructured":"Park, M., Kim, Y., Kang, M., Jun, Y.: Improving On-the-fly Race Detection for Message-Passing Programs. In: Int\u2019l. Conf. of Computational Methods in Sciences and Engineering (ICCMSE), Korinthos, Greece. Lecture Series on Computer and Computational Science, vol.\u00a04, pp. 449\u2013454. Brill Academic (2005)","DOI":"10.1201\/9780429077166-108"},{"key":"19_CR22","unstructured":"Park, M., Park, S., Bae, S., Jun, Y.: Scalable Race Visualization for Debugging Message-Passing Programs. In: Workshop on State-of-the-Art in Scientific Computing (PARA), Copenhagen, Denmark, June 2004, pp. 179\u2013188 (2004)"},{"key":"19_CR23","volume-title":"MPI: The Complete Reference","author":"M. Snir","year":"1996","unstructured":"Snir, M., Otto, S., Huss-Lederman, S., Walker, D., Dongarra, J.: MPI: The Complete Reference. MIT Press, Cambridge (1996)"},{"key":"19_CR24","first-page":"261","volume-title":"Int\u2019l. Conf. on Dist. Computing Systems (ICDCS)","author":"K.C. Tai","year":"1997","unstructured":"Tai, K.C.: Race Analysis of Traces of Asynchronous Message-Passing Programs. In: Int\u2019l. Conf. on Dist. Computing Systems (ICDCS), pp. 261\u2013268. IEEE, Los Alamitos (1997)"},{"key":"19_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/978-3-540-30208-7_21","volume-title":"Grid and Cooperative Computing - GCC 2004","author":"W. Wang","year":"2004","unstructured":"Wang, W., Fang, B., Zhang, H., Yao, Y.: Ad Hoc Debugging Environment for Grid Applications. In: Jin, H., Pan, Y., Xiao, N., Sun, J. (eds.) GCC 2004. LNCS, vol.\u00a03251, pp. 113\u2013120. Springer, Heidelberg (2004)"}],"container-title":["Lecture Notes in Computer Science","Advances in Grid and Pervasive Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11745693_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,8]],"date-time":"2025-01-08T19:09:20Z","timestamp":1736363360000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11745693_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540338093","9783540338109"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/11745693_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}