• 个人主页: 点击访问
  • 所属院系:计算机学院(软件学院)
年份: ~

按条件检索“2”条记录

已选条件:
导出
  • 排序
  • 显示
1. Fault diagnosis in hypercube multiprocessor systems SCIE SCOPUS 期刊论文 认领

作者:Song, XY;Ye, XM;Zhou, JT

作者全称:Song, XY;Ye, XM;Zhou, JT

作者机构:[Song, XY; Ye, XM; Zhou, JT]Univ Montreal, Dept IRO, Montreal, PQ H3C 3J7, Canada., Inner Mongolia Univ, Coll Comp Sci, Hohhot, Peoples R China.

第一署名单位:[Song, XY; Ye, XM; Zhou, JT]Univ Montreal, Dept IRO, Montreal, PQ H3C 3J7, Canada., Inner Mongolia Univ, Coll Comp Sci, Hohhot, Peoples R China.

第一作者:Song, XY

通讯作者:Song, XY

通讯作者地址:Song, XY (reprint author), Univ Montreal, Dept IRO, CP 6128,Succ Ctr Ville, Montreal, PQ H3C 3J7, Canada.

来源:INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS,2001,Vol.77,Issue.3

JCR分区:MATHEMATICS, APPLIED为Q2

中科院分区:大类数学3区;小类应用数学4区

(JCR)当年影响因子:1.054

(JCR)5年影响因子:0.991

ESI学科:ENGINEERING

教育部学科:数学,控制科学与工程,软件工程,计算机科学与技术

关键词:hypercube; clustered faults; diagnosis method

摘要:Hypercubes are viewed as good candidates for parallel processing, because a number of topologies, such as rings, trees, and meshes, can be mapped onto 更多

2. On conformance testing of non-deterministic systems SCIE 期刊论文 认领

作者:Ye, XM;Zhou, JT;Song, XY;Liu, YM

作者全称:Ye, XM;Zhou, JT;Song, XY;Liu, YM

作者机构:[Ye, XM; Zhou, JT; Song, XY; Liu, YM]Inner Mongolia Univ, Coll Comp Sci, Hohhot, Peoples R China., Univ Montreal, Dept Informat, Montreal, PQ 更多

第一署名单位:[Ye, XM; Zhou, JT; Song, XY; Liu, YM]Inner Mongolia Univ, Coll Comp Sci, Hohhot, Peoples R China., Univ Montreal, Dept Informat, Montreal, PQ H3C 3J7, Canada.

第一作者:Ye, XM

通讯作者:Song, XY

通讯作者地址:Song, XY (reprint author), Portland State Univ, Dept Elect & Comp Engn, POB 751, Portland, OR 97207 USA.

来源:INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS,2001,Vol.77,Issue.1

JCR分区:MATHEMATICS, APPLIED为Q2

中科院分区:大类数学3区;小类应用数学4区

(JCR)当年影响因子:1.054

(JCR)5年影响因子:0.991

ESI学科:ENGINEERING

教育部学科:数学,控制科学与工程,软件工程,计算机科学与技术

关键词:conformance testing; labeled transition system; non-determinacy;; observational equivalence; distinguishing sequence of a set; test; sequence tree; test path selection

摘要:Conformance testing aims at checking if an implementation conforms to its specification. This paper presents the definition of distinguishing sequence 更多

更新时间:Mar 28, 2019
TOP