246 search results - page 49 / 50 » Distributed IR for Digital Libraries |
CORR
2010
Springer
13 years 8 months ago
2010
Springer
The transition from single-core to multi-core processors has made multi-threaded software an important subject in computer aided verification. Here, we describe and evaluate an ex...
SOCO
2002
Springer
13 years 8 months ago
2002
Springer
In recent years, available audio corpora are rapidly increasing from fast growing Internet and digital libraries. How to classify and retrieve sound files relevant to the user'...
VLDB
2002
ACM
13 years 8 months ago
2002
ACM
Automated recommendation (e.g., personalized product recommendation on an ecommerce web site) is an increasingly valuable service associated with many databases--typically online ...
SIGMETRICS
2011
ACM
12 years 11 months ago
2011
ACM
Software bugs that occur in production are often difficult to reproduce in the lab due to subtle differences in the application environment and nondeterminism. To address this pr...
VEE
2012
ACM
12 years 4 months ago
2012
ACM
Dynamic data flow tracking (DFT) deals with tagging and tracking data of interest as they propagate during program execution. DFT has been repeatedly implemented by a variety of ...