[ACM Press the Workshop - Toronto, Ontario, Canada (2011.07.17-2011.07.17)] Proceedings of the Workshop on Parallel and Distributed Systems Testing, Analysis, and Debugging - PADTAD '11 - Practical verification of high-level dataraces in transactional memory programs
Pessanha, Vasco, Dias, Ricardo J., Lourenço, João M., Farchi, Eitan, Sousa, DiogoYear:
2011
Language:
english
DOI:
10.1145/2002962.2002968
File:
PDF, 475 KB
english, 2011