机构

• 软件研究所 [6]
• 遥感与数字地球研究所 [2]
• 沈阳自动化研究所 [1]

采集方式

• OAI收割 [9]

内容类型

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

发表日期

• 2012 [1]
• 2011 [1]
• 2010 [1]
• 2009 [2]
• 2007 [1]
• 2005 [3]
• 更多

学科主题

• Computer S... [1]

筛选

浏览/检索结果: 共9条，第1-9条 帮助 条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择提交时间升序提交时间降序发表日期升序发表日期降序题名升序题名降序作者升序作者降序 Simulation of genetic algorithm scheduling on extendsim based on COM technology 会议论文  OAI收割 2012 International Conference on Modelling, Identification and Control, ICMIC 2012, Wuhan, China, June 24-26, 2012 作者:  Zhang SS(张诗珊);  Peng H(彭慧);  Liu C(刘昶);  Yao LL(姚丽丽) 收藏  |   detecting and correcting the index of dae by the combinatorial relaxation algorithm 会议论文  OAI收割 2011 10th International Symposium on Distributed Computing and Applications to Business, Engineering and Science, DCABES 2011, Wuxi, Jiangsu, China, October 14 Yan Yongxin; Zhang Xiaolei; Wu Xuesong; Cao Jianwen   |  收藏  |   axiomatic temporal logic programs verification 会议论文  OAI收割 2010 4th International Symposium on Theoretical Aspects of Software Engineering, TASE 2010, Taipei, Taiwan, August 25, Yang Xiaoxiao; Duan Zhenhua   |  收藏  |   Sea surface simulation for SAR remote sensing based on the fractal model 会议论文  OAI收割 2009 IEEE International Geoscience and Remote Sensing Symposium, IGARSS 2009,, Cape Town, South africa, July 12, 2009 - July 17,2009 Guo, Ding; Gu, Xingfa; Yu, Tao; Li, Xiaoyin; Zheng, Jingjun; Xu, Hui 收藏  |   Wave simulation of SAR signal for two- dimensions sea surface 会议论文  OAI收割 2009 IEEE Circuits and Systems International Conference on Testing and Diagnosis, ICTD'09,, Chengdu, China, April 28, 2009 - April 29,2009 Guo, Ding; Gu, Xingfa; Yu, Tao; Li, Xiaoyin; Xu, Hui; Ma, Hongtao 收藏  |   efficient state space reduction for automata by fair simulation 会议论文  OAI收割 International Symposium on Fundamentals of Software Engineering, Tehran, IRAN, APR 17-19, Yi Jin; Zhang Wenhui   |  收藏  |   a formal description of secimos operating system 期刊论文  OAI收割 COMPUTER NETWORK SECURITY, PROCEEDINGS, 2005, 卷号: 3685, 页码: 286-297 Zhou ZY; Liang B; Jiang L; Shi WC; He YP   |  收藏  |   一种反应式SPM及其动态语义XYZ表示 期刊论文  OAI收割 Ruan Jian Xue Bao/Journal of Software, 2005, 卷号: 16, 期号: 11, 页码: 1876-1885 Dong Guang-Zhi; Liu Jun-Fei; Qi Xuan   |  收藏  |   a self-adaptive energy-aware data gathering mechanism for wireless sensor networks 会议论文  OAI收割 International Conference on Intelligent Computing, Hefei, PEOPLES R CHINA, AUG 23-26, Sun LM; Yan TX; Bi YZ; Zhu HS   |  收藏  |