3281 search results - page 431 / 657 » An Approach to use Executable Models for Testing |
131
click to vote
NDSS
2007
IEEE
15 years 11 months ago
2007
IEEE
We present the design and implementation of RICH (Run-time Integer CHecking), a tool for efficiently detecting integer-based attacks against C programs at run time. C integer bug...
151
click to vote
FASE
2010
Springer
15 years 12 months ago
2010
Springer
We introduce a technique for debugging multi-threaded C programs and analyzing the impact of source code changes, and its implementation in the prototype tool Direct. Our approach ...
129
click to vote
CEC
2009
IEEE
15 years 12 months ago
2009
IEEE
— A novel parallel approach to run standard particle swarm optimization (SPSO) on Graphic Processing Unit (GPU) is presented in this paper. By using the general-purpose computing...
132
Voted
DSN
2003
IEEE
15 years 10 months ago
2003
IEEE
Abstract: We present a new approach that uses compilerdirected fault-injection for coverage testing of recovery code in Internet services to evaluate their robustness to operating ...
128
click to vote
SPIESR
2004
15 years 6 months ago
2004
Evaluation in visual information retrieval is usually performed by executing test queries and calculating recall and precision based on predefined media collections and ground tru...