{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,2]],"date-time":"2025-08-02T14:44:53Z","timestamp":1754145893024,"version":"3.41.2"},"reference-count":40,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"8","license":[{"start":{"date-parts":[[1982,8,1]],"date-time":"1982-08-01T00:00:00Z","timestamp":397008000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[1982,8,1]],"date-time":"1982-08-01T00:00:00Z","timestamp":397008000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[1982,8,1]],"date-time":"1982-08-01T00:00:00Z","timestamp":397008000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput."],"published-print":{"date-parts":[[1982,8]]},"DOI":"10.1109\/tc.1982.1676082","type":"journal-article","created":{"date-parts":[[2007,9,4]],"date-time":"2007-09-04T16:35:10Z","timestamp":1188923710000},"page":"752-771","source":"Crossref","is-referenced-by-count":12,"title":["Automatic Generation of Symbolic Reliability Functions for Processor-Memory-Switch Structures"],"prefix":"10.1109","volume":"C-31","author":[{"family":"Kini","sequence":"first","affiliation":[{"name":"Information Sciences Institute, University of Southern California"}]},{"family":"Siewiorek","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"year":"1976","author":"reiser","key":"ref39"},{"key":"ref38","first-page":"283","article-title":"computer aided system reliability analysis and optimization","author":"gandhi","year":"1972","journal-title":"Computer-Aided Design Proc IFIP Working Conf on Principles of Computer-Aided Design"},{"journal-title":"Automatic generation of reliability functions for processor?memory-switch structures","year":"1981","author":"kini","key":"ref33"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/TCSI.2006.883164"},{"key":"ref31","first-page":"637","article-title":"cm*: a modular, multi-microprocessor","volume":"46","author":"swan","year":"1977","journal-title":"AFIPS Conf Proc"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/1499949.1500061"},{"journal-title":"Combinatorial Algorithms for Computers and Calculators","year":"1978","author":"nijenhuis","key":"ref37"},{"journal-title":"Introduction to Combinatorial Mathematics","year":"1968","author":"liu","key":"ref36"},{"journal-title":"A 'neighbors class' node partitioning algorithm for finding symmetry classes in graphs","year":"0","author":"gaschnig","key":"ref35"},{"journal-title":"Statistical Theory of Reliability and Life Testing","year":"1975","author":"barlow","key":"ref34"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TR.1970.5216391"},{"year":"0","key":"ref40"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TR.1971.5216107"},{"journal-title":"Reliability computation from reliability block diagrams","year":"1971","author":"chelson","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TR.1972.5215997"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TR.1972.5215951"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TR.1978.5220266"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TR.1978.5220323"},{"journal-title":"A new formula and an algorithm for the reliability analysis of multi-terminal networks","year":"1980","author":"satyanarayana","key":"ref17"},{"key":"ref18","first-page":"3","article-title":"architecture of fault-tolerant computing systems","author":"avizienis","year":"1975","journal-title":"Proc Annu Symp Fault Tolerant Computing"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/800195.805940"},{"journal-title":"Probabilistic Reliability An Engineering Approach","year":"1968","author":"shooman","key":"ref28"},{"journal-title":"Reactor safety study?An assessment of accident risks in U S commercial nuclear power plants WASH1400 (NUREG-75\/014)","year":"0","key":"ref4"},{"key":"ref27","article-title":"computer-aided fault-tree synthesis","author":"powers","year":"1976","journal-title":"Chem Eng Progress"},{"key":"ref3","first-page":"7","author":"barlow","year":"1975","journal-title":"Reliability and Fault Tree Analysis Theoretical and Applied Aspects of System Reliability and Safety Assessment"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TCOM.1972.1091214"},{"journal-title":"MACSYMA Reference Manual","year":"1977","key":"ref29"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TR.1977.5215060"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1137\/0132031"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1002\/net.3230040202"},{"key":"ref2","first-page":"374","article-title":"failure modes, effects and criticality analysis","author":"greene","year":"1968","journal-title":"Proc 1968 IEEE Annu Symp on Rel"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1002\/net.3230100206"},{"journal-title":"Computer Structures Readings and Examples","year":"1971","author":"bell","key":"ref1"},{"key":"ref20","doi-asserted-by":"crossref","first-page":"1306","DOI":"10.1109\/T-C.1971.223132","article-title":"reliability modeling for fault-tolerant computers","volume":"c 20","author":"bouricius","year":"1971","journal-title":"IEEE Transactions on Computers"},{"key":"ref22","first-page":"108","article-title":"aries-an automated reliability estimation system for redundant digital structures","author":"ng","year":"1977","journal-title":"Proc 1977 Annu Rel Maintain Symp"},{"key":"ref21","first-page":"65","article-title":"automation of reliability evaluation procedures through carethe computer-aided reliability estimation program","author":"mathur","year":"1972","journal-title":"Proc Fall Joint Comput Conf AFIPS"},{"journal-title":"Journal of Information Technology","year":"1978","author":"landrault","key":"ref24"},{"key":"ref23","doi-asserted-by":"crossref","first-page":"1002","DOI":"10.1109\/TC.1980.1675495","article-title":"a unified reliability model for fault-tolerant computers","volume":"c 29","author":"ng","year":"1980","journal-title":"IEEE Trans Comput"},{"journal-title":"PMSL An interactive language for system-level description and analysis of computer structures","year":"1973","author":"knudsen","key":"ref26"},{"journal-title":"The Theory of Stochastic Processes","year":"1968","author":"cox","key":"ref25"}],"container-title":["IEEE Transactions on Computers"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/12\/35218\/01676082.pdf?arnumber=1676082","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,17]],"date-time":"2025-07-17T17:56:54Z","timestamp":1752775014000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/1676082\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1982,8]]},"references-count":40,"journal-issue":{"issue":"8"},"URL":"https:\/\/doi.org\/10.1109\/tc.1982.1676082","relation":{},"ISSN":["0018-9340","1557-9956","2326-3814"],"issn-type":[{"type":"print","value":"0018-9340"},{"type":"electronic","value":"1557-9956"},{"type":"electronic","value":"2326-3814"}],"subject":[],"published":{"date-parts":[[1982,8]]}}}