1834 search results - page 39 / 367 » A Dynamic Multithreading Processor |
77
Voted
ESOP
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. Multithreaded programs are prone to errors caused by unintended interference between concurrent threads. This paper focuses on verifying that deterministically-parallel c...
CGO
2006
IEEE
15 years 6 months ago
2006
IEEE
79
Voted
SWAT
2004
Springer
15 years 5 months ago
2004
Springer
97
Voted
CAV
2007
Springer
15 years 4 months ago
2007
Springer
98
Voted
DSD
2009
IEEE
15 years 4 months ago
2009
IEEE