342 search results - page 47 / 69 » Automatic Generation of Heuristics for Scheduling |
PARA
2004
Springer
15 years 4 months ago
2004
Springer
During the last half-decade, a number of research efforts have centered around developing software for generating automatically tuned matrix multiplication kernels. These include ...
175
click to vote
POPL
2002
ACM
15 years 11 months ago
2002
ACM
e Abstraction for Software Verification Cormac Flanagan Shaz Qadeer Compaq Systems Research Center 130 Lytton Ave, Palo Alto, CA 94301 Software verification is an important and di...
118
click to vote
FMICS
2010
Springer
14 years 11 months ago
2010
Springer
We investigate the application of the software bounded model checking tool CBMC to the domain of wireless sensor networks (WSNs). We automatically generate a software behavior mode...
110
click to vote
CVPR
2009
IEEE
16 years 6 months ago
2009
IEEE
In this paper, a novel feature named Adaptive Contour
Feature (ACF) is proposed for human detection and segmentation.
This feature consists of a chain of a number of
granules in...
DAC
2004
ACM
16 years 2 days ago
2004
ACM
Error correcting codes are widely used in communication and storage applications. Codec complexity has usually been measured with a software implementation in mind. A recent hardw...