CSpace

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

已选(0)清除 条数/页:   排序方式:
Evaluating and Constraining Hardware Assertions with Absent Scenarios 期刊论文
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2020, 卷号: 35, 期号: 5, 页码: 1198-1216
作者:  Chao, Hui-Na;  Li, Hua-Wei;  Song, Xiaoyu;  Wang, Tian-Cheng;  Li, Xiao-Wei
收藏  |  浏览/下载:37/0  |  提交时间:2021/12/01
hardware formal verification  assertion generation  data mining  assertion evaluation  assertion coverage  
Tractable Coverage Analysis for Hexagonal Macrocell-Based Heterogeneous UDNs With Adaptive Interference-Aware CoMP 期刊论文
IEEE TRANSACTIONS ON WIRELESS COMMUNICATIONS, 2019, 卷号: 18, 期号: 1, 页码: 503-517
作者:  Liu, Ling;  Zhou, Yiqing;  Zhuang, Weihua;  Yuan, Jinhong;  Tian, Lin
收藏  |  浏览/下载:79/0  |  提交时间:2019/04/03
Coverage analysis  coordinated multi-point  heterogeneous ultra dense network  hexagonal macrocell  
Cooperative Multicast With Location Aware Distributed Mobile Relay Selection: Performance Analysis and Optimized Design 期刊论文
IEEE TRANSACTIONS ON VEHICULAR TECHNOLOGY, 2017, 卷号: 66, 期号: 9, 页码: 8291-8302
作者:  Zhou, Yiqing;  Liu, Hang;  Pan, Zhengang;  Tian, Lin;  Shi, Jinglin
收藏  |  浏览/下载:44/0  |  提交时间:2019/12/12
Coverage ratio  multicast  mobile relay selection  stochastic geometry  two-stage cooperative transmission  
Mapping Global Shipping Density from AIS Data 期刊论文
JOURNAL OF NAVIGATION, 2017, 卷号: 70, 期号: 1, 页码: 67-81
作者:  Wu, Lin;  Xu, Yongjun;  Wang, Qi;  Wang, Fei;  Xu, Zhiwei
收藏  |  浏览/下载:60/0  |  提交时间:2019/12/12
Automatic Identification System  Vessel Density  Traffic Density  AIS Receiving Network Coverage  
Advanced Coverage Optimization Techniques for Small Cell Clusters 期刊论文
CHINA COMMUNICATIONS, 2015, 卷号: 12, 期号: 8, 页码: 111-122
作者:  Huang Liang;  Zhou Yiqing;  Wang Yuanyuan;  Han Xue;  Shi Jinglin;  Chen Xunxun
收藏  |  浏览/下载:49/0  |  提交时间:2019/12/13
small cell cluster  coverage optimization  particle swarm optimization  game theory  
Leveraging data fusion to improve barrier coverage in wireless sensor networks 期刊论文
The Journal of China Universities of Posts and Telecommunications, 2013, 卷号: 20, 期号: 1, 页码: 26
作者:  Zhang Zhaoliang;  Li Dong;  Huang Tingpei;  Cui Li
收藏  |  浏览/下载:11/0  |  提交时间:2023/12/04
wireless sensor networks  coverage  deployment  data fusion  percolation theory  
Observability statement coverage based on dynamic factored use-definition chains for functional verification 期刊论文
JOURNAL OF ELECTRONIC TESTING-THEORY AND APPLICATIONS, 2006, 卷号: 22, 期号: 3, 页码: 273-285
作者:  Lv, Tao;  Fan, Jian-Ping;  Li, Xiao-Wei;  Liu, Ling-Yi
收藏  |  浏览/下载:43/0  |  提交时间:2019/12/16
design verification  coverage metrics  observability  dynamic factored use-definition chains  data-flow analysis  
An efficient evaluation and vector generation method for observability-enhanced statement coverage 期刊论文
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2005, 卷号: 20, 期号: 6, 页码: 875-884
作者:  Lu, W;  Yang, XT;  Lv, T;  Li, XW
收藏  |  浏览/下载:43/0  |  提交时间:2019/12/16
design verification  simulation  coverage metrics  observability  vector generation  
无权访问的条目 期刊论文
作者:  Wei Lu(鲁巍);  Xiu-Tao Yang(杨修涛);  Tao Lv(吕涛);  Xiao-Wei Li(李晓维)
Adobe PDF(701Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2010/11/03
Timing-sequence testing of parallel programs 期刊论文
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2000, 卷号: 15, 期号: 1, 页码: 84-95
作者:  Liang, Y;  Li, S;  Zhang, H;  Han, CD
收藏  |  浏览/下载:72/0  |  提交时间:2019/12/16
timing-sequence testing  SYN-sequence  atomic SYN-event  linearization  coverage