4276 search results - page 413 / 856 » Techniques for Empirical Validation |
192
click to vote
CJ
1999
15 years 6 months ago
1999
The ability to predict the directions of branches, especially conditional branches, is an important problem in modern computer architecture and advanced compilers. Many static and...
168
Voted
JCS
2002
15 years 6 months ago
2002
Intrusion detection systems (IDSs) must maximize the realization of security goals while minimizing costs. In this paper, we study the problem of building cost-sensitive intrusion...
155
click to vote
RC
1998
15 years 6 months ago
1998
In computer and electronic manufacturing, it is very important to be able to automatically check whether the surface mounted devices (SMD) are correctly placed on the printed circ...
179
click to vote
ICRA
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract— Autonomous robot navigation in unstructured outdoor environments is a challenging and largely unsolved area of active research. The navigation task requires identifying...
184
Voted
ICST
2010
IEEE
15 years 5 months ago
2010
IEEE
—Although many static-analysis techniques have been developed for automatically detecting bugs, such as null dereferences, fewer automated approaches have been presented for anal...