退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:使用软件和可重新配置硬件的SAT解算器
I. Skliarova; A. Ferrari;
机译:软件/可重新配置的硬件SAT求解器
机译:使用可重构硬件和虚拟逻辑的SAT解算器
机译:通过软件和硬件协同设计加速基于FPGA的SAT解算器
机译:使用软件和可重新配置硬件的SAT求解器
机译:使用可重新配置的硬件实现节能的软硬件协同合成
机译:概念问题和标准。医疗硬件软件和信息交换的标准:脉搏血氧仪的MIB软件语义模型ASN.1消息传递
机译:软件/可重配置硬件saT求解器
机译:使用可重配置硬件解决可解决性问题的虚拟逻辑系统
机译:具有可配置硬件的布尔SAT解决方案设备,用于解决输入问题
机译:可重新配置的硬件加速器,用于布尔可满足性求解器
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。