9719 search results - page 419 / 1944 » Answer Set Optimization |
191
click to vote
IPPS
2009
IEEE
16 years 2 months ago
2009
IEEE
We describe a scalable and general-purpose framework for auto-tuning compiler-generated code. We combine Active Harmony’s parallel search backend with the CHiLL compiler transfo...
189
click to vote
WADS
2005
Springer
16 years 1 months ago
2005
Springer
We present efficient approximation algorithms for a number of problems that call for computing the prices that maximize the revenue of the seller on a set of items. Algorithms for ...
257
click to vote
NAA
2004
Springer
16 years 29 days ago
2004
Springer
In this paper, we develop a probabilistic model for estimation of the numbers of cache misses during the sparse matrix-vector multiplication (for both general and symmetric matrice...
190
click to vote
CP
2003
Springer
16 years 25 days ago
2003
Springer
Abstract. In many situations, a set of hard constraints encodes the feasible configurations of some system or product over which users have preferences. We consider the problem of...
147
click to vote
DATE
2000
IEEE
16 years 11 hour ago
2000
IEEE
– A split-bus architecture is proposed to improve the power dissipation for global data exchange among a set of modules. The resulting bus splitting problem is formulated and sol...