{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T09:40:19Z","timestamp":1649151619640},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1992,3,1]],"date-time":"1992-03-01T00:00:00Z","timestamp":699408000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computing"],"published-print":{"date-parts":[[1992,3]]},"DOI":"10.1007\/bf02241704","type":"journal-article","created":{"date-parts":[[2005,11,14]],"date-time":"2005-11-14T21:25:50Z","timestamp":1132003550000},"page":"21-37","source":"Crossref","is-referenced-by-count":0,"title":["Credible execution of bounded-time parallel systems with delayed diagnosis"],"prefix":"10.1007","volume":"48","author":[{"given":"R.","family":"Shankar","sequence":"first","affiliation":[]},{"given":"D. P.","family":"Miranker","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"BF02241704_CR1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1086.001.0001","volume-title":"Actors: A model of computation","author":"G. Agha","year":"1986","unstructured":"[Agh86] Agha, G.: Actors: A model of computation. Cambridge, Mass.: MIT Press 1986."},{"key":"BF02241704_CR2","unstructured":"[Agr85] Agrawal, P.: RAFT. A recursive algorithm for fault tolerance. In: Pro., International Conference on Parallel Processing, August 1985, pp. 814\u2013821."},{"key":"BF02241704_CR3","doi-asserted-by":"crossref","unstructured":"[AS82] Adams, G. B., Siegel, H. J.: The extra stage cube: A fault-tolerant interconnection network for supercomputers. IEEE Transactions on Computers1982, 443\u2013454.","DOI":"10.1109\/TC.1982.1676021"},{"key":"BF02241704_CR4","unstructured":"[BEG+90] Browne, J. C., Emerson, A., Gouda, M., Miranker, D. P., Mok, A., Rosier, L.: Bounded-time, fault-tolerance, rule-based systems. In: Proc Goddard Conference on Space Applications of Artificial Intelligence, 1990."},{"key":"BF02241704_CR5","volume-title":"Programming expert systems in OPS5","author":"L. Brownston","year":"1985","unstructured":"[BFKM85] Brownston L., Farrell, R., Kant, E., Martin, N.: Programming expert systems in OPS5. Reading Mass.: Addison-Wesley 1985."},{"key":"BF02241704_CR6","doi-asserted-by":"crossref","unstructured":"[CKWC90] Mok, A., Wang, C. K., Cheng A.: MRL: A real-time rule-based production system. In: Proc. 11th Real-Time Systems Symposium, December 1990, pp. 267\u2013276.","DOI":"10.1109\/REAL.1990.128757"},{"key":"BF02241704_CR7","volume-title":"Parallel program design: A foundation","author":"K. M. Chandy","year":"1988","unstructured":"[CM88] Chandy, K. M., Misra, J.: Parallel program design: A foundation Reading, Mass.: Addison-Wesley 1988."},{"key":"BF02241704_CR8","volume-title":"A discipline of programming","author":"E. W. Dijkstra","year":"1976","unstructured":"[Dij76] Dijkstra, E. W.: A discipline of programming: Englewood Cliffs, N.J.: Prentice-Hall 1976."},{"key":"BF02241704_CR9","doi-asserted-by":"crossref","unstructured":"[DM84] Dabhura, A. T., Masson, G. M.: AnO(n2.5) Fault identification algorithm for diagnosable systems. IEEE Transactions on Computers1984, 486\u2013492.","DOI":"10.1109\/TC.1984.1676472"},{"key":"BF02241704_CR10","unstructured":"[ER89] Fussel, D., Rangarajan, S.: Probabilistic diagnosis of multiprocessor systems. In: Fault-Tolerant Conference Symposium, 1989."},{"key":"BF02241704_CR11","doi-asserted-by":"crossref","unstructured":"[FWA87] Fuchs, W. K., Wu, K. L., Abraham, J. A.: Comparison and diagnosis of large replicated files. IEEE Transactions on Software Engineering1987, 15.","DOI":"10.1109\/TSE.1987.232561"},{"key":"BF02241704_CR12","unstructured":"[Kle75] Kleinrock, L.: Queueing systems, Vol. 1: Theory: Wiley 1975."},{"key":"BF02241704_CR13","unstructured":"[LFA90] Long, J., Fuchs, W. K., Abraham, J. A.: Forward recovery using checkpointing in parallel systems. In: Proc. IEEE International Conference on Parallel Processing, Vol. 1, pp. 272\u2013275."},{"key":"BF02241704_CR14","doi-asserted-by":"crossref","unstructured":"[Mal80] Malek, M.: A comparison connection assignment for diagnosis of multiprocessor systems, pp. 31\u201335, 1980.","DOI":"10.1145\/800053.801906"},{"key":"BF02241704_CR15","unstructured":"[Mir88] Miranker, D. P.: A high level language approach to the Fault tolerant exectuation of AI expert systems. Artificial Intelligence Laboratory, University of Texas at Austin, March 1988, Technical Report AI88-71."},{"key":"BF02241704_CR16","unstructured":"[MKB90] Miranker, D. P., Kuo, C. M., Browne, J. C.: Parallelizing compilation of rule-based programs. In: Proc. IEEE International Conference on Parallel Processing, 1990, Vol. 2, pp. 247\u2013251."},{"key":"BF02241704_CR17","doi-asserted-by":"crossref","unstructured":"[ML90] Miranker, D. P., Lofaso, B. J.: The organization and performance of a treat-based production system compiler. IEEE Trans. on Knowledge and Data Engineering1991, 3\u20139.","DOI":"10.1109\/69.75882"},{"key":"BF02241704_CR18","doi-asserted-by":"crossref","unstructured":"[Mok89] Mok, A.: Formal analysis of real-time equational rule-based. In: Proc., 10th Real-Time Systems Symposium, December 1989, pp. 308\u2013318.","DOI":"10.1109\/REAL.1989.63583"},{"key":"BF02241704_CR19","doi-asserted-by":"crossref","first-page":"848","DOI":"10.1109\/PGEC.1967.264748","volume":"16","author":"F. P. Preperate","year":"1967","unstructured":"[PMC67] Preperate, F. P., Metze, G., Chien, R. T.: On the connection assignment problem of diagnosable systems. IEEE Transactions on Elec. ComputersEC-16: 848\u2013854 (1967).","journal-title":"IEEE Transactions on Elec. Computers EC"},{"key":"BF02241704_CR20","unstructured":"[Pra82] Pradhan, D. K.: On a class of Fault-tolerant multiprocessor network architecture. 1982."},{"key":"BF02241704_CR21","unstructured":"[Sha90] Shankar, R.: Credible execution of parallel systems with delayed diagnosis. Master's thesis, Department of Electrical and Computer Engineering, University of Texas at Austin, 1990."},{"key":"BF02241704_CR22","unstructured":"[Sto84] Stolfo, S. J.: Five parallel algorithms for production system execution on the DADO machine. In: Proc. National Conference on Artificial Intelligence, Austin, Texas, August 1984."}],"container-title":["Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02241704.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02241704\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02241704","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,19]],"date-time":"2021-07-19T18:58:21Z","timestamp":1626721101000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02241704"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,3]]},"references-count":22,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1992,3]]}},"alternative-id":["BF02241704"],"URL":"https:\/\/doi.org\/10.1007\/bf02241704","relation":{},"ISSN":["0010-485X","1436-5057"],"issn-type":[{"value":"0010-485X","type":"print"},{"value":"1436-5057","type":"electronic"}],"subject":[],"published":{"date-parts":[[1992,3]]}}}