Certifying Low-Level Programs with Hardware Interrupts and Preemptive Threads
星期一, 08/17/2009 - 13:32 — nate
| 标题 | Certifying Low-Level Programs with Hardware Interrupts and Preemptive Threads |
| Publication Type | Conference Paper |
| Year of Publication | 2008 |
| Authors | Feng, X, Shao Z, Dong Y, Guo Y |
| Conference Name | Proceedings of the 2008 ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI 2008) |
| Date Published | Jun |
| Publisher | ACM Press |
| Conference Location | Tucson, Arizona |
| 附件 | 大小 |
|---|---|
| aim.pdf | 291.12 KB |