退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:基于mpI的并行程序的自动形式验证
Stephen F. Siegel; Timothy K. Zirkel;
机译:基于MPI的并行程序的自动形式验证
机译:基于MPI的并行程序的形式分析
机译:用功能数据流并行语言对程序进行形式验证
机译:Java程序自动并行化的运行时支持。
机译:体外极化Caco-2肠上皮细胞的全球转录程序与正常结肠癌和结肠癌中的基因表达程序之间的平行性
机译:用于并行程序的端到端正式验证者
机译:用于使用自动顺序对等检查对浮点除法和/或平方根算法设计进行分层形式硬件验证的系统,方法和计算机程序产品
机译:用于使用自动顺序对等检查进行浮点除法和/或平方根算法的分层形式硬件验证的系统,方法和计算机程序产品
机译:自动验证并行程序的确定性
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。