300 search results - page 25 / 60 » Using probabilistic reasoning to automate software tuning |
128
click to vote
GECCO
2004
Springer
15 years 8 months ago
2004
Springer
Test case design is the most important test activity with respect to test quality. For this reason, a large number of testing methods have been developed to assist the tester with ...
116
click to vote
JUCS
2008
15 years 3 months ago
2008
: Most today's web sources do not provide suitable interfaces for software programs to interact with them. Many researchers have proposed highly effective techniques to addres...
118
click to vote
CF
2007
ACM
15 years 7 months ago
2007
ACM
Performance tuning is an important and time consuming task which may have to be repeated for each new application and platform. Although iterative optimisation can automate this p...
110
Voted
TPHOL
1999
IEEE
15 years 7 months ago
1999
IEEE
Abstract. Intel is applying formal verification to various pieces of mathematical software used in Merced, the first implementation of the new IA-64 architecture. This paper discus...
120
click to vote
AAAI
2006
15 years 4 months ago
2006
The use of large quantities of common sense has long been thought to be critical to the automated understanding of the world. To this end, various groups have collected repositori...