New algorithm of computer generation of symbolic network functions

被引：0
|
作者：
Pu, Lixin
Lan, Jailong
机构：
来源：
Dianzi Keji Daxue Xuebao/Journal of University of Electronic Science and Technology of China | 1994年 / 23卷 / 02期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [31] Global optimization of a class of radical functions using a symbolic algorithm
    Chengdu Inst. of Computer Application, Chinese Acad. of Sci., Chengdu 610041, China
    Sichuan Daxue Xuebao (Gongcheng Kexue Ban), 2008, 6 (140-143):
  • [32] A New Algorithm for Partitioned Symbolic Reachability Analysis
    Lampka, Kai
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 223 (0C) : 137 - 151
  • [33] An Algorithm for Multiplex Network Generation
    Wu Kezhen
    Zou Weifu
    Yao Yiyang
    Zhou Yinzuo
    PROCEEDINGS OF THE 35TH CHINESE CONTROL CONFERENCE 2016, 2016, : 1230 - 1235
  • [34] NEW ALGORITHM FOR SYMBOLIC SYSTEM RELIABILITY ANALYSIS
    LIN, PM
    LEON, BJ
    HUANG, TC
    IEEE TRANSACTIONS ON RELIABILITY, 1976, 25 (01) : 2 - 15
  • [35] A new symbolic substitution based addition algorithm
    Imam, T
    Kaykobad, M
    COMPUTERS & MATHEMATICS WITH APPLICATIONS, 2005, 50 (8-9) : 1303 - 1310
  • [36] A new double scheduling DBA algorithm for next generation access network
    Chen, Wei
    Song, Jingtao
    Leng, Jinan
    Lu, Hanyang
    SNPD 2007: EIGHTH ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCE, NETWORKING, AND PARALLEL/DISTRIBUTED COMPUTING, VOL 2, PROCEEDINGS, 2007, : 673 - +
  • [37] A new analytical algorithm and generation of Gaussian quadrature formula for stochastic network
    Ghomi, SMTF
    Hashemin, SS
    EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, 1999, 114 (03) : 610 - 625
  • [38] Symbolic Execution for Network Functions with Time-Driven Logic
    Sharma, Harsha
    Wu, Wenfei
    Deng, Bangwen
    2020 IEEE 28TH INTERNATIONAL SYMPOSIUM ON MODELING, ANALYSIS, AND SIMULATION OF COMPUTER AND TELECOMMUNICATION SYSTEMS (MASCOTS 2020), 2020, : 25 - 32
  • [39] Symbolic Algorithm for Generation Buchi Automata from LTL Formulas
    Shoshmina, Irina V.
    Belyaev, Alexey B.
    PARALLEL COMPUTING TECHNOLOGIES, 2011, 6873 : 98 - 109
  • [40] GENERATION OF DESCRETE FUNCTIONS WITHIN A DIGITAL COMPUTER
    DEJKA, WJ
    IRE TRANSACTIONS ON AUTOMATIC CONTROL, 1962, AC 7 (04): : 56 - &
12345