12774 search results - page 2270 / 2555 » A Framework for Proof Systems |
183
click to vote
DATE
2010
IEEE
15 years 12 months ago
2010
IEEE
— In this paper we present a cross-domain application for ambient and health monitoring. The system architecture is intended to be openly extensible in order to fulfil unanticipa...
191
click to vote
DATE
2010
IEEE
15 years 12 months ago
2010
IEEE
— Ubiquitous image processing tasks (such as transform decompositions, filtering and motion estimation) do not currently provide graceful degradation when their clock-cycles budg...
176
click to vote
ISCA
2010
IEEE
15 years 12 months ago
2010
IEEE
Power consumption has become a major constraint in the design of processors today. To optimize a processor for energyefficiency requires an examination of energy-performance trade...
175
click to vote
CF
2010
ACM
15 years 12 months ago
2010
ACM
Tuning applications for multi-core systems involve subtle concepts and target-dependent optimizations. New languages are being designed to express concurrency and locality without...
270
click to vote
PODS
2010
ACM
15 years 11 months ago
2010
ACM
Cardinality estimation is the problem of estimating the number of tuples returned by a query; it is a fundamentally important task in data management, used in query optimization, ...