Cerification of Thread Context Switching
星期六, 11/13/2010 - 14:45 — apostate
| 标题 | Cerification of Thread Context Switching |
| Publication Type | Journal Article |
| Year of Publication | 2010 |
| Authors | Guo, Y, Jiang X-Y, Chen Y-Y |
| Journal | Journal of Computer Science and Technology |
| Volume | 25(4) |
| Start Page | 827 |
| Issue | 1 |
| Pagination | 827-840 |
| Date Published | 07/2010 |
| ISSN | ISSN 1000-9000 (Print) |
| 关键词 | context, program, program safety, proof-carrying code, switching, verification |
| DOI | 10.1007/s11390-010-1064-9 |
| 附件 | 大小 |
|---|---|
| swap.pdf | 588.52 KB |
- 要发表评论，请先登录
- Tagged
- XML
- BibTex
- Google Scholar