Title | Implementing and Evaluating a Model Checker for Transactional Memory Systems. |
Publication Type | Conference Paper |
Year of Publication | 2010 |
Authors | Baek, W., N. G. Bronson, C. Kozyrakis, and K. Olukotun |
Editor | Calinescu, R., R. F. Paige, and M. Z. Kwiatkowska |
Conference Name | ICECCS |
Publisher | IEEE Computer Society |
ISBN Number | 978-0-7695-4015-3 |
Keywords | dblp |
URL | http://dblp.uni-trier.de/db/conf/iceccs/iceccs2010.html#BaekBKO10 |
Attachment | Size |
---|---|
paper | 286.35 KB |