{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:57:10Z","timestamp":1725562630071},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642148330"},{"type":"electronic","value":"9783642148347"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-14834-7_16","type":"book-chapter","created":{"date-parts":[[2010,8,10]],"date-time":"2010-08-10T16:50:55Z","timestamp":1281459055000},"page":"160-170","source":"Crossref","is-referenced-by-count":4,"title":["An Alternate Approach to Compute the Reliability of a Computer Communication Network Using Binary Decision Diagrams"],"prefix":"10.1007","author":[{"given":"Manoj","family":"Singhal","sequence":"first","affiliation":[]},{"given":"R. K.","family":"Chauhan","sequence":"additional","affiliation":[]},{"given":"Girish","family":"Sharma","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"16_CR1","unstructured":"Bobbio, A., Ferraris, C., Terruggia, R.: New Challenges in Network Reliability Analysis. Technical Report, TR-INF-UNIPMN, pp. 1\u20138 (2006)"},{"issue":"59","key":"16_CR2","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1016\/0951-8320(93)90060-C","volume":"5","author":"A. Rauzy","year":"1993","unstructured":"Rauzy, A.: New algorithms for fault tolerant trees analysis. Reliability Engineering and System Safety\u00a05(59), 203\u2013211 (1993)","journal-title":"Reliability Engineering and System Safety"},{"issue":"1","key":"16_CR3","doi-asserted-by":"publisher","first-page":"96","DOI":"10.1109\/TR.2003.809272","volume":"R-52","author":"A. Rauzy","year":"2003","unstructured":"Rauzy, A.: A new methodology to handle Boolean models with loops. IEEE Trans. Reliability\u00a0R-52(1), 96\u2013105 (2003)","journal-title":"IEEE Trans. Reliability"},{"key":"16_CR4","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1002\/net.3230130107","volume":"13","author":"A. Satyanarayana","year":"1983","unstructured":"Satyanarayana, A., Chang, M.K.: Network reliability and the factoring theorem. Networks\u00a013, 107\u2013120 (1983)","journal-title":"Networks"},{"key":"16_CR5","doi-asserted-by":"publisher","first-page":"509","DOI":"10.1109\/TC.1978.1675141","volume":"C-27","author":"B. Akers","year":"1978","unstructured":"Akers, B.: Binary decision diagrams. IEEE Trans. Computers\u00a0C-27, 509\u2013516 (1978)","journal-title":"IEEE Trans. Computers"},{"key":"16_CR6","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1007\/978-1-4612-1782-4_20","volume-title":"Statistical and Probabilistic Models in Reliability","author":"C. Lucet","year":"1999","unstructured":"Lucet, C., Manouvrier, J.-F.: Exact methods to compute network reliability. In: Ionescu, D.C., Limnios, N. (eds.) Statistical and Probabilistic Models in Reliability, pp. 279\u2013294. Birkhauser, Boston (1999)"},{"issue":"4","key":"16_CR7","first-page":"443","volume":"R-51","author":"F. Yeh","year":"2002","unstructured":"Yeh, F., Lu, S., Kuo, S.: OBDD-based evaluation of k-terminal network reliability. IEEE Trans. Reliability\u00a0R-51(4), 443\u2013451 (2002)","journal-title":"IEEE Trans. Reliability"},{"key":"16_CR8","unstructured":"Hardy, G., Lucet, C., Limnios, N.: Computing all-terminal reliability of stochastic networks with binary decision diagrams. In: Proc.11th International Symposium on Applied Stochastic Models and Data Analysi., pp. 1468\u20131473 (2005)"},{"issue":"5","key":"16_CR9","first-page":"714","volume":"E82-A","author":"H. Imai","year":"1999","unstructured":"Imai, H., Sekine, K., Imai, K.: Computational investigations of all terminal network reliability via BDDs. IEICE Transactions on Fundamentals\u00a0E82-A(5), 714\u2013721 (1999)","journal-title":"IEICE Transactions on Fundamentals"},{"key":"16_CR10","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1016\/0166-218X(95)00032-M","volume":"65","author":"J. Carlier","year":"1996","unstructured":"Carlier, J., Lucet, C.: A decomposition algorithm for network reliability evaluation. Discrete Applied Mathematics\u00a065, 141\u2013156 (1996)","journal-title":"Discrete Applied Mathematics"},{"issue":"1","key":"16_CR11","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1109\/TR.1981.5220959","volume":"R-30","author":"J.P. Gadani","year":"1981","unstructured":"Gadani, J.P.: System effectiveness evaluation using star and delta transformations. IEEE Trans. Reliability\u00a0R-30(1), 43\u201347 (1981)","journal-title":"IEEE Trans. Reliability"},{"issue":"3","key":"16_CR12","doi-asserted-by":"publisher","first-page":"694","DOI":"10.1137\/0215050","volume":"15","author":"J.S. Provan","year":"1986","unstructured":"Provan, J.S.: The complexity of reliability computations on planar and acyclic graphs. SIAM J. Computing\u00a015(3), 694\u2013702 (1986)","journal-title":"SIAM J. Computing"},{"issue":"3","key":"16_CR13","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1109\/TR.1986.4335422","volume":"R-35","author":"M.O. Ball","year":"1986","unstructured":"Ball, M.O.: Computational complexity of network reliability analysis An overview. IEEE Trans. Reliability\u00a0R-35(3), 230\u2013239 (1986)","journal-title":"IEEE Trans. Reliability"},{"issue":"4","key":"16_CR14","doi-asserted-by":"publisher","first-page":"436","DOI":"10.1109\/TR.1987.5222436","volume":"R-36","author":"M.O. Locks","year":"1987","unstructured":"Locks, M.O.: A minimizing algorithm for sum of disjoint products. IEEE Trans. Reliability\u00a0R-36(4), 436\u2013445 (1987)","journal-title":"IEEE Trans. Reliability"},{"issue":"1","key":"16_CR15","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0026-2714(94)P1833-X","volume":"35","author":"M.S. Choi","year":"1985","unstructured":"Choi, M.S., Jun, C.H.: Some variant of polygon-to-chain reductions in evaluating reliability of undirected network. Microelectron Reliability\u00a035(1), 1\u201311 (1985)","journal-title":"Microelectron Reliability"},{"issue":"3","key":"16_CR16","first-page":"22","volume":"III","author":"M. Singhal","year":"2009","unstructured":"Singhal, M., Chauhan, R.K., Sharma, G.: Use of Modified Binary Decision Diagrams in Reliability Evaluation of a Directed Computer Communication Network. The Icfai University Journal of Computer Sciences\u00a0III(3), 22\u201330 (2009)","journal-title":"The Icfai University Journal of Computer Sciences"},{"issue":"4","key":"16_CR17","first-page":"230","volume":"1","author":"M. Singhal","year":"2010","unstructured":"Singhal, M., Chauhan, R.K., Sharma, G.: A New Optimal Approach for evaluating the size of BDD (Binary Decision Diagram) for calculating the Reliability of a CCN (Computer Communication Network). International Journal of Advanced Networking and Applications\u00a01(4), 230\u2013235 (2010)","journal-title":"International Journal of Advanced Networking and Applications"},{"key":"16_CR18","unstructured":"Singhal, M., Chauhan, R.K., Sharma, G.: Effects of Variable Ordering on Binary Decision Diagrams for Computation of Reliability of a Computer Communication Network. Journal of Computer Science (accepted 2010)"},{"key":"16_CR19","doi-asserted-by":"crossref","unstructured":"Coudert, O., Madre, J.C.: Implicit and incremental computation of primes and essential primes of Boolean functions. In: Proc. of the 29th ACM\/IEEE Design Automation Conference, pp. 36\u201339 (1992)","DOI":"10.1109\/DAC.1992.227866"},{"key":"16_CR20","doi-asserted-by":"publisher","first-page":"210","DOI":"10.1109\/24.87131","volume":"R-40","author":"O. Theologou","year":"1991","unstructured":"Theologou, O., Carlier, J.: Factoring and reductions for networks with imperfect vertices. IEEE Trans. Reliability\u00a0R-40, 210\u2013217 (1991)","journal-title":"IEEE Trans. Reliability"},{"issue":"3","key":"16_CR21","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1145\/136035.136043","volume":"24","author":"R.E. Bryant","year":"1992","unstructured":"Bryant, R.E.: Symbolic Boolean manipulation with ordered binary-decision diagrams. ACM Computing Surveys\u00a024(3), 293\u2013318 (1992)","journal-title":"ACM Computing Surveys"},{"key":"16_CR22","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1002\/net.3230150204","volume":"15","author":"R.K. Wood","year":"1985","unstructured":"Wood, R.K.: A factoring algorithm using polygon-to-chain reductions for computing K-terminal network reliability. Networks\u00a015, 173\u2013190 (1985)","journal-title":"Networks"},{"issue":"10","key":"16_CR23","doi-asserted-by":"publisher","first-page":"1224","DOI":"10.1109\/TC.1987.1676862","volume":"C-36","author":"S. Hariri","year":"1987","unstructured":"Hariri, S., Raghavendra, C.S.: SYREL- A symbolic reliability algorithm based on path and cut set methods. IEEE Trans. Computers\u00a0C-36(10), 1224\u20131232 (1987)","journal-title":"IEEE Trans. Computers"},{"issue":"5","key":"16_CR24","doi-asserted-by":"publisher","first-page":"484","DOI":"10.1109\/24.9868","volume":"R-27","author":"S.H. Ahmad","year":"1988","unstructured":"Ahmad, S.H.: Simple enumeration of minimal cut sets of acyclic directed graph. IEEE Trans. Reliability\u00a0R-27(5), 484\u2013487 (1988)","journal-title":"IEEE Trans. Reliability"},{"key":"16_CR25","doi-asserted-by":"crossref","unstructured":"Friedman, S.J., Supowit, K.J.: Finding the optimal variable ordering for binary decision diagrams. In: Proc. 24th ACM\/IEEE Conference on Design Automation, pp. 348\u2013356 (1987)","DOI":"10.1145\/37888.37941"},{"issue":"5","key":"16_CR26","doi-asserted-by":"publisher","first-page":"710","DOI":"10.1109\/12.53586","volume":"C-39","author":"S.J. Friedman","year":"1990","unstructured":"Friedman, S.J., Supowit, K.J.: Finding an optimal variable ordering for binary decision diagrams. IEEE Trans. Computers\u00a0C-39(5), 710\u2013713 (1990)","journal-title":"IEEE Trans. Computers"},{"issue":"3","key":"16_CR27","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1109\/24.799845","volume":"48","author":"S. Kuo","year":"1999","unstructured":"Kuo, S., Yeh, S., Lu, Y.F.: Determining terminal pair reliability based on edge expansion diagrams using OBDD. IEEE Trans. Reliability\u00a048(3), 234\u2013246 (1999)","journal-title":"IEEE Trans. Reliability"},{"key":"16_CR28","unstructured":"Zang, X., Sun, H., Trivedi, K.S.: A BDD-based algorithm for reliability Graph Analysis. Technical Report, \n                    \n                      http:\/\/www.ee.duke.edu\/~hairong\/workinduke\/relgrap"}],"container-title":["Communications in Computer and Information Science","Contemporary Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-14834-7_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T12:39:22Z","timestamp":1619786362000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-14834-7_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642148330","9783642148347"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-14834-7_16","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2010]]}}}