601 search results - page 121 / 121 » Simulation vs. Equivalence |
158
Voted
ISCA
2012
IEEE
13 years 5 months ago
2012
IEEE
Data-race freedom is a valuable safety property for multithreaded programs that helps with catching bugs, simplifying memory consistency model semantics, and verifying and enforci...