按关键词检索
查询字段 检索词
一共  8121 条记录  共  407 页  第1 页   第一页 最后一页 跳转到第
标题作者年卷期:起止页码复制
半均匀LWE问题的紧致归约 王洋,王明强 2025,36(10):0-0
基于FPGA的格基数字签名算法硬件优化实 胡跃,赵旭阳,王威,袁谦,YANG Ya-Fang,郑婕妤,杨亚芳 2025,36(10):0-0
具有用户自主链接及验证者条件撤销的格基群签名 陈颖,何德彪,彭聪,罗敏 2025,36(10):0-0
基于多父链辅助工作量证明共识机制的后量子区块链系统 王御天,贾舒瑞,陈铭希,董怡帆,杨亚芳 2025,36(10):0-0
SM3-OTS:基于国密算法SM3的紧凑型后量子一次签名方案 杨亚涛,殷方锐,陈亮宇,潘登 2025,36(10):0-0
基于Kyber公钥加密的高效认证密钥交换协议 米瑞琪,江浩东,张振峰 2025,36(10):0-0
抗量子的高效区块链认证存储方案 张川,任旭豪,邓淏天,王亚杰,李春海,吴桐,王励成 2025,36(10):0-0
基于RISC-V VLIW架构的混合指令调度算法 李奕瑾,杜绍敏,赵家程,王雪莹,查永权,崔慧敏 2025,36(9):0-0
Spike-FlexiCAS:支持缓存架构灵活配置的RISC-V处理器模拟器 韩金池,王智栋,马浩,宋威 2025,36(9):0-0
RISC-V架构下的懒惰影子页表模型 李传东,衣然,罗英伟,汪小林,王振林 2025,36(9):0-0
面向RISC-V向量扩展的高性能算法库优化方法 韩柳彤,张洪滨,邢明杰,武延军,赵琛 2025,36(9):0-0
RISC-V内存模型的同地址顺序一致性定理证明 徐学政,杨德亨,王璐,王涛,黄安文,李琼 2025,36(9):1-18
Fast-USYN:从酉矩阵到高质量量子电路的快速合成方法 谭思危,卢丽强,郎聪亮,陈明帅,尹建伟 2025,36(8):0-0
神经网络的增量验证 刘宗鑫,迟智名,赵梦宇,黄承超,黄小炜,蔡少伟,张立军,杨鹏飞 2025,36(8):0-0
单球驱动平衡机器人运动学和动力学形式化验证 张善强,张景芝,施智平,王国辉,关永 2025,36(8):0-0
基于记忆策略的元解释学习 王榕,田聪,孙军,于斌,段振华 2025,36(8):0-0
GhostFunc:一种针对Rust操作系统内核的验证方法 何韬,董威,文艳军 2025,36(8):0-0
基于SML4ADS2.0的自动驾驶场景建模与边缘关键场景生成方法 杜德慧,叶振,郑成行,朱珍珍,李家蕴 2025,36(8):0-0
动态顺序统计树类结构的函数式建模及其自动化验证 左正康,刘增鑫,柯雨含,游珍,王昌晶 2025,36(8):0-0
基于下推自动机的同步数据流语言可信编译方法 于涛,王珊珊,徐芊卉,董晓晗,胡代金,罗杰,杨溢龙,吕江花,马殿富 2025,36(8):0-0

用微信扫一扫

用微信扫一扫