退出
我的积分:
中文文献批量获取
外文文献批量获取
周海洋; 李玉红;
中国宇航学会;
计算机仿真; 仿真器设计; 程序设计; 指令解释;
机译:SPARC指令集架构和TSO内存模型的isabelle / HOL形式化
机译:在Coq中正式化SPARCv8指令集架构
机译:TransARM:高效的指令集架构仿真器
机译:基于虚拟指令的指令集仿真器设计与实现
机译:用于嵌入式软件开发的无指令集仿真器的虚拟原型框架
机译:器件血栓发育性仿真器(DTE) - 心血管设备设计优化方法:两种双BILAFLED MHV设计的研究
机译:用于汽车微控制器鲁棒性验证的指令集仿真器的分析和RTL相关性
机译:ada编译器验证摘要报告。证书编号:931119s1.11332,DDC-I,Inc。DaCs mIps R3000裸ada交叉编译系统,版本4.7.1 sun spaRCstation IpX => DaCs sun spaRC / sunOs到mIps R3000裸指令集架构模拟器,V
机译:指令集仿真器及其仿真器生成方法
机译:指令集仿真器及仿真器生成方法
机译:指令集仿真器和仿真器创建方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。