{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T11:12:56Z","timestamp":1725707576488},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642355998"},{"type":"electronic","value":"9783642356001"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-35600-1_24","type":"book-chapter","created":{"date-parts":[[2012,11,26]],"date-time":"2012-11-26T07:31:37Z","timestamp":1353915097000},"page":"165-169","source":"Crossref","is-referenced-by-count":1,"title":["Detecting First Races in Shared-Memory Parallel Programs with Random Synchronization"],"prefix":"10.1007","author":[{"given":"Hee-Dong","family":"Park","sequence":"first","affiliation":[]},{"given":"Yong-Kee","family":"Jun","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"24_CR1","doi-asserted-by":"crossref","unstructured":"Lamport, L.: Time, Clocks, and the Ordering of Events in a Distributed System. Communications of the ACM, 558\u2013565 (July 1978)","DOI":"10.1145\/359545.359563"},{"key":"24_CR2","doi-asserted-by":"crossref","unstructured":"Dinning, A., Schonberg, E.: An Empirical Comparison of Monitoring Algorithms for Access Anomaly Detection. In: 2nd Symp. on Principles and Practice of Parallel Programming, pp. 1\u201310. ACM (March 1990)","DOI":"10.1145\/99164.99165"},{"key":"24_CR3","doi-asserted-by":"crossref","unstructured":"Netzer, R.H.B., Miller, B.P.: Improving the Accuracy of Data Race Detection. In: 3rd Symp. on Principles and Practice of Parallel Programming, pp. 133\u2013144. ACM (April 1991)","DOI":"10.1145\/109626.109640"},{"key":"24_CR4","unstructured":"Jun, Y., McDowell, C.E.: On-the-fly Detection of the First Races in Programs with Nested Parallelism. In: 2nd Int\u2019l Conf. on Parallel and Distributed Processing Techniques and Applications, CSREA, pp. 1549\u20131560 (August 1996)"},{"key":"24_CR5","doi-asserted-by":"crossref","unstructured":"Kim, J., Jun, Y.: Scalable On-the-fly Detection of the First Races in Parallel Programs. In: Proc. of the 12nd Int\u2019l Conf. on Supercomputing, pp. 345\u2013352. ACM (July 1998)","DOI":"10.1145\/277830.277914"},{"key":"24_CR6","first-page":"201","volume-title":"6th Int\u2019l Conference on Parallel and Distributed Systems (ICPADS)","author":"H. Park","year":"1998","unstructured":"Park, H., Jun, Y.: Detecting the Firtst Races in Parallel Programs with Ordered Synchronization. In: 6th Int\u2019l Conference on Parallel and Distributed Systems (ICPADS), pp. 201\u2013208. IEEE, Tainan (1998)"},{"issue":"2","key":"24_CR7","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1145\/312203.312214","volume":"17","author":"M. Ronsse","year":"1999","unstructured":"Ronsse, M., De Bosschere, K.: RecPlay: A Fully Integrated Practical Record\/Replay System. Transacsion on Computer Systems\u00a017(2), 133\u2013152 (1999)","journal-title":"Transacsion on Computer Systems"},{"key":"24_CR8","unstructured":"POSIX Standard, \n                  \n                    http:\/\/www.unix.org\/version3\/ieee_std.html"},{"key":"24_CR9","doi-asserted-by":"crossref","unstructured":"Banerjee, U., Bliss, B., Ma, Z., Petersen, P.: A Theory of Data Race Detection. In: Proceedings of the 2006 Workshop on PADTAD, pp. 69\u201378. ACM (2006)","DOI":"10.1145\/1147403.1147416"},{"issue":"1","key":"24_CR10","first-page":"21","volume":"4","author":"O. Ha","year":"2011","unstructured":"Ha, O., Jun, Y.: Monitoring of Programs with Nested Parallelism using Efficient Thread Labeling. International Journal of u - and e - Service, Science and Technology (IJUNESST)\u00a04(1), 21\u201336 (2011)","journal-title":"International Journal of u - and e - Service, Science and Technology (IJUNESST)"},{"key":"24_CR11","unstructured":"Park, H., Jun, Y.: Detecting Accesses of First Data Races in Parallel Programs with Random Synchronization. In: Proceedings International Conference, SoftTech 2012, pp. 208\u2013210 (May 2012)"}],"container-title":["Communications in Computer and Information Science","Computer Applications for Graphics, Grid Computing, and Industrial Environment"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-35600-1_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T22:49:06Z","timestamp":1558392546000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-35600-1_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642355998","9783642356001"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-35600-1_24","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2012]]}}}