Sciweavers

8627 search results - page 109 / 1726
» Software Engineering Using RATionale
Sort
View
IWPC
2002
IEEE
15 years 4 months ago
On Using a Benchmark to Evaluate C++ Extractors
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...
Susan Elliott Sim, Richard C. Holt, Steve M. Easte...
59
Voted
CGO
2006
IEEE
15 years 5 months ago
Using Machine Learning to Focus Iterative Optimization
Felix V. Agakov, Edwin V. Bonilla, John Cavazos, B...
AC
1999
Springer
15 years 3 months ago
PerDiS: Design, Implementation, and Use of a PERsistent DIstributed Store
Paulo Ferreira, Marc Shapiro, Xavier Blondel, Oliv...
AMAST
2006
Springer
15 years 2 months ago
Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues
Interpretation of FIFO Queues Tristan Le Gall, Bertrand Jeannet, and Thierry J
Tristan Le Gall, Bertrand Jeannet, Thierry J&eacut...