6939 search results - page 541 / 1388 » Algorithm Engineering for Parallel Computation |
196
click to vote
FPL
2010
Springer
15 years 3 months ago
2010
Springer
We demonstrate how Field Programmable Gate Arrays (FPGAs) may be used to address the computing challenges associated with assembling genome sequences from recent ultra-high-through...
160
Voted
SIGMOD
2010
ACM
15 years 5 months ago
2010
ACM
Discriminative subgraphs are widely used to define the feature space for graph classification in large graph databases. Several scalable approaches have been proposed to mine disc...
150
click to vote
WOSP
2010
ACM
15 years 5 months ago
2010
ACM
Quantitative prediction of quality properties (i.e. extrafunctional properties such as performance, reliability, and cost) of software architectures during design supports a syste...
155
Voted
PODS
2006
ACM
16 years 5 months ago
2006
ACM
We study the randomized version of a computation model (introduced in [9, 10]) that restricts random access to external memory and internal memory space. Essentially, this model c...
125
click to vote
VMCAI
2010
Springer
16 years 2 months ago
2010
Springer
We present an automatic verification procedure based on RGSep that is suitable for reasoning about fine-grained concurrent heapmanipulating programs. The procedure computes a set o...