91 search results - page 19 / 19 » JMOCHA: A Model Checking Tool that Exploits Design Structure |
POPL
2006
ACM
14 years 5 months ago
2006
ACM
The movement to multi-core processors increases the need for simpler, more robust parallel programming models. Atomic sections have been widely recognized for their ease of use. T...