机构

• 软件研究所 [15]

采集方式

• OAI收割 [15]

内容类型

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

发表日期

• 2012 [15]

学科主题

• Computer S... [2]
• Science & ... [1]

筛选

浏览/检索结果: 共15条，第1-10条 帮助 限定条件 发表日期：2012    专题：软件研究所    第一署名单位    第一作者单位    通讯作者单位     条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择提交时间升序提交时间降序题名升序题名降序作者升序作者降序发表日期升序发表日期降序 automata theory based on complete residuated lattice-valued logic: turing machines 期刊论文  OAI收割 Fuzzy Sets and Systems, 2012, 卷号: 208, 页码: 43-66 Wu Lihua; Qiu Daowen; Xing Hongyan   |  收藏  |  浏览/下载：13/0  |  提交时间：2012/11/12 on the complexity of minimizing probabilistic and quantum automata 期刊论文  OAI收割 Information and Computation, 2012, 卷号: 218, 页码: 36-53 Mateus Paulo; Qiu Daowen; Li Lvzhou   |  收藏  |  浏览/下载：13/0  |  提交时间：2012/11/12 a novel kernel for text categorization 会议论文  OAI收割 2012 IEEE International Conference on Computer Science and Automation Engineering, CSAE 2012, Zhangjiajie, China, May 25, 2012 - May 27, 2012 Zhang Lujiang; Hu Xiaohui   |  收藏  |  浏览/下载：9/0  |  提交时间：2013/09/22 Algorithms  Computer science  Support vector machines   a path-oriented approach to generating executable test sequences for extended finite state machines 会议论文  OAI收割 IEEE 6th International Symposium on Theoretical Aspects of Software Engineering, TASE 2012, Beijing, China, July 4, 2012 - July 6, 2012 Wu Tianyong; Yan Jun; Zhang Jian   |  收藏  |  浏览/下载：18/0  |  提交时间：2013/09/22 Automata theory  Computer aided software engineering  Computer software   a covert channel using core alternation 会议论文  OAI收割 26th IEEE International Conference on Advanced Information Networking and Applications Workshops, WAINA 2012, Fukuoka, Japan, March 26, 2012 - March 29, 2012 Li Yangwei; Shen Qingni; Zhang Cong; Sun Pengfei; Chen Ying; Qing Sihan   |  收藏  |  浏览/下载：19/0  |  提交时间：2013/09/22 Computer operating systems   virtual machine replay update: improved implementation for modern hardware architecture 会议论文  OAI收割 2012 IEEE 6th International Conference on Software Security and Reliability Companion, SERE-C 2012, Gaithersburg, MD, United states, June 20, 2012 - June 22, 2012 Yu Jiageng; Zhou Peng; Wu Yanjun; Zhao Chen   |  收藏  |  浏览/下载：12/0  |  提交时间：2013/09/22 C (programming language)  Hardware  Microprocessor chips  Security of data  Software reliability   universality probability of a prefix-free machine 期刊论文  OAI收割 Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 2012, 卷号: 370, 期号: 1971, 页码: 3488-3511 Barmpalias George; Dowe David L.   |  收藏  |  浏览/下载：12/0  |  提交时间：2013/09/17 Parallel processing systems   an overview on twin support vector machines 期刊论文  OAI收割 Artificial Intelligence Review, 2012, 页码: 1-8 Ding Shifei; Yu Junzhao; Qi Bingjuan; Huang Huajuan   |  收藏  |  浏览/下载：9/0  |  提交时间：2013/09/17 Eigenvalues and eigenfunctions  Research   word combination kernel for text categorization 期刊论文  OAI收割 Journal of Digital Information Management, 2012, 卷号: 10, 期号: 3, 页码: 202-211 Zhang Lujiang; Hu Xiaohui; Qin Shiyin   |  收藏  |  浏览/下载：11/0  |  提交时间：2013/09/17 Algorithms  Learning systems  Support vector machines   一种基于虚拟机的动态内存泄露检测方法 期刊论文  OAI收割 计算机应用与软件, 2012, 卷号: 29, 期号: 9, 页码: 10-13,153 蔡志强; 丁丽萍; 贺也平   |  收藏  |  浏览/下载：12/0  |  提交时间：2013/09/17 内存泄露  安全检测  虚拟机  Xen