Implementing and Evaluating a Model Checker for Transactional Memory Systems.

TitleImplementing and Evaluating a Model Checker for Transactional Memory Systems.
Publication TypeConference Paper
Year of Publication2010
AuthorsBaek, W., N. G. Bronson, C. Kozyrakis, and K. Olukotun
EditorCalinescu, R., R. F. Paige, and M. Z. Kwiatkowska
Conference NameICECCS
PublisherIEEE Computer Society
ISBN Number978-0-7695-4015-3
Keywordsdblp
URLhttp://dblp.uni-trier.de/db/conf/iceccs/iceccs2010.html#BaekBKO10
AttachmentSize
paper286.35 KB