科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
程开丰; 罗汉青; 梁利平;
中国科学院大学中国科学院微电子研究所嵌入式与多核DSP实验室;
北京100029;
Cache一致性; 有向二分图模型; 等价类划分; 高层次功能覆盖率模型; 结构化激励生成;
机译:两种用于生成结构化和非结构化单调序数数据集的算法
机译:使用模型检查的一致性算法的一致性验证
机译:敏感性信息处理算法的管理及其在敏感性搜索系统自动生成中的应用:使用半结构化数据模型的算法和系统的集中管理
机译:使用二进制粒子群算法的RTL电路设计验证快速激励生成
机译:BuddyCache:高性能对象存储,用于WAN中的协作强一致性应用程序。
机译:使用基于Web的计算器和结构化报告生成器来提高放射学报告的效率准确性和一致性
机译:高精度气液两相流模拟非结构化自适应网格算法的开发:二维非结构化自适应网格算法的第1报告,配方和验证(流体工程)
机译:自动生成二维结构化多块网格的算法
机译:用于网络节点的CACHE一致性控制系统允许CPU或I / O设备访问目标块而无需CACHE一致性控制,如果关联节点的访问权限在目标块的访问权限中
机译:安全数据处理方法,例如芯片卡,涉及通过利用两个不同的随机值来比较通过执行加密算法生成的输出和验证数据,以验证算法是否正确执行
机译:具有卡非对称加密算法生成密码的终端交易身份验证和具有补充算法生成机密规范的身份交换信息卡/终端
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。