Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| User-guided device driver synthesis | 2 | 0.37 | 2014 |
| Improved device driver reliability through hardware verification reuse | 4 | 0.41 | 2011 |
| Direct data flows | 0 | 0.34 | 2011 |
| Improved device driver reliability through verification reuse | 1 | 0.35 | 2010 |
| The Design and Implementation of the Intel® Real-Time Performance Analyzer | 1 | 0.39 | 2002 |