1987 search results - page 348 / 398 » Directional filtering transform |
132
Voted
PLDI
2009
ACM
15 years 9 months ago
2009
ACM
Symbolic analysis shows promise as a foundation for bug-finding, specification inference, verification, and test generation. This paper addresses demand-driven symbolic analysi...
115
Voted
PLDI
2009
ACM
15 years 9 months ago
2009
ACM
It is often impossible to obtain a one-size-fits-all solution for high performance algorithms when considering different choices for data distributions, parallelism, transformati...
132
click to vote
SISAP
2009
IEEE
15 years 9 months ago
2009
IEEE
—In the demonstration we will show a system for searching by similarity and automatically classifying images in a very large dataset. The demonstrated techniques are based on the...
139
click to vote
ECRTS
2007
IEEE
15 years 8 months ago
2007
IEEE
Uniprocessor schedulability theory made great strides, in part, due to the simplicity of composing the delay of a job from the execution times of higher-priority jobs that preempt...
131
click to vote
ISCA
2005
IEEE
15 years 8 months ago
2005
IEEE
: The theoretical study of quantum computation has yielded efficient algorithms for some traditionally hard problems. Correspondingly, experimental work on the underlying physical...