5086 search results - page 334 / 1018 » The Power of Comparative Reasoning |
179
click to vote
ASPDAC
2005
ACM
16 years 7 days ago
2005
ACM
– Reducing power consumption through high-level synthesis has attracted a growing interest from researchers due to its large potential for power reduction. In this work we study ...
128
click to vote
ISCA
2010
IEEE
15 years 11 months ago
2010
IEEE
The recent paradigm shift to multi-core systems results in high system throughput within a specified power budget. However, future systems still require good single thread perfor...
186
click to vote
PAMI
2006
15 years 6 months ago
2006
This paper presents a novel pattern recognition framework by capitalizing on dimensionality increasing techniques. In particular, the framework integrates Gabor image representatio...
146
click to vote
CADE
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. In functional programming languages the use of infinite structures is common practice. For total correctness of programs dealing with infinite structures one must guarant...
212
click to vote
CADE
2007
Springer
16 years 7 months ago
2007
Springer
Abstract. A method based on dependency pairs for showing termination of functional programs on data structures generated by constructors with relations is proposed. A functional pr...