15885 search results - page 723 / 3177 » Strategic Software Engineering |
166
click to vote
IWPC
2002
IEEE
16 years 11 days ago
2002
IEEE
In this paper, we take the concept of benchmarking as used extensively in computing and apply it to evaluating C++ fact extractors. We demonstrated the efficacy of this approach b...
139
Voted
EMSOFT
2001
Springer
15 years 12 months ago
2001
Springer
169
Voted
CODES
1999
IEEE
15 years 11 months ago
1999
IEEE
se Analysis of Discrete Systems Based on Conditional Abstractions Felice Balarin Cadence Berkeley Laboratories
124
Voted
AC
1999
Springer
15 years 11 months ago
1999
Springer
