1399 search results - page 228 / 280 » Verification of Test Suites |
ASPLOS
2006
ACM
14 years 5 months ago
2006
ACM
We present the design, implementation, and evaluation of HeapMD, a dynamic analysis tool that finds heap-based bugs using anomaly detection. HeapMD is based upon the observation ...
HRI
2006
ACM
14 years 5 months ago
2006
ACM
Human-robot interaction could be improved by designing robots that engage in adaptive dialogue with users. An adaptive robot could estimate the information needs of individuals an...
SIGIR
2006
ACM
14 years 5 months ago
2006
ACM
Large-scale web and text retrieval systems deal with amounts of data that greatly exceed the capacity of any single machine. To handle the necessary data volumes and query through...
CCGRID
2005
IEEE
14 years 4 months ago
2005
IEEE
This paper describes a simple scheduling procedure for use in multicast data distribution within a logistical networking infrastructure. The goal of our scheduler is to generate a...
CEC
2005
IEEE
14 years 4 months ago
2005
IEEE
In previous work, we have proposed a novel approach to data clustering based on the explicit optimization of a partitioning with respect to two complementary clustering objectives ...