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

Search Results

Help

Item hits: (Results 1-10 of 51)

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)

 
Detecting API documentation errors [期刊论文]
ACM SIGPLAN Notices, 2013-01-01, 卷号: 48, 期号: 10, 页码: 803-815
Zhong, Hao (1); Su, Zhendong (2)

 
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)

 
generating open api usage rule from error descriptions [会议论文]
2013 IEEE 7th International Symposium on Service-Oriented System Engineering, SOSE 2013, Redwood City, San Francisco Bay, CA, United states, March 25, 2013 - March 28, 2013
Gao Chushu; Wei Jun

 
legendre spectral galerkin method for electromagnetic scattering from large cavities [期刊论文]
SIAM Journal on Numerical Analysis, 2013-01-01, 卷号: 51, 期号: 1, 页码: 353-376
Li Huiyuan; Ma Heping; Sun Weiwei

 
semi-static detection of runtime type errors in component-based java programs [会议论文]
19th Asia-Pacific Software Engineering Conference, APSEC 2012, Hong Kong, China, December 4, 2012 - December 7, 2012
Zhou Xiaowei; Zhang Wenbo; Zhang Jianhua

 
baggy bounds with accurate checking [会议论文]
23rd IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2012, Dallas, TX, United states, November 27, 2012 - November 30, 2012
Ding Baozeng; He Yeping; Wu Yanjun; Miller Alex; Criswell John

 
mode switching techniques through pen and device profiles [会议论文]
10th Asia-Pacific Conference on Computer-Human Interaction, APCHI 2012, Matsue-city, Shimane, Japan, August 28, 2012 - August 31, 2012
Tu Huawei; Yang Xing-Dong; Wang Feng; Tian Feng; Ren Xiangshi

 
a "hybrid" approach for synthesizing optimal controllers of hybrid systems: a case study of the oil pump industrial example [会议论文]
18th International Symposium on Formal Methods, FM 2012, Paris, France, August 27, 2012 - August 31, 2012
Zhao Hengjun; Zhan Naijun; Kapur Deepak; Larsen Kim G.

 
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

 

1 2 3 4 5 6 next

 

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