Sciweavers

Implementing and Evaluating a Model Checker for Transactional Memory Systems
Recent Google, Yahoo, MSN search queries leading to this post
Implementing and Evaluating a Model Checker for Transactional Memory Systems