机构

• 软件研究所 [9]

采集方式

• OAI收割 [9]

内容类型

• 期刊论文 [6]
• 会议论文 [3]

发表日期

• 2006 [1]
• 2005 [1]
• 2004 [2]
• 2003 [3]
• 2002 [1]
• 2001 [1]
• 更多

学科主题

• Computer S... [1]
• Computer S... [1]

筛选

浏览/检索结果: 共9条，第1-9条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序提交时间升序提交时间降序作者升序作者降序发表日期升序发表日期降序 model checking data consistency for cache coherence protocols 期刊论文  OAI收割 Springer New York LLC, 2006, 卷号: 21, 期号: 5 Monograph title:Special Issue Dedicated to the 20th Anniversary of NFSC, 页码: 765-775 Pan Hong; Lin Huimin; Lv Yi   |  收藏  |  浏览/下载：16/0  |  提交时间：2010/08/11 concurrent systems  cache coherence protocols  value-passing  symbolic transition graphs  model checking  VERIFICATION   extended symbolic transition graphs with assignment 会议论文  OAI收割 29th Annual International Computer Software and Applications Conference, Edinburgh, SCOTLAND, JUL 26-28, Deng WJ; Lin HM   |  收藏  |  浏览/下载：18/0  |  提交时间：2011/07/28 concurrent systems  process algebra  value-passing  symbolic transition graphs  verification  model checking  bisimulation checking   model checking real-time value-passing systems 期刊论文  OAI收割 JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2004, 卷号: 19, 期号: 4, 页码: 459-471 Chen J; Cao ZN   |  收藏  |  浏览/下载：12/0  |  提交时间：2011/07/29 model checking  real-time  value-passing  timed predicate mu-calculus   带复杂数据结构的模型检测工具 期刊论文  OAI收割 计算机研究与发展, 2004, 卷号: 41, 期号: 11, 页码: 1990-1999 张轶; 林惠民   |  收藏  |  浏览/下载：15/0  |  提交时间：2010/08/24 模型检测  传值进程  带赋值符号迁移图  谓词μ演算  复杂数据结构 model-checking  value-passing process  STGA  predicate μ-calculus  non-trivial data structures   on decidability and model checking for a first order modal logic for value-passing processes 期刊论文  OAI收割 SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2003, 卷号: 46, 期号: 1, 页码: 45-59 Xue R; Lin HM   |  收藏  |  浏览/下载：15/0  |  提交时间：2011/07/29 first order modal logic  decidability  model checking  value-passing processes   on decidability and model checking for a first order modal logic for value-passing processes 期刊论文  OAI收割 Science in China Series F: Information Sciences, 2003, 卷号: 46, 期号: 1, 页码: 45-59 Rui Xue; Lin Huimin   |  收藏  |  浏览/下载：10/0  |  提交时间：2010/08/24 first order modal logic  decidability  model checking  value-passing processes   making timed automata communicate 会议论文  OAI收割 10th Colloquium of the United-Nations-University-International-Institute-for-Software-Technolog y (UNU/ISST), Lisbon, PORTUGAL, MAR 18-20, Chen J; Lin HM   |  收藏  |  浏览/下载：15/0  |  提交时间：2011/07/29 real-time  value-passing  timed automata  timed symbolic transition graph   时间符号迁移图及其互模拟判定 期刊论文  OAI收割 计算机学报, 2002, 卷号: 25, 期号: 2, 页码: 113-121 陈靖; 林惠民   |  收藏  |  浏览/下载：16/0  |  提交时间：2010/08/24 并发  实时系统  数据传送  互模拟  时间符号迁移图 concurrency  real-time system  value-passing  bisimulation  timed symbolic transition graph   model checking value-passing processes 会议论文  OAI收割 8th Asia-Pacific Software Engineering Conference, MACAO, PEOPLES R CHINA, DEC 04-07, Lin HM   |  收藏  |  浏览/下载：13/0  |  提交时间：2011/07/29 model checking  mu-calculus  value-passing processes  verification algorithms