{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:51:33Z","timestamp":1725493893295},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540665311"},{"type":"electronic","value":"9783540481690"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48169-9_15","type":"book-chapter","created":{"date-parts":[[2007,11,5]],"date-time":"2007-11-05T00:36:33Z","timestamp":1194222993000},"page":"212-225","source":"Crossref","is-referenced-by-count":4,"title":["Software Fault Tolerance of Concurrent Programs Using Controlled Re-execution"],"prefix":"10.1007","author":[{"given":"Ashis","family":"Tarafdar","sequence":"first","affiliation":[]},{"given":"Vijay K.","family":"Garg","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,6,3]]},"reference":[{"key":"15_CR1","unstructured":"A. Avizienis and L. Chen. On the implementation of n-version programming for software fault tolerance during execution. In Proc. of the First IEEE-CS International Conference on Computer Software and Applications, pages 149\u2013155, November 1977."},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"J. D. Choi and H. Srinivasan. Deterministic replay of java multithreaded applications. In 2nd SIGMETRICS Symp. on Parallel and Distr. Tools, pages 48\u201359, Aug. 1998.","DOI":"10.1145\/281035.281041"},{"issue":"2","key":"15_CR3","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1145\/102792.102801","volume":"34","author":"F. Cristian","year":"1991","unstructured":"F. Cristian. Understanding fault-tolerant distributed systems. CACM, 34(2):56\u201378, Feb 1991.","journal-title":"CACM"},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"M. Feng and C. E. Leiserson. Efficient detection of determinacy races in cilk programs. In Proc. of 9th Annual ACM Symposium on Parallel Algorithms and Architectures, pages 22\u201325, Newport, USA, June 1997.","DOI":"10.1145\/258492.258493"},{"key":"15_CR5","unstructured":"Y. Huang and C. Kintala. Software implemented fault tolerance: technologies and experience. In Proc. IEEE Fault-Tolerant Comp. Symp., pages 138\u2013144, June 1993."},{"key":"15_CR6","unstructured":"R. K. Iyer and I. Lee. Software fault tolerance in computer operating systems. In M. R. Lyu, editor, Software Fault Tolerance, Trends in Software Series, chapter 11, pages 249\u2013278. John Wiley & Sons, Inc., 1995."},{"issue":"7","key":"15_CR7","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L. Lamport","year":"1978","unstructured":"L. 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"},{"key":"15_CR8","unstructured":"D. Lea. Concurrent Programming in Java: Design Principles and Patterns, chapter 3.1.2. The Java Series. Addison Wesley Longman, Inc., 1997."},{"key":"15_CR9","unstructured":"F. Mattern. Virtual time and global states of distributed systems. In Parallel and Distributed Algorithms: Proc. of the International Workshop on Parallel and Distributed Algorithms, pages 215\u2013226. Elsevier Science Publishers B. V. (North Holland), 1989."},{"key":"15_CR10","unstructured":"R. H. B. Netzer. Race condition detection for debugging shared-memory parallel programs. PhD thesis, University of Wisconsin-Madison, 1991."},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"R. H. B. Netzer. Optimal tracing and replay for debugging shared-memory parallel programs. In Proc. of ACM\/ONR Workshop on Parallel and Distributed Debugging, pages 1\u201311, May 1993. Also available as ACM SIGPLAN Notices Vol. 28, No. 12.","DOI":"10.1145\/174266.174268"},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"R. H. B. Netzer and B. P. Miller. Optimal tracing and replay for debugging message-passing parallel programs. In Supercomputing\u2019 92, pages 502\u2013511, November 1992.","DOI":"10.1109\/SUPERC.1992.236654"},{"issue":"2","key":"15_CR13","doi-asserted-by":"crossref","first-page":"220","DOI":"10.1109\/TSE.1975.6312842","volume":"1","author":"B. Randell","year":"1975","unstructured":"B. Randell. System structure for software fault-tolerance. IEEE Transactions on Software Engineering, 1(2):220\u2013232, June 1975.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"15_CR14","unstructured":"M. Raynal. Algorithms for mutual exclusion. MIT Press, 1986."},{"key":"15_CR15","unstructured":"M. Ronnse and W. Zwaenepoel. Execution replay for treadmarks. In Proc. of the 5th EUROMICRO Workshop on Parallel and Distributed Processing (PDP\u201997), pages 343\u2013350, January 1997."},{"key":"15_CR16","doi-asserted-by":"crossref","unstructured":"A. Tarafdar and V. K. Garg. Predicate control for active debugging of distributed programs. In Proc. of the 9th Symposium on Parallel and Distributed Processing, Orlando, USA, April 1998. IEEE.","DOI":"10.1109\/IPPS.1998.670013"},{"issue":"10","key":"15_CR17","doi-asserted-by":"publisher","first-page":"1137","DOI":"10.1109\/12.628398","volume":"46","author":"Y. M. Wang","year":"1997","unstructured":"Y. M. Wang, Y. Huang, W. K. Fuchs, C. Kintala, and G. Suri. Progressive retry for software failure recovery in message-passing applications. IEEE Trans. on Computers, 46(10):1137\u20131141, October 1997.","journal-title":"IEEE Trans. on Computers"}],"container-title":["Lecture Notes in Computer Science","Distributed Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48169-9_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,24]],"date-time":"2019-02-24T19:13:01Z","timestamp":1551035581000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48169-9_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540665311","9783540481690"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-48169-9_15","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}