10457 search results - page 1944 / 2092 » Data Mapping as Search |
241
click to vote
POPL
2002
ACM
16 years 4 months ago
2002
ACM
Program verification is a promising approach to improving program quality, because it can search all possible program executions for specific errors. However, the need to formally...
217
click to vote
SIGMOD
2007
ACM
16 years 4 months ago
2007
ACM
Sensor networks are widely used in many applications for collecting information from the physical environment. In these applications, it is usually necessary to track the relation...
145
click to vote
WSDM
2010
ACM
16 years 1 months ago
2010
ACM
The success of "infinite-inventory" retailers such as Amazon.com and Netflix has been ascribed to a "long tail" phenomenon. To wit, while the majority of their...
155
click to vote
SDM
2009
SIAM
16 years 1 months ago
2009
SIAM
Time series motifs are pairs of individual time series, or subsequences of a longer time series, which are very similar to each other. As with their discrete analogues in computat...
169
click to vote
EUROSYS
2007
ACM
16 years 1 months ago
2007
ACM
During concurrent I/O workloads, sequential access to one I/O stream can be interrupted by accesses to other streams in the system. Frequent switching between multiple sequential ...