{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T09:10:15Z","timestamp":1737364215290,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540442967"},{"type":"electronic","value":"9783540458258"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45825-5_53","type":"book-chapter","created":{"date-parts":[[2007,8,11]],"date-time":"2007-08-11T15:05:39Z","timestamp":1186844739000},"page":"357-367","source":"Crossref","is-referenced-by-count":9,"title":["Notes on Nondeterminism in Message Passing Programs"],"prefix":"10.1007","author":[{"given":"Dieter","family":"Kranzlm\u00fcller","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Schulz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,9,18]]},"reference":[{"volume-title":"High Performance Cluster Computing-Architectures and Systems","year":"1999","key":"53_CR1","unstructured":"R. Buyya (Ed.). High Performance Cluster Computing-Architectures and Systems, Vol. 1, and High Performance Cluster Computing-Programming and Applications, Vol. 2, Prentice-Hall PTR, New Jersey, USA (1999)."},{"key":"53_CR2","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1109\/52.73751","volume":"8","author":"R. H. Carver","year":"1991","unstructured":"R. H. Carver and K.C. Tai. Replay and Testing for Concurrent Programs. IEEE Software, Vol. 8, No. 2. pp. 66\u201374 (March 1991).","journal-title":"IEEE Software"},{"key":"53_CR3","doi-asserted-by":"crossref","unstructured":"A. Geist, A. Beguelin, J. Dongarra, W. Jiang, R. Manchek, and V. Sunderam. PVM: Parallel Virtual Machine \u2014 A User\u2019s Guide and Tutorial for Networked Parallel Computing. Scientific and Engineering Computation. MIT Press, 1994.","DOI":"10.7551\/mitpress\/5712.001.0001"},{"key":"53_CR4","first-page":"101","volume-title":"Debugging and Performance Tuning for Parallel Computing Systems","author":"D.P. Helmbold","year":"1996","unstructured":"D.P. Helmbold and Ch.E. McDowell. Race Detection-Ten Years Later. in: M. L. Simmons, A. H. Hyes, J.S. Brown and D.A. Reed Debugging and Performance Tuning for Parallel Computing Systems. IEEE Computer Society Press, Los Alamitos, CA, USA, pp. 101\u2013126 (1996)."},{"issue":"6","key":"53_CR5","doi-asserted-by":"publisher","first-page":"597","DOI":"10.1016\/S0167-739X(99)00076-X","volume":"16","author":"P. Kacsuk","year":"2000","unstructured":"P. Kacsuk. Systematic Macrostep Debugging of Message Passing Parallel Programs. Proc. DAPSYS 98, Future Generation Computer Systems, North-Holland, Vol. 16, No. 6, pp. 597\u2013607 (April 2000).","journal-title":"Proc. DAPSYS 98, Future Generation Computer Systems"},{"key":"53_CR6","doi-asserted-by":"crossref","unstructured":"R. Kobler, D. Kranzlm\u00fcller, J. Volkert. Debugging OpenMP Programs Using Event Manipulation. Proc. WOMPAT 2001, Intl. Workshop on OpenMP Applications and Tools, West Lafayette, Indiana, USA, pp. 81\u201389 (July 2001).","DOI":"10.1007\/3-540-44587-0_8"},{"issue":"1\u20132","key":"53_CR7","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1016\/S0167-8191(96)00105-6","volume":"23","author":"D. Kranzlm\u00fcller","year":"1997","unstructured":"D. Kranzlm\u00fcller, S. Grabner, and J. Volkert. Debugging with the MAD Environment. Journal of Parallel Computing, Elsevier, Vol. 23, No. 1\u20132, pp. 199\u2013217 (April1997).","journal-title":"Journal of Parallel Computing"},{"key":"53_CR8","volume-title":"Ph.D. thesis","author":"D. Kranzlm\u00fcller","year":"2000","unstructured":"D. Kranzlm\u00fcller. Event Graph Analysis for Debugging Massively Parallel Programs. Ph.D. thesis, GUP Linz, Johannes Kepler University Linz, Austria (September 2000) http:\/\/www.gup.uni-linz.ac.at\/~dk\/thesis ."},{"key":"53_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"192","DOI":"10.1007\/3-540-45417-9_28","volume-title":"Proc. EuroPVMMPI 2001","author":"D. Kranzlm\u00fcller","year":"2001","unstructured":"D. Kranzlm\u00fcller, Ch. Schaubschl\u00e4ger, and J. Volkert. An Integrated Record&Replay Mechanism for Nondeterministic Message Passing Programs. Proc. EuroPVMMPI 2001, Springer, LNCS, Vol. 2131, pp. 192\u2013200 (2001)."},{"key":"53_CR10","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"490","DOI":"10.1007\/3-540-49164-3_47","volume-title":"Proc. of ACPC\u2019 99","author":"D. Kranzlm\u00fcller","year":"1999","unstructured":"D. Kranzlm\u00fcller and J. Volkert. NOPE: A Nondeterministic Program Evaluator. Proc. of ACPC\u2019 99, 4th Intl. ACPC Conference, Springer, LNCS, Vol. 1557, Salzburg, pp. 490\u2013499 (Feb. 1999)."},{"issue":"4","key":"53_CR11","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1109\/TC.1987.1676929","volume":"C-36","author":"T. J. LeBlanc","year":"1987","unstructured":"T. J. LeBlanc and J.M Mellor-Crummey. Debugging Parallel Programs with Instant Replay. IEEE Transactions on Computers, Vol. C-36, No. 4, pp. 471\u2013481 (April1987).","journal-title":"IEEE Transactions on Computers"},{"issue":"4","key":"53_CR12","doi-asserted-by":"publisher","first-page":"593","DOI":"10.1145\/76894.76897","volume":"21","author":"Ch.E. McDowell","year":"1989","unstructured":"Ch.E. McDowell and D. P. Helmbold. Debugging Concurrent Programs. ACM Computing Surveys, Vol. 21, No. 4, pp. 593\u2013622 (December 1989).","journal-title":"ACM Computing Surveys"},{"key":"53_CR13","volume-title":"Technical Report","author":"Message Passing Interface Forum MPIF)","year":"1995","unstructured":"Message Passing Interface Forum (MPIF). MPI: A Message-Passing Interface Standard. Technical Report, University of Tennessee, Knoxville, June 1995. http:\/\/www.mpi-forum.org\/ ."},{"key":"53_CR14","doi-asserted-by":"crossref","unstructured":"R.H. B. Netzer, T.W. Brennan, and S.K. Damodaran-Kamal. Debugging Race Conditions in Message-Passing Programs. Proc. SPDT 96, ACM SIGMETRICS Symposium on Parallel and Distribution Tools, Philadelphia, PA, USA pp. 31\u201350 (May 1996).","DOI":"10.1145\/238020.238033"},{"key":"53_CR15","doi-asserted-by":"crossref","unstructured":"R.H.B. Netzer and B.P. Miller. Optimal Tracing and Replay for Debugging Message-Passing Parallel Program. Proc. Supercomputing 92, Minneapolis, MN, USA, pp. 502\u2013511 (November 1992).","DOI":"10.1109\/SUPERC.1992.236654"},{"key":"53_CR16","unstructured":"M. Oberhuber. Elimination of Nondeterminacy for Testing and Debugging Parallel Programs. Proc. AADEBUG\u2019 95, 2nd International Workshop on Automated and Algorithmic Debugging, Saint Malo, France, pp. 315\u2013316 (May 1995)."},{"key":"53_CR17","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1145\/312203.312214","volume":"17","author":"M. Ronsse","year":"1999","unstructured":"M. Ronsse, K. DeBosschere. RecPlay: A Fully Integrated Pratical Record\/Replay System. ACM Transactions on Computer Systems, Vol. 17, No. 2, pp. 133\u2013152 (May 1999).","journal-title":"ACM Transactions on Computer Systems"},{"key":"53_CR18","unstructured":"M. A. Ronsse, K. De Bosschere, and J. Chassin de Kergommeaux. Execution Replay and Debugging. Proc. AADEBUG 2000, 4th Intl. Workshop on Automated Debugging, Munich, Germany, pp. 5\u201318 (August 2000)."},{"issue":"1\u20133","key":"53_CR19","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1016\/0167-8191(88)90129-9","volume":"8","author":"D. F. Snelling","year":"1988","unstructured":"D. F. Snelling and G.-R. Hoffmann. A Comparative Study of Libraries for Parallel Processing. Proc. Intl. Conf. on Vector and Parallel Processors, Computational Science III, Parallel Computing, Vol. 8(1\u20133), pp. 255\u2013266 (1988).","journal-title":"Computational Science III, Parallel Computing"},{"issue":"1","key":"53_CR20","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1109\/32.67578","volume":"17","author":"K.C. Tai","year":"1991","unstructured":"K.C. Tai, R. H. Carver, and E. E. Obaid. Debugging Concurrent Ada Programs by Deterministic Execution. IEEE Transactions on Software Engineering, Vol. 17, No. 1, pp. 45\u201363 (January 1991).","journal-title":"IEEE Transactions on Software Engineering"}],"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\/3-540-45825-5_53","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T08:29:17Z","timestamp":1737361757000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45825-5_53"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540442967","9783540458258"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-45825-5_53","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}