中文版 | English

在结果中检索

CSpace

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

已选(0)清除 条数/页：   排序方式：
Functional Verification for Agile Processor Development: A Case for Workflow Integration 期刊论文
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2023, 卷号: 38, 期号: 4, 页码: 737-753
作者:  Xu, Yi-Nan;  Yu, Zi-Hao;  Wang, Kai-Fan;  Wang, Hua-Qiang;  Lin, Jia-Wei;  Jin, Yue;  Zhang, Lin-Juan;  Zhang, Zi-Fei;  Tang, Dan;  Wang, Sa;  Shi, Kan;  Sun, Ning-Hui;  Bao, Yun-Gang
收藏  |  浏览/下载：13/0  |  提交时间：2024/05/20
functional verification  agile development  open-source hardware  workflow integration  
LOPE: A Low-Overhead Payment Verification Method for Blockchains 期刊论文
CHINESE JOURNAL OF ELECTRONICS, 2021, 卷号: 30, 期号: 2, 页码: 349-358
作者:  Ying Zhang;  Zhengyuan He;  Linpeng Jia;  Donghui Ding;  Hanwen Zhang;  Yi Sun
收藏  |  浏览/下载：46/0  |  提交时间：2021/12/01
Blockchain  Light client  Low‐  overhead  Payment verification  
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  
Dynamic Packet Forwarding Verification in SDN 期刊论文
IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, 2019, 卷号: 16, 期号: 6, 页码: 915-929
作者:  Li, Qi;  Zou, Xiaoyue;  Huang, Qun;  Zheng, Jing;  Lee, Patrick P. C.
收藏  |  浏览/下载：53/0  |  提交时间：2020/12/10
Control systems  Cryptography  Protocols  IP networks  Software  Prototypes  Delays  Software-defined networking  attacks  forwarding verification  
Replay attack detection based on distortion by loudspeaker for voice authentication 期刊论文
MULTIMEDIA TOOLS AND APPLICATIONS, 2019, 卷号: 78, 期号: 7, 页码: 8383-8396
作者:  Ren, Yanzhen;  Fang, Zhong;  Liu, Dengkai;  Chen, Changwen
收藏  |  浏览/下载：83/0  |  提交时间：2019/08/16
Automatic Speaker Verification (ASV)  Replay Attack Detection (RAD)  Loudspeaker  Low-frequency attenuation  Spoofing attack  
Region similarity arrangement for large-scale image retrieval 期刊论文
NEUROCOMPUTING, 2018, 卷号: 272, 页码: 461-470
作者:  Zhang, Dongming;  Tang, Jingya;  Jin, Guoqing;  Zhang, Yongdong;  Tian, Qi
收藏  |  浏览/下载：46/0  |  提交时间：2019/12/12
Content based image retrieval  Geometric verification  Region property space  Spatial weighting  
Novel Visual and Statistical Image Features for Microblogs News Verification 期刊论文
IEEE TRANSACTIONS ON MULTIMEDIA, 2017, 卷号: 19, 期号: 3, 页码: 598-608
作者:  Jin, Zhiwei;  Cao, Juan;  Zhang, Yongdong;  Zhou, Jianshe;  Tian, Qi
收藏  |  浏览/下载：94/0  |  提交时间：2019/12/12
Fake news detection  image features  microblogs news verification  rumor detection  social media  
Abstraction-Guided Simulation Using Markov Analysis for Functional Verification 期刊论文
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2016, 卷号: 35, 期号: 2, 页码: 285-297
作者:  Wang, Jian;  Li, Huawei;  Lv, Tao;  Wang, Tiancheng;  Li, Xiaowei;  Kundu, Sandip
收藏  |  浏览/下载：46/0  |  提交时间：2019/12/13
Abstraction-guided simulation  Markov analysis  semi-formal verification  
Towards Inferring Inter-Domain Routing Policies in ISP Networks 期刊论文
IEICE TRANSACTIONS ON COMMUNICATIONS, 2011, 卷号: E94B, 期号: 11, 页码: 3049-3056
作者:  Liang, Wei;  Bi, Jingping;  Li, Zhongcheng;  Xia, Yiting
收藏  |  浏览/下载：73/0  |  提交时间：2019/12/16
BGP  routing policy  verification  inference  
Modeling and verifying Web services driven by requirements: An ontology-based approach 期刊论文
SCIENCE IN CHINA SERIES F-INFORMATION SCIENCES, 2006, 卷号: 49, 期号: 6, 页码: 792-820
作者:  Hou Lishan;  Jin Zhi;  Wu Budan
收藏  |  浏览/下载：43/0  |  提交时间：2019/12/16
web service  environment ontology  automatic composition  pi calculus  formal verification