Automatic device driver synthesis with termite.
| Autor: | Ryzhyk, Leonid, Chubb, Peter, Kuz, Ihor, Le Sueur, Etienne, Heiser, Gernot |
|---|---|
| Zdroj: | Proceedings of the ACM SIGOPS 22nd Symposium: Operating Systems Principles; 10/11/2009, p73-86, 14p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|