11 search results - page 3 / 3 » Reliable Software Systems Design: Defect Prevention, Detecti... |
MICRO
2010
IEEE
13 years 8 months ago
2010
IEEE
Abstract--Parallel programming is hard, because it is impractical to test all possible thread interleavings. One promising approach to improve a multi-threaded program's relia...