位置：成果数据库 > 期刊 > 期刊详情页
基于偏序约简程序可达图的并发程序切片方法
  • ISSN号：0254-4164
  • 期刊名称：计算机学报
  • 时间：0
  • 页码：-
  • 分类：TP311.13[自动化与计算机技术—计算机软件与理论;自动化与计算机技术—计算机科学与技术] H146.3[语言文字—汉语]
  • 作者机构：[1]School of Computer Science and Engineering, Southeast University, Nanjing 210096, China, [2]State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing 210093, China, [3]Department of Computer Science and Technology, Nanjing University, Nanjing 210093, China
  • 相关基金：Supported by the National High-Yech Research and Development （863） Program of China （No. 2009AA01Z 147）, the National Natural Science Foundation of China （Nos. 61003156 and 90818027）, and the National Key Basic Research and Development （973） Program of China （No. 2009CB320703）
  • 相关项目：面向语义Web复杂应用环境的本体映射关键技术研究
作者： 戚晓芳|徐晓晶|江振亮|汪鹏|
关键词： 语义关系, 提取算法, 本体, 子图, 捕获, 语义匹配, 电路模型, 计算规则, ontology, ontology graph, semantic subgraph, ontology matching
中文摘要：

To whom correspondence should be addressed. E-mail： pwang@seu.edu.cn： Tel： 86-25-52090972

同期刊论文项目
面向语义Web复杂应用环境的本体映射关键技术研究
期刊论文 5 会议论文 22
并发程序切片及其关键技术研究
期刊论文 22 会议论文 5
同项目期刊论文
组合测试数据生成的交叉熵与粒子群算法及比较
Automatic identification of use cases from codes: A user's goal driven approach
基于程序切片的缓冲区溢出探测
基于形态分析识别设计模式中的集中管理式聚集
含指针程序的单子切片方法
Haskell平台下Web服务自动化测试
并发程序切片原型系统的设计与实现
一个设计模式自动识别技术研究框架
一种基于调用栈的组合式程序切片方法
t-维覆盖阵的递归构建
信息流安全技术回顾与展望
基于贡献调用栈抽取字符串的指针分析
一种组合式基于调用栈的程序切片方法
一种恢复状态模式的状态转换图的方法
Identifying extract class refactoring opportunities for internetware
Access control models for information retrieval in social network
Multithread Deterministic Replay Debugging: The State of the Art
Extracting Semantic Subgraphs to Capture the Real Meanings of Ontology Elements
期刊信息
  • 《计算机学报》
  • 北大核心期刊（2011版）
  • 主管单位:中国科学院
  • 主办单位:中国计算机学会 中国科学院计算技术研究所
  • 主编：孙凝晖
  • 地址：北京中关村科学院南路6号
  • 邮编：100190
  • 邮箱：cjc@ict.ac.cn
  • 电话：010-62620695
  • 国际标准刊号：ISSN：0254-4164
  • 国内统一刊号：ISSN：11-1826/TP
  • 邮发代号:2-833
  • 获奖情况:
  • 中国期刊方阵“双效”期刊
  • 国内外数据库收录:
  • 美国数学评论（网络版）,荷兰文摘与引文数据库,美国工程索引,美国剑桥科学文摘,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:48433