Southern Methodist University;
机译:优化撒哈拉以南非洲地区的艾滋病毒检测服务:通过艾滋病毒自我检测和分流检测进行验证检测的成本和性能
机译:通过优化复杂的三维特征提高跨音速离心压缩机的性能
机译:用于复杂铁路门户框架的高性能和成本优化设计的本体驱动决策支持系统
机译:使用实际成本指标探索面积和性能优化的数据路径设计
机译:根据交易数据路径规范自动进行管道综合和形式验证。
机译:优化撒哈拉以南非洲地区的艾滋病毒检测服务:通过艾滋病毒自我检测和分流检测进行验证检测的成本和性能
机译:使用具有数据路径的有限状态机(FsmD,自动)对调度过程进行形式验证