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

Search Results

Help

Item hits: (Results 1-10 of 10)

Items/Page:    Sort:
A class loading sensitive approach to detection of runtime type errors in component-based Java programs [期刊论文]
Information and Software Technology, 2014-01-01, 卷号: 56, 期号: 9, 页码: 1076-1085
Zhang, Wenbo (1); Zhou, Xiaowei (1); Zhang, Jianhua (1); Zhang, Zhenyu (1); Zhong, Hua (1)

 
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)

 
detection and extraction method for plaintext sequential lsb steganography [期刊论文]
Nanjing Li Gong Daxue Xuebao/Journal of Nanjing University of Science and Technology, 2012-01-01, 卷号: 36, 期号: UPPL.1, 页码: 12-17
Tian Yu-Guo; Lin Ze-Bing; Liu Jiu-Fen; Zhang Wei-Ming

 
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