{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T23:56:15Z","timestamp":1725580575978},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642209970"},{"type":"electronic","value":"9783642209987"}],"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-20998-7_24","type":"book-chapter","created":{"date-parts":[[2011,4,8]],"date-time":"2011-04-08T11:33:10Z","timestamp":1302262390000},"page":"191-200","source":"Crossref","is-referenced-by-count":0,"title":["Efficiency of e-NR Labeling for On-the-fly Race Detection of Programs with Nested Parallelism"],"prefix":"10.1007","author":[{"given":"Sun-Sook","family":"Kim","sequence":"first","affiliation":[]},{"given":"Ok-Kyoon","family":"Ha","sequence":"additional","affiliation":[]},{"given":"Yong-Kee","family":"Jun","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"10","key":"24_CR1","doi-asserted-by":"publisher","first-page":"646","DOI":"10.1109\/32.637147","volume":"23","author":"K. Audenaert","year":"1997","unstructured":"Audenaert, K.: Clock trees: logical clocks for programs with nested parallelism. IEEE Transactions on Software Engineering\u00a023(10), 646\u2013658 (1997)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"24_CR2","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1145\/1147403.1147416","volume-title":"Proceedings of the 2006 Workshop on Parallel and Distributed Systems: Testing and Debugging, PADTAD 2006","author":"U. Banerjee","year":"2006","unstructured":"Banerjee, U., Bliss, B., Ma, Z., Petersen, P.: A theory of data race detection. In: Proceedings of the 2006 Workshop on Parallel and Distributed Systems: Testing and Debugging, PADTAD 2006, pp. 69\u201378. ACM, New York (2006)"},{"key":"24_CR3","doi-asserted-by":"crossref","unstructured":"B\u00fccker, H.M., Rasch, A., Wolf, A.: A class of openmp applications involving nested parallelism. In: Proceedings of the 2004 ACM Symposium on Applied Computing, SAC 2004, pp. 220\u2013224. ACM, New York (2004)","DOI":"10.1145\/967900.967948"},{"key":"24_CR4","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1145\/127695.122767","volume":"26","author":"A. Dinning","year":"1991","unstructured":"Dinning, A., Schonberg, E.: Detecting access anomalies in programs with critical sections. SIGPLAN Not.\u00a026, 85\u201396 (1991)","journal-title":"SIGPLAN Not."},{"key":"24_CR5","first-page":"244","volume-title":"Proceedings of the 13th Euromicro Conference on Parallel, Distributed and Network-Based Processing","author":"A.J. Dorta","year":"2005","unstructured":"Dorta, A.J., Rodriguez, C., Sande, F., Sande, F.d., Gonzalez-Escribano, A.: The openmp source code repository. In: Proceedings of the 13th Euromicro Conference on Parallel, Distributed and Network-Based Processing, pp. 244\u2013250. IEEE Computer Society, Washington, DC (2005)"},{"key":"24_CR6","series-title":"CCIS","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/978-3-642-17604-3_27","volume-title":"Communication and Networking","author":"O.K. Ha","year":"2010","unstructured":"Ha, O.K., Kim, S.S., Jun, Y.K.: Efficient thread labeling for monitoring programs with nested parallelism. In: Kim, T.H., Vasilakos, T., Sakurai, K., Xiao, Y., Zhao, G., Lzak, D. (eds.) Communication and Networking. CCIS, vol.\u00a0120, pp. 227\u2013237. Springer, Heidelberg (2010)"},{"key":"24_CR7","first-page":"6","volume-title":"Proceedings of the 6th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2008","author":"A. Jannesari","year":"2008","unstructured":"Jannesari, A., Tichy, W.F.: On-the-fly race detection in multi-threaded programs. In: Proceedings of the 6th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging, PADTAD 2008, p. 6. ACM, New York (2008)"},{"key":"24_CR8","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":"24_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":"24_CR10","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1145\/125826.125861","volume-title":"Proceedings of the 1991 ACM\/IEEE Conference on 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 1991, pp. 24\u201333. ACM, New York (1991)"},{"key":"24_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":"24_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/3-540-44587-0_7","volume-title":"OpenMP Shared Memory Parallel Programming","author":"S.H. Park","year":"2001","unstructured":"Park, S.H., Park, M.Y., Jun, Y.K.: A comparison of scalable labeling schemes for detecting races in openmp programs. In: Eigenmann, R., Voss, M. (eds.) WOMPAT 2001. LNCS, vol.\u00a02104, pp. 68\u201380. Springer, Heidelberg (2001)"},{"key":"24_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-45009-2_1","volume-title":"OpenMP Shared Memory Parallel Programming","author":"P. Petersen","year":"2003","unstructured":"Petersen, P., Shah, S.: Openmp support in the intel thread checker. In: Voss, M.J. (ed.) WOMPAT 2003. LNCS, vol.\u00a02716, pp. 1\u201312. Springer, Heidelberg (2003)"},{"key":"24_CR14","unstructured":"The openmp api specification for parallel programming., http:\/\/www.openmp.org"}],"container-title":["Communications in Computer and Information Science","Ubiquitous Computing and Multimedia Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-20998-7_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,6]],"date-time":"2023-06-06T05:45:47Z","timestamp":1686030347000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-20998-7_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642209970","9783642209987"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-20998-7_24","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2011]]}}}