{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T23:10:03Z","timestamp":1742598603474,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540584308"},{"type":"electronic","value":"9783540487890"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58430-7_8","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:05:13Z","timestamp":1330272313000},"page":"76-87","source":"Crossref","is-referenced-by-count":3,"title":["Minimizing the log size for execution replay of shared-memory programs"],"prefix":"10.1007","author":[{"given":"L. J.","family":"Levrouw","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"K. M. R.","family":"Audenaert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"K.M.R. Audenaert and L.J. Levrouw. Interrupt replay: a debugging method for parallel programs with interrupts. Microprocessors and Microsystems. Accepted for publication.","DOI":"10.1016\/0141-9331(94)90038-8"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"David F. Bacon and Seth Copen Goldstein. Hardware-assisted replay of multi-processor programs. In Proceedings of the ACM\/ONR Workshop on Parallel and Distributed Debugging, pages 194\u2013206, Santa Cruz, CA, May 1991.","DOI":"10.1145\/122759.122777"},{"key":"8_CR3","unstructured":"Richard H. Carver and Kuo-Chung Tai. Reproducible testing of concurrent programs based on shared variables. In Proceedings of the Sixth International Conference on Distributed Computing Systems, pages 428\u2013433, 1986."},{"key":"8_CR4","doi-asserted-by":"crossref","first-page":"667","DOI":"10.1145\/362759.362813","volume":"14","author":"P.J. Courtois","year":"1971","unstructured":"P.J. Courtois, F. Heymans, and D.L. Parnas. Concurrent control with readers and writers. Communications of the ACM, 14:667\u2013668, October 1971.","journal-title":"Communications of the ACM"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Anne Dinning and Edith Schonberg. An empirical comparison of monitoring algorithms for access anomaly detection. In Proceedings of the Second ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pages 1\u201310, Seattle WA, March 1990.","DOI":"10.1145\/99163.99165"},{"issue":"7","key":"8_CR6","doi-asserted-by":"crossref","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L. Lamport","year":"1978","unstructured":"Leslie Lamport. Time, clocks, and the ordering of events in a distributed system. Communications of the ACM, 21(7):558\u2013565, july 1978.","journal-title":"Communications of the ACM"},{"issue":"4","key":"8_CR7","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1109\/TC.1987.1676929","volume":"C-36","author":"T. J. LeBlanc","year":"1987","unstructured":"Thomas J. LeBlanc and John M. Mellor-Crummey. Debugging parallel programs with Instant Replay. IEEE Transactions on Computers, C-36(4):471\u2013482, April 1987.","journal-title":"IEEE Transactions on Computers"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Luk J. Levrouw and Koenraad M. Audenaert. An efficient record-replay mechanism for shared memory programs. In Proceedings Euromicro Workshop on Parallel and Distributed Processing, pages 169\u2013176. IEEE Computer Society Press, January 1993.","DOI":"10.1109\/EMPDP.1993.336406"},{"key":"8_CR9","series-title":"IFIP Transactions A-44: Computer Science and Technology","first-page":"125","volume-title":"Applications in Parallel and Distributed Computing","author":"L. J. Levrouw","year":"1994","unstructured":"Luk J. Levrouw, Koenraad M. Audenaert, and Jan M. Van Campenhout. Execution replay with compact logs for shared-memory programs. In C. Girault, editor, Applications in Parallel and Distributed Computing, IFIP Transactions A-44: Computer Science and Technology, pages 125\u2013134. Elsevier Science B.V., North-Holland, 1994."},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Luk J. Levrouw, Koenraad M. Audenaert, and Jan M. Van Campenhout. A new trace and replay system for shared memory programs based on lamport clocks. In Proceedings of the Second Euromicro Workshop on Parallel and Distributed Processing, pages 471\u2013478. IEEE Computer Society Press, January 1994.","DOI":"10.1109\/EMPDP.1994.592529"},{"key":"8_CR11","first-page":"215","volume-title":"Parallel and Distributed Algorithms","author":"F. Mattern","year":"1989","unstructured":"Friedemann Mattern. Virtual time and global states of distributed systems. In M. Cosnard et al., editor, Parallel and Distributed Algorithms, pages 215\u2013226. Elsevier Science Publishers B.V., North-Holland, 1989."},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Robert H.B. Netzer. Optimal tracing and replay for debugging shared-memory parallel programs. In Proceedings ACM\/ONR Workshop on Parallel and Distributed Debugging, pages 1\u201311, May 1993.","DOI":"10.1145\/174266.174268"},{"issue":"1","key":"8_CR13","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1145\/69215.69227","volume":"24","author":"D. Z. Pan","year":"1989","unstructured":"Douglas Z. Pan and Mark A. Linton. Supporting reverse execution of parallel programs. ACM SIGPLAN Notices, 24(1):124\u2013129, January 1989.","journal-title":"ACM SIGPLAN Notices"}],"container-title":["Lecture Notes in Computer Science","Parallel Processing: CONPAR 94 \u2014 VAPP VI"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58430-7_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T22:29:13Z","timestamp":1742596153000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58430-7_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540584308","9783540487890"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-58430-7_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}