...
机译:基于自动演绎和决策程序的位级流水线机器验证框架
College of Computing, Georgia Institute of Technology, Atlanta, Georgia 30318, USA;
verification; pipelined machines; refinement; bit-level; automated reasoning; ACL2;
机译:基于精炼的流水线机器验证组成推理框架
机译:基于机床中基于机械驱动的信号的工件质量监控自动化程序
机译:自动扣除程序验证的实践方面
机译:验证具有比特级接口的可执行流水线机
机译:使用优化对位级流水线机器进行有效验证。
机译:校正:一种自动化的自适应框架,用于优化基于任务的功能MRI中的预处理管道
机译:基于自动演绎和决策程序的位级流水线机器验证框架
机译:基于sturm定理的单变量多项式计算的形式验证决策程序。