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

Search Results

Help

Item hits: (Results 1-10 of 10)

Filters    
Items/Page:    Sort:
Fourier spectral method for the modified Swift-Hohenberg equation [期刊论文]
ADVANCES IN DIFFERENCE EQUATIONS, 2013-01-01
Zhao, Xiaopeng; Liu, Bo; Zhang, Peng; Zhang, Wenyu; Liu, Fengnan

 
wielding statistical fault localization statistically [会议论文]
23rd IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2012, Dallas, TX, United states, November 27, 2012 - November 30, 2012
Zhang Yunqian; Chen Lin; Jiang Bo; Zhang Zhenyu

 
feature extraction using maximum variance sparse mapping [期刊论文]
Neural Computing and Applications, 2012-01-01, 卷号: 21, 期号: 8, 页码: 1827-1833
Liu Jin; Li Bo; Zhang Wen-Sheng

 
on the adoption of mc/dc and control-flow adequacy for a tight integration of program testing and statistical fault localization [期刊论文]
Information and Software Technology, 2012-01-01, 页码: -
Jiang Bo; Zhai Ke; Chan W.K.; Tse T.H.; Zhang Zhenyu

 
trcbc: another look at cbc-mac [期刊论文]
Information Processing Letters, 2012-01-01, 卷号: 112, 期号: 7, 页码: 302-307
Zhang Liting; Wu Wenling; Wang Peng; Liang Bo
  |  
 
a multi-cycle checkpointing protocol that ensures strict 1-rollback [期刊论文]
Information Processing Letters, 2012-01-01, 卷号: 112, 期号: 20, 页码: 788-793
Ci Yi-Wei; Zhang Zhan; Zuo De-Cheng; Wu Zhi-Bo; Yang Xiao-Zong
  |  
 
how well does test case prioritization integrate with statistical fault localization? [期刊论文]
Information and Software Technology, 2012-01-01, 卷号: 54, 期号: 7, 页码: 739-758
Jiang Bo; Zhang Zhenyu; Chan W.K.; Tse T.H.; Chen Tsong Yueh
  |  
 
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

 
high-order mrf prior based bayesian deblurring [期刊论文]
International Journal of Digital Content Technology and its Applications, 2011-01-01, 卷号: 5, 期号: 12, 页码: 383-392
Zhao Bo; Zhang Wensheng; Liu Jin; Ding Huan

 
approximation and hardness results for label cut and related problems [期刊论文]
Journal of Combinatorial Optimization, 2011-01-01, 卷号: 21, 期号: 2, 页码: 192-208
Zhang Peng; Cai Jin-Yi; Tang Lin-Qing; Zhao Wen-Bo
  |  
 

1

 

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