1834 search results - page 39 / 367 » A Dynamic Multithreading Processor |
91
Voted
ESOP
2009
Springer
15 years 9 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...
75
Voted
CGO
2006
IEEE
15 years 8 months ago
2006
IEEE
SWAT
2004
Springer
15 years 7 months ago
2004
Springer
106
Voted
CAV
2007
Springer
15 years 6 months ago
2007
Springer
106
Voted
DSD
2009
IEEE
15 years 6 months ago
2009
IEEE