2957 search results - page 49 / 592 » Code analysis and CS-XML |
104
click to vote
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...
112
Voted
MSR
2009
ACM
15 years 7 months ago
2009
ACM
112
Voted
SIGADA
2001
Springer
15 years 7 months ago
2001
Springer
DATE
2000
IEEE
15 years 7 months ago
2000
IEEE
IPPS
1998
IEEE
15 years 7 months ago
1998
IEEE
