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 |
| Design of a scalable network programming framework | 3 | 0.49 | 2008 |
| Framework for supporting multi-service edge packet processing on network processors | 7 | 0.55 | 2005 |