中国科学院软件研究所机构知识库
Register
Email:
Passwd
验 证:
换一张
Have you forgotten your password? Log In
Advanced  
在结果中检索
  Communities
  Subjects
  All Items
作者
王健 [1]
Issued Date
Project
ISCAS OpenIR

Search Results

 Help

Item hits: (Results 1-10 of 27)

Items/Page:    Sort:
一种基于单条程序执行路径的错误定位方法 [期刊论文]
计算机系统应用, 2014-01-01, 期号: 10, 页码: 112-118
周艺; 易秋萍; 刘剑; 淮晓永

 
Web系统可用性自动化评估系统的设计与实现 [期刊论文]
计算机工程与设计, 2013-01-01, 卷号: 34, 期号: 10, 页码: 3649-3653
白志斌; 杨达; 李娟

 
design and implementation of cooperative platform for multiple devices based on multi-agent system in ubiquitous networking environment [会议论文]
6th China Conference of Wireless Sensor Networks, CWSN 2012, Huangshan, China, October 25, 2012 - October 27, 2012
Cao Hanzhen; Qin Weijun; Zhang Jiadi; Li Qiang; Liu Yan

 
integration of iot with smart grid [会议论文]
IET International Conference on Communication Technology and Application, ICCTA 2011, Beijing, China, October 14, 2011 - October 16, 2011
Chen Xi; Liu Jianming; Li Xiangzhen; Sun Limin; Zhen Yan

 
research on automated sorting algorithms generation based on par [期刊论文]
Ruan Jian Xue Bao/Journal of Software, 2012-01-01, 卷号: 23, 期号: 9, 页码: 2248-2260
Shi Hai-He; Xue Jin-Yun

 
using operational processes model to improve software development [会议论文]
2011 International Conference on Electrical Engineering and Automation, EEA 2011, Beijing, China, December 24, 2011 - December 25, 2011
Wulamu Aziguli; Wang Jian(王健); Zuo Chun

 
automated generation of readable proofs for constructive geometry statements with the mass point method [会议论文]
8th International Workshop on Automated Deduction in Geometry, ADG 2010, Munich, Germany, July 22, 2010 - July 24, 2010
Zou Yu; Zhang Jingzhong

 
a flexible official document system based on authority management [会议论文]
2011 International Conference on Business Management and Electronic Information, BMEI 2011, Guangzhou, China, 13-May-20
Wu Suyan; Li Wenbo
  |  
 
research and implementation on web services integration of automatic identification system [会议论文]
2011 3rd Pacific-Asia Conference on Circuits, Communications and System, PACCS 2011, Wuhan, China, 17-Jul-02
Yuan Yuqian; Hu Xiaohui; Yang Jie
  |  
 
an automatic testing approach for compiler based on metamorphic testing technique [会议论文]
17th Asia Pacific Software Engineering Conference: Software for Improving Quality of Life, APSEC 2010, Sydney, NSW, Australia, 40850
Tao Qiuming; Wu Wei; Zhao Chen; Shen Wuwei
  |  
 

1 2 3 next

 
Valid XHTML 1.0!
Copyright © 2007-2020  中国科学院软件研究所 - Feedback
Powered by CSpace