{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T22:40:27Z","timestamp":1736116827612,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540634409"},{"type":"electronic","value":"9783540695493"}],"license":[{"start":{"date-parts":[[1997,1,1]],"date-time":"1997-01-01T00:00:00Z","timestamp":852076800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0002722","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T12:29:42Z","timestamp":1132748982000},"page":"102-109","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Using control and data flow analysis for race evaluation"],"prefix":"10.1007","author":[{"given":"Dieter","family":"Kranzlm\u00fcller","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Siegfried","family":"Grabner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jens","family":"Volkert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,9,26]]},"reference":[{"key":"10_CR1","doi-asserted-by":"crossref","unstructured":"J.-D. Choi, S.L. Min, \u201cRACE FRONTIER: Reproducing Data Races in Parallel Program Debuggingr\u201d, Proc. 3rd ACM SIGPLAN Symposium on Principles & Practice of Parallel Programming PPOPP, Williamsburg, Virginia, pp. 145\u2013154 (April 1991).","DOI":"10.1145\/109626.109641"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"J.-D. Choi, J. Stone, \u201cBalancing Runtime and Replay Costs in a Trace-and-Replay System\u201d, Proc. ACM\/ONR Workshop on Parallel and Distributed Debugging, Santa Cruz, CA, pp. 26\u201335 (May 1991).","DOI":"10.1145\/127695.122761"},{"key":"10_CR3","unstructured":"S. Grabner, Search strategies for errors in parallel programs, Ph.D. thesis, Systems Programming Institute, Johannes Kepler University Linz (1997). [in German]"},{"key":"10_CR4","unstructured":"S. Grabner, J. Volkert, \u201cDebugging Distributed Memory Programs Using Communication Graph Manipulation\u201d, Proc. HPCS 96 Symposium, Montreal, Canada (June 1996)."},{"key":"10_CR5","doi-asserted-by":"crossref","unstructured":"D.P. Helmbold, C.E. McDowell, J.-Z. Wang, \u201cDetecting Data Races from Sequential Traces\u201d, Proceedings HICSS 24, Hawaii, Vol. 2, pp. 408\u2013417 (Jan. 1991).","DOI":"10.1109\/HICSS.1991.184003"},{"key":"10_CR6","unstructured":"D.P. Helmbold, C.E. McDowell, \u201cRace Detection \u2014 Ten Years Later\u201d, in: M.L. Simmons, A.H. Hayes, J.S. Brown, D.A. Reed (Eds.), \u201cDebugging and Performance Tuning\u201d, IEEE Computer Society, pp. 101\u2013126 (1996)"},{"key":"10_CR7","unstructured":"D. Kranzlm\u00fcller, S. Grabner, J. Volkert, \u201cPARASIT \u2014 Parallel Simulation Tool\u201d, CEI project PACT Technical Report D7V 1, GUP Linz, University Linz, Austria (Dec. 1994)."},{"key":"10_CR8","unstructured":"D. Kranzlm\u00fcller, S. Grabner, J. Volkert, \u201cDebugging with the MAD Environment\u201d, Proc. of Workshop on Environments and Tools for Parallel Scientific Computing III, Faverges de la Tour, France (Aug. 1996)."},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"D. Kranzlm\u00fcller, S. Grabner, J. Volkert, \u201cMonitoring Strategies for Hypercube Systems\u201d, Proc. of 4th EUROMICRO Workshop on PDP, Braga, Portugal, pp. 486\u2013492 (Jan. 1996).","DOI":"10.1109\/EMPDP.1996.500623"},{"issue":"4","key":"10_CR10","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1109\/TC.1987.1676929","volume":"C-36","author":"Leblanc","year":"1987","unstructured":"T.J. LeBlanc, J.M. Mellor-Crummey, \u201cDebugging parallel programs with instant replay\u201d, IEEE Trans. on Comp., pp. 471\u2013482 (April 1987).","journal-title":"IEEE Transactions on Computers"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"B.P. Miller, J.-D. Choi, \u201cA Mechanism for Efficient Debugging of Parallel Programs\u201d, Proc. SIGPLAN\/SIGOPS Workshop on Parallel & Distributed Debugging, Madison, Wisconsin, pp. 141\u2013150 (May 1988).","DOI":"10.1145\/69215.69229"},{"key":"10_CR12","unstructured":"MPI: A Message-Passing Interface Standard, special issue of The Intl. Journal of Supercomputer Applications and High Performance Computing, Vol. 8 (3\/4) (Fall\/Winter 1994)."},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"R.H.B. Netzer, T.W. Brennan, S.K. Damodaran-Kamal, \u201cDebugging Race Conditions in Message-Passing Programs\u201d, Proc. SPDT'96, SIGMETRICS Symposium on Parallel and Distributed Tools, Philadelphia, PA, pp. 31\u201340 (May 1996).","DOI":"10.1145\/238020.238033"},{"issue":"1","key":"10_CR14","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1145\/130616.130623","volume":"1","author":"Robert H. B. Netzer","year":"1992","unstructured":"R.H.B. Netzer, B.P. Miller, \u201cWhat are Race Conditions? \u2014 Some Issues and Formalizations\u201d, ACM Letters on Programming Languages and Systems, Vol. 1, No. 1 (March 1992).","journal-title":"ACM Letters on Programming Languages and Systems"},{"key":"10_CR15","unstructured":"R.H.B. Netzer, S.K. Damodaran-Kamal, \u201cAccurate Race Condition Detection for Message-Passing Programs\u201d, Brown Univ. Dept. of Computer Science Technical Report (April 1994). *** DIRECT SUPPORT *** A0008C42 00004"}],"container-title":["Lecture Notes in Computer Science","Euro-Par'97 Parallel Processing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0002722","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,5]],"date-time":"2025-01-05T22:03:52Z","timestamp":1736114632000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0002722"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540634409","9783540695493"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/bfb0002722","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]},"assertion":[{"value":"26 September 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}