17967 search results - page 3447 / 3594 » Functional timing optimization |
135
click to vote
CLEF
2008
Springer
15 years 5 months ago
2008
Springer
RAVE (Real-time Answer Validation Engine) is a logic-based answer validator/selector designed for real-time question answering. Instead of proving a hypothesis for each answer, RAV...
177
click to vote
EURONGI
2008
Springer
15 years 5 months ago
2008
Springer
DED ABSTRACT The increased popularity and the growth in the number of deployed IEEE 802.11 Access Points (APs) have raised the opportunity to merge together various disjointed wire...
137
click to vote
FOSSACS
2008
Springer
15 years 4 months ago
2008
Springer
We introduce Erasure Pure Type Systems, an extension to Pure Type Systems with an erasure semantics centered around a type constructor indicating parametric polymorphism. The eras...
154
click to vote
ISLPED
2007
ACM
15 years 4 months ago
2007
ACM
We analyze the effect of thermal constraints on the performance and power of multi-core processors. We propose system-level power and thermal models, and derive expressions for (a...
127
click to vote
AAAI
2010
15 years 4 months ago
2010
g Without a Heuristic: Efficient Use of Abstraction Bradford Larsen, Ethan Burns, Wheeler Ruml Department of Computer Science University of New Hampshire Durham, NH 03824 USA blars...