2957 search results - page 49 / 592 » Code analysis and CS-XML |
SCAM
2002
IEEE
15 years 7 months ago
2002
IEEE
Tools that analyze and enhance large-scale software systems using symbolic reasoning are computationally expensive, and yet processors are cheap. We believe that enabling tools wi...
108
Voted
MSR
2009
ACM
15 years 7 months ago
2009
ACM
104
Voted
SIGADA
2001
Springer
15 years 6 months ago
2001
Springer
DATE
2000
IEEE
15 years 6 months ago
2000
IEEE
91
Voted
IPPS
1998
IEEE
15 years 6 months ago
1998
IEEE
