中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR

Search Results

Help

Item hits: (Results 51-60 of 112)

Items/Page:    Sort:
computing semi-algebraic invariants for polynomial dynamical systems [会议论文]
Embedded Systems Week 2011, ESWEEK 2011 - 9th ACM International Conference on Embedded Software, EMSOFT'11, Taipei, Taiwan, October 9,
Liu Jiang; Zhan Naijun; Zhao Hengjun

 
precise propagation of fault-failure correlations in program flow graphs [会议论文]
35th Annual IEEE International Computer Software and Applications Conference, COMPSAC 2011, Munich, Germany, July 18, 2
Zhang Zhenyu; Chan W.K.; Tse T.H.; Jiang Bo

 
improved mobile robot's corridor-scene classifier based on probabilistic spiking neuron model [会议论文]
10th IEEE International Conference on Cognitive Informatics and Cognitive Computing, ICCI*CC 2011, Banff, AB, Canada, August 18,
Wang Xiuqing; Hou Zeng-Guang; Tan Min; Wang Yongji; Fu Siyao; Chen Lihui

 
bench4q: a qos-oriented e-commerce benchmark [会议论文]
35th Annual IEEE International Computer Software and Applications Conference, COMPSAC 2011, Munich, Germany, July 18, 2
Zhang Wenbo; Wang Sa; Wang Wei; Zhong Hua

 
on-line cache strategy reconfiguration for elastic caching platform: a machine learning approach [会议论文]
35th Annual IEEE International Computer Software and Applications Conference, COMPSAC 2011, Munich, Germany, July 18, 2
Qin Xiulei; Zhang Wenbo; Wang Wei; Wei Jun; Zhong Hua; Huang Tao

 
program analysis: from qualitative analysis to quantitative analysis (nier track) [会议论文]
33rd International Conference on Software Engineering, ICSE 2011, Waikiki, Honolulu, HI, United states, 21-May-20
Liu Sheng; Zhang Jian
  |  
 
runtime monitoring of data-centric temporal properties for web services [会议论文]
2011 IEEE 9th International Conference on Web Services, ICWS 2011, Washington, DC, United states, 4-Jul-20
Wu Guoquan; Wei Jun; Ye Chunyang; Shao Xiaozhe; Zhong Hua; Huang Tao
  |  
 
tuple density: a new metric for combinatorial test suites (nier track) [会议论文]
33rd International Conference on Software Engineering, ICSE 2011, Waikiki, Honolulu, HI, United states, 21-May-20
Chen Baiqiang; Zhang Jian
  |  
 
value-based program characterization and its application to software plagiarism detection [会议论文]
33rd International Conference on Software Engineering, ICSE 2011, Waikiki, Honolulu, HI, United states, 21-May-20
Jhi Yoon-Chan; Wang Xinran; Jia Xiaoqi; Zhu Sencun; Liu Peng; Wu Dinghao
  |  
 
revisiting the power and equivalence of one-way quantum finite automata [会议论文]
6th International Conference on Intelligent Computing, ICIC 2010, Changsha, China, August 18,
Li Lvzhou; Qiu Daowen
  |  
 

previous 1 2 3 4 5 6 7 8 9 10 11 12 next

 

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