...
机译:通过反馈调整的马尔可夫模型进行微处理器验证
hidden Markov models; microprocessor chips; program verification; random number generation; StressTest; architectural simulation; closed-loop feedback techniques; closed-loop simulation; design under test; feedback-adjusted Markov models; hardware verification; mic;
机译:微处理器的正式建模和验证
机译:实验室测试的循环变流器微处理器控制的自同步电动机的建模
机译:基于i向量,神经网络和隐马尔可夫模型的文本相关说话人验证
机译:使用马尔可夫模型进行微处理器验证的抽象指导仿真方法
机译:有效地设计和验证微处理器的技术
机译:马尔可夫和非马尔可夫蛋白质序列进化:聚集的马尔可夫过程模型
机译:通过反馈调整马尔可夫模型进行微处理器验证