机构

• 软件研究所 [8]
• 新疆生态与地理研究所 [2]
• 计算技术研究所 [1]
• 遥感与数字地球研究所 [1]
• 合肥物质科学研究院 [1]

采集方式

• OAI收割 [13]

内容类型

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

发表日期

• 2021 [1]
• 2019 [1]
• 2014 [1]
• 2012 [1]
• 2011 [2]
• 2010 [2]
• 更多

学科主题

• Computer S... [3]
• Engineerin... [1]
• Hardware &... [1]
• Software ... [1]

筛选

浏览/检索结果: 共13条，第1-10条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序作者升序作者降序 Preliminary design of real-time plasma control system for CFETR 期刊论文  OAI收割 FUSION ENGINEERING AND DESIGN, 2021, 卷号: 173 作者:  Yuan, Q. P.;  Guo, H. R.;  Yan, L. L.;  Huang, Z. M.;  Huang, J. J.   |  收藏  |  浏览/下载：60/0  |  提交时间：2021/11/01 Real-time plasma control system  Control framework  PCS software development platform  PCS verification platform   Dynamic Packet Forwarding Verification in SDN 期刊论文  OAI收割 IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, 2019, 卷号: 16, 期号: 6, 页码: 915-929 作者:  Li, Qi;  Zou, Xiaoyue;  Huang, Qun;  Zheng, Jing;  Lee, Patrick P. C.   |  收藏  |  浏览/下载：33/0  |  提交时间：2020/12/10 Control systems  Cryptography  Protocols  IP networks  Software  Prototypes  Delays  Software-defined networking  attacks  forwarding verification   带时间和资源约束的实例化过程模型验证方法 期刊论文  OAI收割 计算机系统应用, 2014, 期号: 10, 页码: 172-177 李伟亨; 谢淼; 翟健; 杨秋松   |  收藏  |  浏览/下载：23/0  |  提交时间：2014/12/16 实例化过程模型  软件过程  建模  验证  模型检测  形式化方法  process instantiation model  software process  modeling verification  model checking  formal method   电子政务软件可靠性评测方法初探 期刊论文  OAI收割 Computer Applications and Software, 2012, 卷号: 29, 期号: 3, 页码: 41037 陈心光; 刘彦斌   |  收藏  |  浏览/下载：23/0  |  提交时间：2012/11/12 Electronic government software  Evaluation test of reliability  Verification test of reliability   automatic verification of optimization algorithms: a case study of a quadratic assignment problem solver 期刊论文  OAI收割 International Journal of Software Engineering and Knowledge Engineering, 2011, 卷号: 21, 期号: 2, 页码: 289-307 Merkel Robert; Wang Daoming; Lin Huimin; Chen Tsong Yueh   |  收藏  |  浏览/下载：34/0  |  提交时间：2013/10/08 Computer software selection and evaluation  Optimization  Verification   A practical approach to assertion testing framework based on inner class 会议论文  OAI收割 2011 IEEE 2nd International Conference on Software Engineering and Service Science, ICSESS 2011,, Beijing, China, July 15, 2011 - July 17,2011 Qu, Guodong; Guo, Song-Tao; Zhang, Hongqun 收藏  |  浏览/下载：25/0  |  提交时间：2014/12/07 Software testing  Computer software selection and evaluation  Java programming language  Verification   model checking a secure hypervisor 会议论文  OAI收割 Wuhan Sunlv Wang; Jian Liu; Qiuping Yi; Xian Zhang   |  收藏  |  浏览/下载：21/0  |  提交时间：2011/03/31 CAS monitor  Spin PROMELA language  model checking  platform-virtualization software  secure hypervisor  formal verification  operating systems (computers)  security of data  virtual machines   quantitative analysis of requirements evolution across multiple versions of an industrial software product 会议论文  OAI收割 17th Asia Pacific Software Engineering Conference: Software for Improving Quality of Life, APSEC 2010, Sydney, NSW, 40850 Hailong Wang; Juan Li; Qing Wang; Ye Yang   |  收藏  |  浏览/下载：26/0  |  提交时间：2011/03/31 defect estimation  industrial software product  quantitative analysis  requirements evolution  software engineering  software organization  formal specification  formal verification  software houses  software metrics  systems analysis   improved bounded model checking for the universal fragment of ctl 期刊论文  OAI收割 JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2009, 卷号: 24, 期号: 1, 页码: 96-109 Xu Liang; Chen Wei; Xu Yan-Yan; Zhang Wen-Hui   |  收藏  |  浏览/下载：20/0  |  提交时间：2011/03/18 software verification  model checking algorithm  bounded model checking  ACTL  SAT   Research on a scalable parallel data mining algorithm 会议论文  OAI收割 5th International Joint Conference on INC, IMS, and IDC, Seoul, Korea, Republic of, 2009 Wang; Jinlin1; 2; Chen; Xi1; Zhou; Kefa1 收藏  |  浏览/下载：29/0  |  提交时间：2011/08/23 Computational complexity - Computational efficiency - Information management - Parallel algorithms - Research - Semiconductor storage - Active field - Data mining algorithm - Domain of knowledge - Experimental verification - Hardware and software - Massive data - Network monitoring systems - Parallel data mining - Projection database - Real-world application - Sensor grids - Sequential patterns - Sequential-pattern mining - Spatial complexity - Streaming data