Sciweavers

4276 search results - page 202 / 856
» Techniques for Empirical Validation
Sort
View
ISSRE
2008
IEEE
16 years 29 days ago
Finding Faults: Manual Testing vs. Random+ Testing vs. User Reports
The usual way to compare testing strategies, whether theoretically or empirically, is to compare the number of faults they detect. To ascertain definitely that a testing strategy...
Ilinca Ciupa, Bertrand Meyer, Manuel Oriol, Alexan...
NDSS
2008
IEEE
16 years 29 days ago
Measuring and Detecting Fast-Flux Service Networks
We present the first empirical study of fast-flux service networks (FFSNs), a newly emerging and still not widelyknown phenomenon in the Internet. FFSNs employ DNS to establish ...
Thorsten Holz, Christian Gorecki, Konrad Rieck, Fe...
RTAS
2008
IEEE
16 years 29 days ago
Real-Time Synchronization on Multiprocessors: To Block or Not to Block, to Suspend or Spin?
In the domain of multiprocessor real-time systems, there has been a wealth of recent work on scheduling, but relatively little work on the equally-important topic of synchronizati...
Björn B. Brandenburg, John M. Calandrino, Aar...
CP
2007
Springer
16 years 23 days ago
On Universal Restart Strategies for Backtracking Search
Abstract. Constraint satisfaction and propositional satisfiability problems are often solved using backtracking search. Previous studies have shown that a technique called randomi...
Huayue Wu, Peter van Beek
IROS
2006
IEEE
86views Robotics» more  IROS 2006»
16 years 18 days ago
Optimum Camera Angle for Optic Flow-Based Centering Response
— We present analytical and empirical investigations into the optimum camera angle to use for the optic flow-based centering response. This technique is commonly used to guide b...
Stefan Hrabar, Gaurav S. Sukhatme