A label constraint reachability computation method on recursive partition

被引：0
|
作者：
College of Electronic Science and Engineering, National University of Defense Technology, Changsha [1 ]
410073, China
机构：
来源：
Guofang Keji Daxue Xuebao | / 5卷 / 98-104期
关键词：
Query processing;
D O I：
10.11887/j.cn.201405017
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [41] Symbolic reachability for process algebras with recursive data types
    Blom, Stefan
    van de Pol, Jaco
    THEORETICAL ASPECTS OF COMPUTING - ICTAC 2008, PROCEEDINGS, 2008, 5160 : 81 - 95
  • [42] Evaluation of Reachability Queries Based on Recursive DAG Decomposition
    Chen, Yangjun
    Chen, Yibin
    Zhang, Yifeng
    IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 2023, 35 (08) : 7935 - 7952
  • [43] A RECURSIVE AGGREGATION METHOD FOR THE COMPUTATION OF ELECTROMAGNETIC SCATTERING BY RANDOMLY DISTRIBUTED PARTICLES
    LU, CC
    CHEW, WC
    MICROWAVE AND OPTICAL TECHNOLOGY LETTERS, 1993, 6 (13) : 774 - 777
  • [44] An iterative method for the computation of the correlation matrix implied by a recursive path model
    Iaousse M.
    El Hadri Z.
    Hmimou A.
    El Kettani Y.
    Quality & Quantity, 2021, 55 (3) : 897 - 915
  • [45] Configuration reachability analysis of synchronized recursive timed automata
    Uezato Y.
    Minamide Y.
    2018, Japan Society for Software Science and Technology (35) : 140 - 168
  • [46] Efficient Partition of State Space for Parallel Reachability Analysis
    Bourahla, Mustapha
    Benmohamed, Mohamed
    3RD ACS/IEEE INTERNATIONAL CONFERENCE ON COMPUTER SYSTEMS AND APPLICATIONS, 2005, 2005,
  • [47] Stochastic reachability of a target tube: Theory and computation
    Vinod, Abraham P.
    Oishi, Meeko M. K.
    AUTOMATICA, 2021, 125
  • [48] Reachability Design Through Approximate Bayesian Computation
    Bentriou, Mahmoud
    Ballarini, Paolo
    Cournede, Paul-Henry
    COMPUTATIONAL METHODS IN SYSTEMS BIOLOGY (CMSB 2019), 2019, 11773 : 207 - 223
  • [49] Fast computation of reachability labeling for large graphs
    Cheng, Jiefeng
    Yu, Jeffrey Xu
    Lin, Xuemin
    Wang, Haixun
    Yu, Philip S.
    ADVANCES IN DATABASE TECHNOLOGY - EDBT 2006, 2006, 3896 : 961 - 979
  • [50] Efficient Bounded Reachability Computation for Rectangular Automata
    Chen, Xin
    Abraham, Erika
    Frehse, Goran
    REACHABILITY PROBLEMS, 2011, 6945 : 139 - +
12345