4276 search results - page 622 / 856 » Techniques for Empirical Validation |
151
click to vote
ICCD
2007
IEEE
16 years 3 months ago
2007
IEEE
We present new techniques for explicit constraint satisfaction in the incremental placement process. Our algorithm employs a Lagrangian Relaxation (LR) type approach in the analyt...
176
click to vote
WOSP
2010
ACM
16 years 1 months ago
2010
ACM
Performance non-determinism in computer systems complicates evaluation, use, and even development of these systems. In performance evaluation via benchmarking and simulation, nond...
153
click to vote
ICSE
2009
IEEE-ACM
16 years 1 months ago
2009
IEEE-ACM
Regression test suites tend to grow over time as new test cases are added to exercise new functionality or to target newly-discovered faults. When test suites become too large, th...
163
click to vote
ICC
2009
IEEE
16 years 1 months ago
2009
IEEE
—In host-based intrusion detection systems (HIDS), anomaly detection involves monitoring for significant deviations from normal system behavior. Hidden Markov Models (HMMs) have...
199
click to vote
MICRO
2009
IEEE
16 years 1 months ago
2009
IEEE
Data structures define how values being computed are stored and accessed within programs. By recognizing what data structures are being used in an application, tools can make app...