10870 search results - page 72 / 2174 » Model Checking Programs |
85
Voted
PPDP
2010
Springer
15 years 18 days ago
2010
Springer
136
Voted
PPOPP
2010
ACM
15 years 11 months ago
2010
ACM
As concurrent programming becomes prevalent, software providers are investing in concurrency libraries to improve programmer productivity. Concurrency libraries improve productivi...
98
Voted
PLPV
2009
ACM
15 years 9 months ago
2009
ACM
109
Voted
PLDI
2004
ACM
15 years 7 months ago
2004
ACM
83
Voted
TOOLS
2000
IEEE
15 years 6 months ago
2000
IEEE