退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:使用SAT求解器在功能近似电路中的错误测定标准确定
Sa’ed Abed; Ali A. M. R. Behiry; Imtiaz Ahmad;
机译:使用SAT求解器在功能近似电路中的错误度量测定
机译:基于Tableau方法的电路SAT解算器
机译:用于测试近似集成电路的均值误差度量的研究
机译:确定用于使用SAT解算器解决线性优化问题的最佳算术电路
机译:有儿童虐待史的青少年在错误监测期间额窦-纹状体-纹状体电路的功能连接性改变
机译:使用SAT-SOLVERS来导出掩模节点故障和木马电路注入的贴片电路
机译:利用脉冲Hohmann传递近似TV-saT轨道注入优化
机译:逻辑公式转换程序,SAT解算器程序和SAT难度评估程序
机译:存储器电路错误识别功能/错误检测代码验证装置,例如芯片卡区域,具有控制值设备,当没有错误信号输出时,该控制值设备输出指示功能执行错误的警报信号
机译:数字集成电路中解决亚稳态条件并恢复信号误差的方法和电路
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。