{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:08:30Z","timestamp":1763467710586},"reference-count":12,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1995,12,1]],"date-time":"1995-12-01T00:00:00Z","timestamp":817776000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Supercomput"],"published-print":{"date-parts":[[1995,12]]},"DOI":"10.1007\/bf01901615","type":"journal-article","created":{"date-parts":[[2005,7,8]],"date-time":"2005-07-08T10:15:32Z","timestamp":1120817732000},"page":"371-388","source":"Crossref","is-referenced-by-count":26,"title":["Optimal tracing and replay for debugging message-passing parallel programs"],"prefix":"10.1007","volume":"8","author":[{"given":"Robert H. B.","family":"Netzer","sequence":"first","affiliation":[]},{"given":"Barton P.","family":"Miller","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"BF01901615_CR1","unstructured":"Babaoglu, O., and Marzullo, K. 1993. Consistent global sates of distributed systems: Fundamental concepts and mechanisms. Tech. rept. UBLCS-93-1, Univ. of Bologna (Jan.)."},{"key":"BF01901615_CR2","unstructured":"Curtis, R., and Wittie, L. 1982. BugNet: A debugging system for parallel programming environments. InProc., 3rd Internat. Conf. on Distributed Computing Systems, pp. 394\u2013399."},{"key":"BF01901615_CR3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/69215.69233","volume":"24","author":"C.J. Fidge","year":"1989","unstructured":"Fidge, C.J. 1989. Partial orders for parallel debugging.SIGPLAN Notices, 24, 1 (Jan.).","journal-title":"SIGPLAN Notices"},{"key":"BF01901615_CR4","doi-asserted-by":"crossref","unstructured":"Goldberg, A.P., Gopal, A., Lowry, A., and Strom, R. 1991. Restoring consistent global states of distributed computations. InProc., ACM\/ONR Workshop on Parallel and Distributed Debugging (Santa Cruz, Calif., May), pp. 144\u2013154.","DOI":"10.1145\/122759.122772"},{"issue":"7","key":"BF01901615_CR5","doi-asserted-by":"crossref","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L. Lamport","year":"1978","unstructured":"Lamport, L. 1978. Time, clocks, and the ordering of events in a distributed system.CACM, 21, 7 (July): 558\u2013565.","journal-title":"CACM"},{"issue":"4","key":"BF01901615_CR6","doi-asserted-by":"crossref","first-page":"471","DOI":"10.1109\/TC.1987.1676929","volume":"C-36","author":"T.J. LeBlanc","year":"1978","unstructured":"LeBlanc, T.J., and Mellor-Crummey, J.M. 1978. Debugging parallel programs with instant replay.IEEE Trans. Comps., C-36, 4 (Apr.): 471\u2013482.","journal-title":"IEEE Trans. Comps."},{"key":"BF01901615_CR7","volume-title":"Proc., 2nd European Distributed Memory Computing Conf.","author":"E. Leu","year":"1991","unstructured":"Leu, E., Schiper, A., and Zramdini, A. 1991. Efficient execution replay technique for distributed memory architectures. InProc., 2nd European Distributed Memory Computing Conf., LNCS 487, Springer-Verlag, Munich."},{"key":"BF01901615_CR8","unstructured":"Lummp, Jr., J.E., Gannon, J.A., Andersland, M.S., and Casavant, T.L. 1992. A technique for recovering from software instrumentation intrusion in message-passing systems. Tech. rept. TR-ECE-920817, Dept. of Electrical and Comp. Eng., Univ. of Iowa (Aug.)."},{"key":"BF01901615_CR9","doi-asserted-by":"crossref","unstructured":"Malony, A.D., and Reed, D.A. 1991. Models for performance perturbation analysis. InProc., ACM\/ONR Workshop on Parallel and Distributed Debugging, (Santa Cruz, Calif., May), pp. 15\u201325.","DOI":"10.1145\/122759.122760"},{"key":"BF01901615_CR10","unstructured":"Miller, B.P., and Choi, J.-D. 1988. A mechanism for efficient debugging of parallel programs. InProc., SIGPLAN Conf. on Programming Language Design and Implementation (Atlanta, June), pp. 135\u2013144."},{"key":"BF01901615_CR11","volume-title":"Detecting causal relationships in distributed computations: In search of the Holy Grail. Tech. rept. SFB124-15\/92","author":"R. Schwartz","year":"1992","unstructured":"Schwartz, R., and Martern, F. 1992. Detecting causal relationships in distributed computations: In search of the Holy Grail. Tech. rept. SFB124-15\/92, Dept. of Comp. Sci., Univ. of Kaiserslautern, Kaiserslautern, Germany."},{"key":"BF01901615_CR12","unstructured":"Tai, K.-C., and Ahuja, S. 1987. Reproducible testing of communication software. InProc., IEEE COMPSAC '87, pp. 331\u2013337."}],"container-title":["The Journal of Supercomputing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01901615.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01901615\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01901615","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,10]],"date-time":"2019-05-10T12:14:48Z","timestamp":1557490488000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01901615"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,12]]},"references-count":12,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1995,12]]}},"alternative-id":["BF01901615"],"URL":"https:\/\/doi.org\/10.1007\/bf01901615","relation":{},"ISSN":["0920-8542","1573-0484"],"issn-type":[{"value":"0920-8542","type":"print"},{"value":"1573-0484","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,12]]}}}