{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T22:43:53Z","timestamp":1649198633840},"reference-count":16,"publisher":"Elsevier BV","issue":"9","license":[{"start":{"date-parts":[[2002,9,1]],"date-time":"2002-09-01T00:00:00Z","timestamp":1030838400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Parallel Computing"],"published-print":{"date-parts":[[2002,9]]},"DOI":"10.1016\/s0167-8191(02)00134-5","type":"journal-article","created":{"date-parts":[[2002,10,9]],"date-time":"2002-10-09T12:54:12Z","timestamp":1034168052000},"page":"1221-1238","source":"Crossref","is-referenced-by-count":2,"title":["Bounding the number of segment histories during data race detection"],"prefix":"10.1016","volume":"28","author":[{"given":"Mark","family":"Christiaens","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michiel","family":"Ronsse","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Koen","family":"De Bosschere","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0167-8191(02)00134-5_BIB1","unstructured":"Detecting data races in parallel program executions, volume advances in languages and compilers for parallel processing, Research Monographs in Parallel and Distributed Computing, pp. 109\u2013129, MIT press, Cambridge, MA, 1991 (chapter 6)"},{"key":"10.1016\/S0167-8191(02)00134-5_BIB2","unstructured":"M. Christiaens, K. De Bosschere, Trade a topological approach to on-the-fly race detection in Java programs, in: Proceedings of the Java Virtual Machine Research and Technology Symposium 2001, Monterey, California, USA, April 2001 USENIX, pp. 105\u2013116"},{"key":"10.1016\/S0167-8191(02)00134-5_BIB3","series-title":"Reasoning about Parallel Architectures","author":"Collier","year":"1992"},{"key":"10.1016\/S0167-8191(02)00134-5_BIB4","series-title":"International Symposium on Parallel Architectures Algorithms and Networks (ISPAN '97) IEEE Computer Society","first-page":"324","article-title":"Clock snooping and its application in on-the-fly data race detection","author":"De Bosschere","year":"1997"},{"key":"10.1016\/S0167-8191(02)00134-5_BIB5","doi-asserted-by":"crossref","unstructured":"A. Dinning, E. Schonberg, An empirical comparison of monitoring algorithms for access anomaly detection, in: Second ACM SIGPLAN symposium on Principles & practice of parallel programming, 1990, pp. 1\u201310","DOI":"10.1145\/99163.99165"},{"key":"10.1016\/S0167-8191(02)00134-5_BIB6","doi-asserted-by":"crossref","unstructured":"C.J. Fidge, Partial orders for parallel debugging, in: Proceedings of the ACM SIGPLAN and SIGOPS Workshop on Parallel and distributed debugging, 1988, pp. 183\u2013194","DOI":"10.1145\/68210.69233"},{"key":"10.1016\/S0167-8191(02)00134-5_BIB7","doi-asserted-by":"crossref","unstructured":"D. Haban, W. Weigel, Global events and global breakpoints in distributed systems, in: 21st Annual Hawaii International Conference on System Sciences, vol. II, IEEE Computer Society, 1988, pp. 166\u2013175","DOI":"10.1109\/HICSS.1988.11802"},{"key":"10.1016\/S0167-8191(02)00134-5_BIB8","unstructured":"KL Group, 260 King Street East, Toronto, Ontario, Canada, Getting Started with JProbe"},{"key":"10.1016\/S0167-8191(02)00134-5_BIB9","unstructured":"Kuck and Associates, Inc., 1906 Fox Drive, Champaign, IL 61820-7345, USA. Assure User's Manual, 2.0 edition, 1999"},{"issue":"7","key":"10.1016\/S0167-8191(02)00134-5_BIB10","doi-asserted-by":"crossref","first-page":"558","DOI":"10.1145\/359545.359563","article-title":"Time clocks and the ordering of events in a distributed system","volume":"21","author":"Lamport","year":"1978","journal-title":"Communications of the ACM"},{"key":"10.1016\/S0167-8191(02)00134-5_BIB11","series-title":"Workshop on Parallel and Distributed Algorithms","first-page":"215","article-title":"Virtual time and global states of distributed systems","author":"Mattern","year":"1989"},{"key":"10.1016\/S0167-8191(02)00134-5_BIB12","doi-asserted-by":"crossref","unstructured":"M. Ronsse, K. De Bosschere. JiTI: Tracing memory references for data race detection, in: E. D'Hollander, F.J. Joubert, U. Trottenberg, (Ed.), Proceedings of ParCo97: Parallel Computing: Fundamentals, Applications and New Directions, vol. 12, Advances in Parallel Computing, Bonn, February 1998, North Holland, Amsterdam, pp. 327\u2013334","DOI":"10.1016\/S0927-5452(98)80040-3"},{"issue":"2","key":"10.1016\/S0167-8191(02)00134-5_BIB13","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1145\/312203.312214","article-title":"RecPlay: a fully integrated practical record\/replay system","volume":"17","author":"Ronsse","year":"1999","journal-title":"ACM Transactions on Computer Systems"},{"key":"10.1016\/S0167-8191(02)00134-5_BIB14","doi-asserted-by":"crossref","unstructured":"S. Savage, M. Burrows, G. Nelson, P. Sobalvarro, T. Anderson, Eraser: a dynamic data race detector for multi-threaded programs, in: Operating Systems Review ACM, 31, 1997, pp. 27\u201337","DOI":"10.1145\/268998.266641"},{"key":"10.1016\/S0167-8191(02)00134-5_BIB15","doi-asserted-by":"crossref","unstructured":"A. Srivastava, A. Eustace, ATOM a system for building customized program analysis tools, in: Proceedings of the Conference on Programming Language Design and Implementation, ACM, 1994, pp. 196\u2013205","DOI":"10.1145\/773473.178260"},{"key":"10.1016\/S0167-8191(02)00134-5_BIB16","doi-asserted-by":"crossref","unstructured":"S. Woo, M. Ohara, E. Torrie, J. Singh, A. Gupta, The SPLASH-2 programs: characterization and methodological considerations, in: 22nd International Symposium on Computer Architecture, Santa Margherita Ligure, Italy, 1995, pp. 24\u201336","DOI":"10.1145\/223982.223990"}],"container-title":["Parallel Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167819102001345?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167819102001345?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2020,3,6]],"date-time":"2020-03-06T13:34:38Z","timestamp":1583501678000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0167819102001345"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002,9]]},"references-count":16,"journal-issue":{"issue":"9","published-print":{"date-parts":[[2002,9]]}},"alternative-id":["S0167819102001345"],"URL":"https:\/\/doi.org\/10.1016\/s0167-8191(02)00134-5","relation":{},"ISSN":["0167-8191"],"issn-type":[{"value":"0167-8191","type":"print"}],"subject":[],"published":{"date-parts":[[2002,9]]}}}