756 search results - page 139 / 152 » Performance prediction based on inherent program similarity |
145
click to vote
CP
2007
Springer
15 years 12 months ago
2007
Springer
It is known that Constraint Satisfaction Problems (CSP) can be converted into Boolean Satisfiability problems (SAT); however how to encode a CSP into a SAT problem such that a SAT...
150
click to vote
AVSS
2006
IEEE
15 years 11 months ago
2006
IEEE
In this paper we address the spatial activity recognition problem with an algorithm based on Smith-Waterman (SW) local alignment. The proposed SW approach utilises dynamic program...
118
click to vote
ISCAS
2006
IEEE
15 years 11 months ago
2006
IEEE
A low-power output feedback controlled frequency synthesizer. Our proposed circuit can be used for low-power multiplier is proposed for Delay Locked Loop (DLL) based application an...
158
click to vote
SAINT
2006
IEEE
15 years 11 months ago
2006
IEEE
We present a novel approach to conserve power in networked mobile devices. Our approach exploits communication within a pervasive smart space as an opportunity to save power as op...
158
click to vote
GRAPHITE
2006
ACM
15 years 11 months ago
2006
ACM
—This paper demonstrates the simple yet effective usage of height fields for interactive landscape visualizations using a ray casting approach implemented in the pixel shader of...