退出
我的积分:
中文文献批量获取
外文文献批量获取
徐沛文; 陈海燕; 陈书明; 燕世林;
国防科学技术大学计算机学院;
验证; SystemVerilog; 向量存储器; 断言; 覆盖率;
机译:鉴定基于血液的12-基因签名,预测冠状动脉狭窄的严重程度:基于基因网络建设的一体化方法,支持向量机算法和多队列验证
机译:基于FIR窗和基于T2FK的支持向量机的离散Gabor变换的PQ事件分类方法及其实验验证
机译:基于传输线模型的基于传递函数和支持向量机的动脉狭窄诊断新方法:数值模拟与验证研究
机译:基于向量的模拟转换器顺序测试方法,最大限度地减少了ATE存储器和分析要求
机译:大脑印记:使用互相关,支持向量机和神经网络来识别神经活动的独特特征,以评估其作为身份验证方法的用途。
机译:早期验证肺栓塞后早期死亡的预后规则的外部验证:评估基于索赔的方法和基于三种临床方法
机译:加速systemVerilog基于UVm的VIp改进方法论 用HW仿真器验证图像信号处理设计
机译:基于特征向量和Ritz向量的非线性瞬态分析约简方法
机译:用于NAND型闪存半导体存储器件的编程验证方法,涉及基于从参考存储器位置内容生成的设置信号来启动编程验证
机译:语音识别系统中基于支持向量机的多模态验证方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。