 | 2010 |
| 15 |  | Zijian He,
Tao Lv,
Huawei Li,
Xiaowei Li:
Graph partition based path selection for testing of small delay defects.
ASP-DAC 2010: 499-504 |
| 14 |  | Zijian He,
Tao Lv,
Huawei Li,
Xiaowei Li:
An Efficient Algorithm for Finding a Universal Set of Testable Long Paths.
Asian Test Symposium 2010: 319-324 |
| 13 |  | Tao Zhang,
Tao Lv,
Xiaowei Li:
An abstraction-guided simulation approach using Markov models for microprocessor verification.
DATE 2010: 484-489 |
| 12 |  | Zijian He,
Tao Lv,
Huawei Li,
Xiaowei Li:
On generation of a universal path candidate set containing testable long paths.
ITC 2010: 816 |
| 11 |  | Zijian He,
Tao Lv,
Huawei Li,
Xiaowei Li:
Fast path selection for testing of small delay defects considering path correlations.
VTS 2010: 3-8 |
| 2009 |
| 10 |  | Tao Lv:
Research on Workflow QoS.
JCAI 2009: 219-221 |
| 9 |  | Tao Lv:
Knowledge Management in Enterprise.
JCAI 2009: 222-224 |
| 8 |  | Tao Lv,
Huawei Li,
Xiaowei Li:
Automatic Selection of Internal Observation Signals for Design Verification.
VTS 2009: 203-208 |
| 2008 |
| 7 |  | Lihong Xu,
Weihai Chen,
Jingmeng Liu,
Tao Lv:
An improved quadric error metrics based on feature matrix.
RAM 2008: 582 |
| 6 |  | Weihai Chen,
Jianbin Zhang,
Junjie Quan,
Tao Lv:
A novel spherical joint designed for metamorphic mechanism.
RAM 2008: 976-981 |
| 2006 |
| 5 |  | Tao Lv,
Jianping Fan,
Xiaowei Li,
Ling-Yi Liu:
Observability Statement Coverage Based on Dynamic Factored Use-Definition Chains for Functional Verification.
J. Electronic Testing 22(3): 273-285 (2006) |
| 2005 |
| 4 |  | Bo Qin,
Tao Lv:
Real-Time Dynamic Cloud Modeling and Rendering.
CGIV 2005: 285-290 |
| 3 |  | Wei Lu,
Xiu-Tao Yang,
Tao Lv,
Xiaowei Li:
An Efficient Evaluation and Vector Generation Method for Observability-Enhanced Statement Coverage.
J. Comput. Sci. Technol. 20(6): 875-884 (2005) |
| 2004 |
| 2 |  | Yu Hu,
Yinhe Han,
Huawei Li,
Tao Lv,
Xiaowei Li:
Pair Balance-Based Test Scheduling for SOCs.
Asian Test Symposium 2004: 236-241 |
| 2003 |
| 1 |  | Tao Lv,
Jianping Fan,
Xiaowei Li:
An Efficient Observability Evaluation Algorithm Based on Factored Use-Def Chains.
Asian Test Symposium 2003: 161-167 |