{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T15:52:06Z","timestamp":1725637926948},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642272066"},{"type":"electronic","value":"9783642272073"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-27207-3_49","type":"book-chapter","created":{"date-parts":[[2011,12,2]],"date-time":"2011-12-02T09:05:35Z","timestamp":1322816735000},"page":"451-460","source":"Crossref","is-referenced-by-count":0,"title":["Efficient Verification of First Tangled Races to Occur in Programs with Nested Parallelism"],"prefix":"10.1007","author":[{"given":"Mun-Hye","family":"Kang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Young-Kee","family":"Jun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"49_CR1","unstructured":"Chandra, R., Menon, R., Dagum, L., Kohr, D., Maydan, D., McDonald, D.: Parallel programming in openmp"},{"key":"49_CR2","doi-asserted-by":"crossref","unstructured":"Dagum, L., Menon, R.: Openmp: An industry-standard api for shared-memory programming. In: IEEE Computational Science, pp. 46\u201355. IEEE (January\/March 1998)","DOI":"10.1109\/99.660313"},{"key":"49_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/99164.99165","volume":"25","author":"A. Dinning","year":"1990","unstructured":"Dinning, A., Schonberg, E.: An empirical comparison of monitoring algorithms for access anomaly detection. SIGPLAN Not.\u00a025, 1\u201310 (1990)","journal-title":"SIGPLAN Not."},{"key":"49_CR4","unstructured":"Ha, K., Jun, Y.J., Yoo, K.: Efficient on-the-fly detection of first races in nested parallel programs. In: Proc. of Workshop on State-of-the-Art in Scientific Computing, PARA 2004. LNCS, pp. 75\u201384 (2004)"},{"key":"49_CR5","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1006\/jpdc.1996.0034","volume":"33","author":"D.P. Helmbold","year":"1996","unstructured":"Helmbold, D.P., McDowell, C.E.: A taxonomy of race conditions. J. Parallel Distrib. Comput.\u00a033, 159\u2013164 (1996)","journal-title":"J. Parallel Distrib. Comput."},{"key":"49_CR6","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1145\/174267.174278","volume":"28","author":"Y.K. Jun","year":"1993","unstructured":"Jun, Y.K., Koh, K.: On-the-fly detection of access anomalies in nested parallel loops. SIGPLAN Not.\u00a028, 107\u2013117 (1993)","journal-title":"SIGPLAN Not."},{"key":"49_CR7","unstructured":"Jun, Y.K., McDowell, C.E.: On-the-fly detection of the first races in programs with nested parallelism. In: 2nd Conf. on Parallel and Distributed Processing Technique and Application, CSREA, pp. 1549\u20131560 (1996)"},{"key":"49_CR8","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1145\/277830.277914","volume-title":"Proceedings of the 12th International Conference on Supercomputing, ICS 1998","author":"J.S. Kim","year":"1998","unstructured":"Kim, J.S., Jun, Y.K.: Scalable on-the-fly detection of the first races in parallel programs. In: Proceedings of the 12th International Conference on Supercomputing, ICS 1998, pp. 345\u2013352. ACM, New York (1998)"},{"key":"49_CR9","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L. Lamport","year":"1978","unstructured":"Lamport, L.: Ti clocks, and the ordering of events in a distributed system. Commun. ACM\u00a021, 558\u2013565 (1978)","journal-title":"Commun. ACM"},{"key":"49_CR10","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1145\/125826.125861","volume-title":"Proceedings of the 1991 ACM\/IEEE Conference on Supercomputing, Supercomputing 1991","author":"J. Mellor-Crummey","year":"1991","unstructured":"Mellor-Crummey, J.: On-the-fly detection of data races for programs with nested fork-join parallelism. In: Proceedings of the 1991 ACM\/IEEE Conference on Supercomputing, Supercomputing 1991, pp. 24\u201333. ACM, New York (1991)"},{"key":"49_CR11","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1145\/130616.130623","volume":"1","author":"R.H.B. Netzer","year":"1992","unstructured":"Netzer, R.H.B., Miller, B.P.: What are race conditions?: Some issues and formalizations. ACM Lett. Program. Lang. Syst.\u00a01, 74\u201388 (1992)","journal-title":"ACM Lett. Program. Lang. Syst."},{"key":"49_CR12","unstructured":"Netzer, R.H.B., Miller, B.P.: Openmp architecture review board (2008)"},{"key":"49_CR13","doi-asserted-by":"crossref","first-page":"158","DOI":"10.1145\/281035.281060","volume-title":"Proceedings of the SIGMETRICS Symposium on Parallel and Distributed Tools, SPDT 1998","author":"H.D. Park","year":"1998","unstructured":"Park, H.D., Jun, Y.K.: Two-pass on-the-fly detection of the first races in shared-memory parallel. In: Proceedings of the SIGMETRICS Symposium on Parallel and Distributed Tools, SPDT 1998, p. 158. ACM, New York (1998)"}],"container-title":["Communications in Computer and Information Science","Software Engineering, Business Continuity, and Education"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-27207-3_49","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,18]],"date-time":"2021-12-18T06:33:52Z","timestamp":1639809232000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-27207-3_49"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642272066","9783642272073"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-27207-3_49","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2011]]}}}