4079 search results - page 615 / 816 » Differential Testing for Software |
120
click to vote
LCPC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. We have designed and implemented an interprocedural algorithm to analyze symbolic value ranges that can be assumed by variables at any given point in a program. Our algor...
119
click to vote
PREMI
2005
Springer
15 years 9 months ago
2005
Springer
The configuration of a computational intelligence (CI) method is responsible for its intelligence (e.g. tolerance, flexibility) as well as its accuracy. In this paper, we investiga...
127
click to vote
WMPI
2004
ACM
15 years 9 months ago
2004
ACM
User-controllable coherence revives the idea of cooperation between software and hardware in an attempt to bridge the gap between efficient small-scale shared memory machines and m...
114
Voted
AIRS
2004
Springer
15 years 9 months ago
2004
Springer
Carrying out experiments in Information Retrieval is a heavy activity requiring fast tools to treat collections of significant size, and at the same time flexible tools to leave...
133
click to vote
FPL
2004
Springer
15 years 9 months ago
2004
Springer
Several implementations of Artificial Neural Networks have been reported in scientific papers. Nevertheless, these implementations do not allow the direct use of off-line trained n...