 | 2010 |
|---|
| 5 |       | Yudong Cao,
Honggang Zhang,
Yanyan Gao,
Xiaojun Xu,
Jun Guo:
Matching Image with Multiple Local Features.
ICPR 2010: 519-522 |
| 4 | | Wei Sheng,
Yanyan Gao,
Li Xi,
Xuehai Zhou:
Schedulability Analysis for MultiCore Global Scheduling with Model Checking.
MTV 2010: 21-26 |
| 2009 |
|---|
| 3 | | Yanyan Gao,
Xi Li:
Formal Verification of Out-of-Order Processor.
ICCMS 2009: 129-135 |
| 2008 |
|---|
| 2 | | Yongqiang Zhang,
Yanyan Gao:
A Fuzzy Logic Map Matching Algorithm.
FSKD (3) 2008: 132-136 |
| 1 | | Yanyan Gao,
Xi Li:
Formal Verification of Bypassed Processor Pipelines.
ICYCS 2008: 1303-1308 |
Data released under the ODC-BY 1.0 license — See also our legal information page