3424 search results - page 411 / 685 » Automated Testing of Classes |
138
click to vote
TGIS
2010
14 years 12 months ago
2010
The presented paper deals with a generic process for road network selection based on data enrichment and structure detection. The first step is to detect significant structures and...
245
click to vote
NFM
2011
14 years 11 months ago
2011
Symbolic execution is a powerful automated technique for generating test cases. Its goal is to achieve high coverage of software. One major obstacle in adopting the technique in pr...
155
click to vote
AAAI
2011
14 years 5 months ago
2011
The automated processing of multiple seismic signals to detect and localize seismic events is a central tool in both geophysics and nuclear treaty verification. This paper report...
144
click to vote
EUROPAR
2011
Springer
14 years 4 months ago
2011
Springer
DOALL loops are tiled to exploit DOALL parallelism and data locality on GPUs. In contrast, due to loop-carried dependences, DOACROSS loops must be skewed first in order to make ti...
146
click to vote
ECIS
2004
15 years 6 months ago
2004
The research presented in this paper is part of a larger study of the organizational impacts of information systems on knowledge work. The phase of the research reported in the pa...