4276 search results - page 658 / 856 » Techniques for Empirical Validation |
152
click to vote
COMPSAC
2008
IEEE
16 years 26 days ago
2008
IEEE
Buffer overflow (BOF) is one of the major vulnerabilities that leads to non-secure software. Testing an implementation for BOF vulnerabilities is challenging as the underlying rea...
170
click to vote
DATE
2008
IEEE
16 years 26 days ago
2008
IEEE
Despite the growing research effort in formal verification, constraint-based random simulation remains an integral part of design validation, especially for large design componen...
167
click to vote
GLOBECOM
2008
IEEE
16 years 26 days ago
2008
IEEE
—Multi-input multi-output (MIMO) receivers have been designed and their communication performance analyzed under the assumption of additive Gaussian noise. Wireless transceivers,...
110
click to vote
ICASSP
2008
IEEE
16 years 26 days ago
2008
IEEE
—Automated estimation of DNA base-sequences is an important step in genomics and in many other emerging fields in biological and medical sciences. Current automated sequencers p...
190
click to vote
ICDCS
2008
IEEE
16 years 26 days ago
2008
IEEE
This paper considers a multi-query optimization issue for distributed similarity query processing, which attempts to exploit the dependencies in the derivation of a query evaluati...