REACHABILITY

作品数：47被引量：85H指数：4
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：罗云峰肖人彬费奇王雪李建中更多>>
相关机构：华中理工大学哈尔滨工业大学东南大学复旦大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金中国博士后科学基金国家教育部博士点基金广西壮族自治区自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=Journal of Computer Science & Technologyx
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Reachability of Patterned Conditional Pushdown Systems
《Journal of Computer Science & Technology》2020年第6期1295-1311,共17页Xin Li Patrick Gardy Yu-Xin Deng Hiroyuki Seki 
This work was supported by the National Natural Science Foundation of China under Grant Nos.61802126,61672229,61832015 and 62072176;the Ministry of Science and Technology of the People’s Republic of China under Grant No.2018YFC0830400;Shanghai Pujiang Program under Grant No.17PJ1402200.
Conditional pushdown systems (CPDSs) extend pushdown systems by associating each transition rule with a regular language over the stack alphabet. The goal is to model program verification problems that need to examine...
关键词：conditional pushdown system PATTERN REACHABILITY saturation algorithm 
Answering Reachability Queries on Incrementally Updated Graphs by Hierarchical Labeling Schema被引量：1
《Journal of Computer Science & Technology》2016年第2期381-399,共19页Tak-Lam Wong 
We proposed a novel solution schema called the Hierarchical Labeling Schema （HLS） to answer reachability queries in directed graphs. Different from many existing approaches that focus on static directed acyclic grap...
关键词：graph indexing reachability query Hierarchical Labeling Schema （HLS） incremental update directed cyclic graph 
Zip： An Algorithm Based on Loser Tree for Common Contacts Searching in Large Graphs被引量：1
《Journal of Computer Science & Technology》2015年第4期799-809,共11页唐宏 牟帅 黄晋 朱佳 陈健 丁蕊 
The problem of k-hop reachability between two vertices in a graph has received considerable attention in recent years. A substantial number of algorithms have been proposed with the goal of improving the searching e？...
关键词：common contact k-hop query REACHABILITY social network 
An Abstract Reachability Approach by Combining HOL Induction and Multiway Decision Graphs被引量：2
《Journal of Computer Science & Technology》2009年第1期76-95,共20页Sa'ed Abed Otmane Ait Mohamed Ghiath Al-Sammane 
In this paper, we provide a necessary infrastructure to define an abstract state exploration in the HOL theorem prover. Our infrastructure is based on a deep embedding of the Multiway Decision Graphs （MDGs） theory i...
关键词：HOL theorem prover multiway decision graphs CORRECTNESS reachability analysis 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部