海量图书期刊资源,随时随地畅享阅读乐趣
System-Level Validation ||Chen, Mingsong; Qin, Xiaoke; Koo, Heon-Mo; Mishra, Prabhat · 2013
System-Level Validation Volume 6226 || ConclusionsChen, Mingsong; Qin, Xiaoke; Koo, Heon-Mo; Mishra, Prabhat · 2013
Directed test generation for validation of multicore architecturesQin, Xiaoke; Mishra, Prabhat · ACM Transactions on Design Automation of Electronic Systems · 2012
System-Level Validation Volume 7026 || Functional Test CompactionChen, Mingsong; Qin, Xiaoke; Koo, Heon-Mo; Mishra, Prabhat · 2013
System-Level Validation Volume 7026 || Decision Ordering Based Learning TechniquesChen, Mingsong; Qin, Xiaoke; Koo, Heon-Mo; Mishra, Prabhat · 2013
System-Level Validation Volume 7026 || Automated Generation of Directed TestsChen, Mingsong; Qin, Xiaoke; Koo, Heon-Mo; Mishra, Prabhat · 2013
System-Level Validation Volume 251 || Property Clustering and Learning TechniquesChen, Mingsong; Qin, Xiaoke; Koo, Heon-Mo; Mishra, Prabhat · 2013
System-Level Validation Volume 193 || Synchronized Generation of Directed TestsChen, Mingsong; Qin, Xiaoke; Koo, Heon-Mo; Mishra, Prabhat · 2013