{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:01:49Z","timestamp":1725566509014},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540231639"},{"type":"electronic","value":"9783540302186"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-30218-6_39","type":"book-chapter","created":{"date-parts":[[2010,9,21]],"date-time":"2010-09-21T20:28:21Z","timestamp":1285100901000},"page":"268-276","source":"Crossref","is-referenced-by-count":4,"title":["Detecting Unaffected Race Conditions in Message-Passing 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":"39_CR1","doi-asserted-by":"publisher","first-page":"729","DOI":"10.1109\/IPPS.1994.288223","volume-title":"8th Int\u2019l Parallel Proc. Symp.","author":"R. Cypher","year":"1994","unstructured":"Cypher, R., Leu, E.: The Semantics of Blocking and Nonblocking Send and Receive Primitives. In: 8th Int\u2019l Parallel Proc. Symp., April 1994, pp. 729\u2013735. IEEE, Los Alamitos (1994)"},{"key":"39_CR2","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, August 1994, pp. 216\u2013227. ACM, New York (1994)"},{"key":"39_CR3","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1145\/68210.69233","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, May 1988, pp. 183\u2013194. ACM, New York (1988)"},{"key":"39_CR4","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5712.001.0001","volume-title":"A Users\u2019 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\u2019 Guide and Tutorial for Networked Parallel Computing, MIT Press, Cambridge (1994)"},{"key":"39_CR5","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":"39_CR6","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)"},{"key":"39_CR7","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":"39_CR8","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1145\/238020.238054","volume-title":"Sigmetrics Symp. on Parallel and Distributed Tools","author":"D. Kranzlm\u00fcller","year":"1996","unstructured":"Kranzlm\u00fcller, D., Grabner, S., Volkert, J.: Event Graph Visualization for Debugging Large Applications. In: Sigmetrics Symp. on Parallel and Distributed Tools, May 1996, pp. 108\u2013117. ACM, Philadelphia (1996)"},{"key":"39_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1007\/3-540-45825-5_53","volume-title":"Recent Advances in Parallel Virtual Machine and Message Passing Interface","author":"D. Kranzlm\u00fcller","year":"2002","unstructured":"Kranzlm\u00fcller, D., Schulz, M.: Notes on Nondeterminism in Message Passing Programs. In: Kranzlm\u00fcller, D., Kacsuk, P., Dongarra, J., Volkert, J. (eds.) PVM\/MPI 2002. LNCS, vol.\u00a02474, pp. 357\u2013367. Springer, Heidelberg (2002)"},{"key":"39_CR10","volume-title":"Workshop on Visual Methods for Parallel and Distributed Programming, at Symp. on Visual Languages","author":"D. Kranzlm\u00fcller","year":"2000","unstructured":"Kranzlm\u00fcller, D., Volkert, J.: Why Debugging Parallel Programs Needs Visualization. In: Workshop on Visual Methods for Parallel and Distributed Programming, at Symp. on Visual Languages, September 2000, IEEE, Seattle (2000)"},{"key":"39_CR11","unstructured":"Kranzlm\u00fcller, D.: Event Graph Analysis for Debugging Massively Parallel Programs, Ph.D. Dissertation, Joh. Kepler University Linz, Austria (September 2000)"},{"issue":"7","key":"39_CR12","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":"39_CR13","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, December 2002, pp. 35\u201344. IEEE, Los Alamitos (2002)"},{"key":"39_CR14","first-page":"239","volume-title":"19th Annual Symp. on Principles of Distributed Computing","author":"N. Mittal","year":"2000","unstructured":"Mittal, N., Garg, V.K.: Debugging Distributed Programs using Controlled Re-execution. In: 19th Annual Symp. on Principles of Distributed Computing, pp. 239\u2013248. ACM, Portland (2000)"},{"key":"39_CR15","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 (1989)"},{"key":"39_CR16","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1145\/238020.238033","volume-title":"Sigmetrics Symp. on Parallel and Distributed Tools","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: Sigmetrics Symp. on Parallel and Distributed Tools, May 1996, pp. 31\u201340. ACM, New York (1996)"},{"key":"39_CR17","doi-asserted-by":"crossref","unstructured":"Netzer, R.H.B., Miller, B.P.: Optimal Tracing and Replay for Debugging Message-Passing Parallel Programs. In: Supercomputing, November 1992, pp. 502\u2013511. IEEE\/ACM (1992)","DOI":"10.1109\/SUPERC.1992.236654"},{"key":"39_CR18","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":"39_CR19","first-page":"261","volume-title":"Int\u2019l Conf. Distributed Computing Systems","author":"K.C. Tai","year":"1997","unstructured":"Tai, K.C.: Race Analysis of Traces of Asynchronous Message-Passing Programs. In: Int\u2019l Conf. Distributed Computing Systems, May 1997, pp. 261\u2013268. IEEE, Los Alamitos (1997)"}],"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\/978-3-540-30218-6_39.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:50:16Z","timestamp":1605761416000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-30218-6_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540231639","9783540302186"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-30218-6_39","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}