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

Search Results

Help

Item hits: (Results 1-8 of 8)

Filters    
Items/Page:    Sort:
Heuristic path pruning algorithm based on error handling pattern recognition in detecting vulnerability [会议论文]
2013 IEEE 37th Annual Computer Software and Applications Conference Workshops, COMPSACW 2013, Kyoto, Japan, July 22, 2013 - July 26, 2013
Chen, Dong (1); Zhang, Yang (1); Cheng, Liang (1); Deng, Yi (1); Sun, Xiaoshan (1)

 
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
  |  
 
adaptive correction of errors from recognized chinese ink texts based on context [会议论文]
2009 International Conference on Information Technology and Computer Science, ITCS 2009, Kiev, Ukraine, 37462
Zhang Xi-Wen; Fu Yong-Gang; Zhang Kun

 
an improved algorithm for eleman neural network by adding a modified error function [会议论文]
4th International Symposium on Neural Networks, ISNN 2007, Nanjing, China, 43985
Zhang Zhiqiang; Tang Zheng; Tang GuoFeng; Vairappan Catherine; Wang XuGang; Xiong RunQun
  |  
 
verification of actl properties by bounded model checking [会议论文]
11th International Conference on Computer Aided Systems Theory, Las Palmas, SPAIN, FEB 12-16,
Zhang Wenhui
  |  
 
model checking with sat-based characterization of actl formulas [会议论文]
9th International Conference on Formal Engineering Methods (ICFEM 2007), Boca Raton, FL, NOV 14-15,
Zhang Wenhui
  |  
 
evaluation of sat-based bounded model checking of actl properties [会议论文]
1st IEEE/IFIP International Symposium on Theoretical Aspects of Softwave Engineering, Shanghai, PEOPLES R CHINA, JUN 06-08,
Xu Yanyan; Chen Wei; Xu Liang; Zhang Wenhui
  |  
 
pitch estimation based on circular amdf [会议论文]
IEEE International Conference on Acoustics, Speech, and Signal Processing, ORLANDO, FL, MAY 13-17,
Zhang WY; Xu G; Wang YG
  |  
 

1

 

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