759 search results - page 148 / 152 » Verification of a Microprocessor Using Real World Applicatio... |
SIGMOD
2009
ACM
14 years 11 months ago
2009
ACM
Existing keyword-search systems in relational databases require users to submit a complete query to compute answers. Often users feel "left in the dark" when they have l...
SIGMOD
2008
ACM
14 years 11 months ago
2008
ACM
Extracting dense sub-components from graphs efficiently is an important objective in a wide range of application domains ranging from social network analysis to biological network...
EDBT
2006
ACM
14 years 11 months ago
2006
ACM
Similarity search in time series data is required in many application fields. The most prominent work has focused on similarity search considering either complete time series or si...
HPDC
2009
IEEE
14 years 5 months ago
2009
IEEE
This article deals with TakTuk, a middleware that deploys efficiently parallel remote executions on large scale grids (thousands of nodes). This tool is mostly intended for intera...
SASP
2009
IEEE
14 years 5 months ago
2009
IEEE
—This paper describes a multi-threaded parallel design and implementation of the Smith-Waterman (SM) algorithm on compute unified device architecture (CUDA)-compatible graphic pr...