中文版 | English

在结果中检索

CSpace

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

已选(0)清除 条数/页：   排序方式：
RIVL: A Low-Cost SoC Agile Development Platform for Multiple RISC-V Processors Design and Verification 期刊论文
IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS I-REGULAR PAPERS, 2024, 页码: 11
作者:  Xu, Lida;  Cao, Zewen;  Zhao, Hualong;  Peng, Zhuo;  Miao, Yuchi;  Zhuang, Chunan;  Ruan, Hongrui;  Dong, Yuying;  Zeng, Chuanbin;  Li, Bo;  Luo, Jiajun
收藏  |  浏览/下载：5/0  |  提交时间：2025/06/25
Program processors  Hardware  Chip scale packaging  Design methodology  Costs  Object oriented modeling  Complexity theory  Testing  Registers  Prototypes  Agile methodology  object-oriented hardware  RISC-V  low-cost  integration  verification  open source  
KG-EGV: A Framework for Question Answering with Integrated Knowledge Graphs and Large Language Models 期刊论文
ELECTRONICS, 2024, 卷号: 13, 期号: 23, 页码: 23
作者:  Hou, Kun;  Li, Jingyuan;  Liu, Yingying;  Sun, Shiqi;  Zhang, Haoliang;  Jiang, Haiyang
收藏  |  浏览/下载：3/0  |  提交时间：2025/06/25
knowledge graph  large language model  question answering  evidence retrieval  multi-role reasoning  answer verification  ODQA  graph-based inference  
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
收藏  |  浏览/下载：29/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
收藏  |  浏览/下载：63/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
收藏  |  浏览/下载：49/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.
收藏  |  浏览/下载：71/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
收藏  |  浏览/下载：98/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
收藏  |  浏览/下载：65/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
收藏  |  浏览/下载：110/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
收藏  |  浏览/下载：61/0  |  提交时间：2019/12/13
Abstraction-guided simulation  Markov analysis  semi-formal verification