6020 search results - page 145 / 1204 » A New Approach to Model Counting |
124
click to vote
ISQED
2006
IEEE
15 years 10 months ago
2006
IEEE
As transistor counts keep increasing and clock frequencies rise, high power consumption is becoming one of the most important obstacles, preventing further scaling and performance...
130
click to vote
CC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Generational collectors are well known as a tool for shortening pause times incurred by garbage collection and for improving garbage collection efficiency. In this paper,...
139
click to vote
CP
1995
Springer
15 years 7 months ago
1995
Springer
We present a new heuristic approach for maximal constraint satisfaction of overconstrained problems (MAX-CSP). This approach is based on a formulation of CSP as an optimization pro...
150
click to vote
WONS
2005
IEEE
15 years 9 months ago
2005
IEEE
Energy is a limited resource in wireless sensor networks. In fact, the reduction of power consumption is crucial to increase the lifetime of low power sensor networks. Several app...
104
click to vote
EDBT
2009
ACM
15 years 11 months ago
2009
ACM
A runtime approach to model-generic translation of schema and data is proposed. It is based on our previous work on MIDST, a platform conceived to perform translations in an off-...