NEW ALGORITHM FOR SYMBOLIC RELIABILITY ANALYSIS

被引：0
|
作者：
SATYANARAYANA, A [1 ]
SIVARAMAKRISHNAN, H [1 ]
机构：
[1] INDIAN TEL IND LTD,DEPT RES,BANGALORE 560016,INDIA
来源：
IEEE TRANSACTIONS ON RELIABILITY | 1977年 / 26卷 / 01期
关键词：
D O I：
10.1109/TR.1977.5215070
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：38 / &
相关论文
共 50 条
  • [21] Supporting Algorithm Analysis with Symbolic Execution in Alk
    Lungu, Alexandru-Ioan
    Lucanu, Dorel
    THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, TASE 2022, 2022, 13299 : 406 - 423
  • [22] Symbolic algorithm analysis of rectangular hybrid systems
    Zhang, Haibin
    Duan, Zhenhua
    THEORY AND APPLICATIONS OF MODELS OF COMPUTATION, PROCEEDINGS, 2008, 4978 : 294 - 305
  • [23] INCREASE IN DECOMPOSITION ALGORITHM EFFICIENCY IN SYMBOLIC ANALYSIS
    YASTREBOV, NI
    IZVESTIYA VYSSHIKH UCHEBNYKH ZAVEDENII RADIOELEKTRONIKA, 1985, 28 (06): : 102 - 104
  • [24] NEW TOPOLOGICAL FORMULA AND RAPID ALGORITHM FOR RELIABILITY ANALYSIS OF COMPLEX NETWORKS
    SATYANARAYANA, A
    PRABHAKAR, A
    IEEE TRANSACTIONS ON RELIABILITY, 1978, 27 (02) : 82 - 100
  • [25] AN ALGORITHM FOR SYMBOLIC RELIABILITY COMPUTATION WITH PATH-SETS OR CUT-SETS
    FONG, CC
    BUZACOTT, JA
    IEEE TRANSACTIONS ON RELIABILITY, 1987, 36 (01) : 34 - 37
  • [26] Decision Diagram Based Symbolic Algorithm for Evaluating the Reliability of a Multistate Flow Network
    Dong, Rongsheng
    Zhu, Yangyang
    Xu, Zhoubo
    Li, Fengying
    MATHEMATICAL PROBLEMS IN ENGINEERING, 2016, 2016
  • [27] New algorithm of computer generation of symbolic network functions
    Pu, Lixin
    Lan, Jailong
    Dianzi Keji Daxue Xuebao/Journal of University of Electronic Science and Technology of China, 1994, 23 (02):
  • [28] A new algorithm for discrete timed symbolic model checking
    Ruf, J
    Kropf, T
    HYBRID AND REAL-TIME SYSTEMS, 1997, 1201 : 18 - 32
  • [29] Probabilistic transfer matrices in symbolic reliability analysis of logic circuits
    Krishnaswamy, Smita
    Viamontes, George F.
    Markov, Igor L.
    Hayes, John P.
    ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS, 2008, 13 (01)
  • [30] New algorithm for the weighted reliability of networks
    Liu, Chen
    Nanjing Youdian Xueyuan Xuebao/Journal of Nanjing Institute of Posts and Telecommunications, 2000, 20 (02): : 22 - 26
12345