809 search results - page 113 / 162 » Improving the Performance of MPI Applications over Computati... |
148
click to vote
FMICS
2008
Springer
15 years 7 months ago
2008
Springer
Different approaches have been developed to mitigate the state space explosion of model checking techniques. Among them, symbolic verification techniques use efficient representati...
153
Voted
PPOPP
2009
ACM
16 years 6 months ago
2009
ACM
Data prefetching has been widely used in the past as a technique for hiding memory access latencies. However, data prefetching in multi-threaded applications running on chip multi...
171
click to vote
CVPR
2009
IEEE
16 years 10 months ago
2009
IEEE
Recent work [5, 6] showed that learning-based patch
rectification methods are both faster and more reliable than
affine region methods. Unfortunately, their performance improveme...
191
click to vote
CVPR
2010
IEEE
16 years 2 months ago
2010
IEEE
In this paper, we propose a novel supervised hierarchical sparse coding model based on local image descriptors for classification tasks. The supervised dictionary training is perf...
166
click to vote
FPL
2004
Springer
15 years 11 months ago
2004
Springer
Real-time performance of adaptive digital signal processing algorithms is required in many applications but it often means a high computational load for many conventional processor...