14298 search results - page 51 / 2860 » Dynamic Languages and Applications |
APLAS
2001
ACM
14 years 14 days ago
2001
ACM
PLDI
1995
ACM
14 years 10 days ago
1995
ACM
PPDP
2010
Springer
13 years 7 months ago
2010
Springer
DLS
2010
13 years 6 months ago
2010
ESOP
2009
Springer
14 years 3 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...