Certifying concurrent programs using transactional memory
Sun, 09/06/2009 - 15:47 — nate
| Title | Certifying concurrent programs using transactional memory |
| Publication Type | Journal Article |
| Year of Publication | 2009 |
| Authors | Li, L, Zhang Y, Chen Y, Li Y |
| Journal | Journal of Computer Science and Technology |
| Volume | 24 |
| Start Page | 110 |
| Pagination | 121 |
| Date Published | 01/2009 |
| Keywords | concurrent program safety, program verification, proof-carrying code, transactional memory |
| Full Text | null |
| Attachment | Size |
|---|---|
| jcst0901.pdf | 467.14 KB |
| impl.rar | 75.93 KB |
- Login to post comments
- Tagged
- XML
- BibTex
- Google Scholar