退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:利用量化的布尔饱和度进行FPGA PLB评估
Andrew C. Ling;
机译:使用布尔可满足性的FPGA PLB体系结构评估和面积优化技术
机译:使用量化布尔可满足性的FPGA可编程逻辑块评估
机译:可调谐FPGA比特流混淆与布尔满足性攻击对策
机译:使用量化布尔可满足性的FPGA PLB评估
机译:VLSI CAD中的伪布尔可满足性和量化布尔公式
机译:SPABBATS:一种基于布尔可满足性的途径发现方法有助于表征抑制突变体
机译:基于LUT的FpGa中复杂pLB的布尔匹配及其在架构评估中的应用
机译:在对称性存在下解决布尔可满足性的难点实例
机译:布尔可满足性的确定方法和采用二进制决策图的图像计算方法
机译:使用存储器操作评估和布尔可满足性来分析源代码的设备和方法
机译:利用存储器操作评估和布尔满意度分析源代码的装置和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。