CORC

在结果中检索

CORC

浏览/检索结果: 共29条，第1-10条 帮助

限定条件    
已选(0)清除 条数/页：   排序方式：
Comment on "An Efficient and Stable Hydrodynamic Model With Novel Source Term Discretization Schemes for Overland Flow and Flood Simulations" by Xilin Xia et al. 其他
2018-01-01
作者:  Lu, Xinhua;  Mao, Bing;  Dong, Bingjiang
收藏  |  浏览/下载：8/0  |  提交时间：2019/12/05
Comment on "An Efficient and Stable Hydrodynamic Model With Novel Source Term Discretization Schemes for Overland Flow and Flood Simulations" by Xilin Xia et al. 其他
2018-01-01
作者:  Lu, Xinhua;  Mao, Bing;  Dong, Bingjiang
收藏  |  浏览/下载：11/0  |  提交时间：2019/12/05
How Do Assertions Impact Coverage-based Test-Suite Reduction? 其他
2017-01-01
Chen, Junjie; Bai, Yanwei; Hao, Dan; Zhang, Lingming; Zhang, Lu; Xie, Bing
收藏  |  浏览/下载：2/0  |  提交时间：2017/12/03
Optimal On-line Energy Management of Building Microgrid Based on Improved Grey Prediction Model 其他
2017-01-01
作者:  Chen, Ran;  Wang, Wei;  Shen, Bing;  Ren, Bo;  Lu, Wei
收藏  |  浏览/下载：7/0  |  提交时间：2019/12/05
Optimal On-line Energy Management of Building Microgrid Based on Improved Grey Prediction Model 其他
2017-01-01
作者:  Chen, Ran;  Wang, Wei;  Shen, Bing;  Ren, Bo;  Lu, Wei
收藏  |  浏览/下载：7/0  |  提交时间：2019/12/05
An Empirical Comparison of Compiler Testing Techniques 其他
2016-01-01
Chen, Junjie; Hu, Wenxiang; Hao, Dan; Xiong, Yingfei; Zhang, Hongyu; Zhang, Lu; Xie, Bing
收藏  |  浏览/下载：4/0  |  提交时间：2017/12/03
Test Case Prioritization for Compilers: A Text-Vector Based Approach 其他
2016-01-01
Chen, Junjie; Bai, Yanwei; Hao, Dan; Xiong, Yingfei; Zhang, Hongyu; Zhang, Lu; Xie, Bing
收藏  |  浏览/下载：2/0  |  提交时间：2017/12/03
Supporting Oracle Construction via Static Analysis 其他
2016-01-01
Chen, Junjie; Bai, Yanwei; Hao, Dan; Zhang, Lingming; Zhang, Lu; Xie, Bing; Mei, Hong
收藏  |  浏览/下载：2/0  |  提交时间：2017/12/03
Safe Memory-Leak Fixing for C Programs 其他
2015-01-01
Gao, Qing; Xiong, Yingfei; Mi, Yaqing; Zhang, Lu; Yang, Weikun; Zhou, Zhaoping; Xie, Bing; Mei, Hong
收藏  |  浏览/下载：2/0  |  提交时间：2017/12/03
FLOW  TOOL  
Summary-Based Context-Sensitive Data-Dependence Analysis in Presence of Callbacks 其他
2015-01-01
Tang, Hao; Wang, Xiaoyin; Zhang, Lingming; Xie, Bing; Zhang, Lu; Mei, Hong
收藏  |  浏览/下载：4/0  |  提交时间：2017/12/04

©版权所有 ©2017 CSpace - Powered by CSpace