2976 search results - page 150 / 596 » On the bounded integer programming |
130
click to vote
LPNMR
2004
Springer
15 years 8 months ago
2004
Springer
We investigate mca-programs, that is, logic programs with clauses built of monotone cardinality atoms of the form kX , where k is a non-negative integer and X is a finite set of ...
144
click to vote
CCL
1994
Springer
15 years 7 months ago
1994
Springer
Abstract: This paper describes the application of CLP (constraint logic programming) to several digital circuit design problems. It is shown that logic programming together with ef...
125
click to vote
ICML
2010
IEEE
15 years 3 months ago
2010
IEEE
We investigate the sparse eigenvalue problem which arises in various fields such as machine learning and statistics. Unlike standard approaches relying on approximation of the l0n...
133
click to vote
IEEEPACT
2003
IEEE
15 years 8 months ago
2003
IEEE
Improving cache performance requires understanding cache behavior. However, measuring cache performance for one or two data input sets provides little insight into how cache behav...
124
click to vote
CC
2006
Springer
15 years 6 months ago
2006
Springer
As register allocation is one of the most important phases in optimizing compilers, much work has been done to improve its quality and speed. We present a novel register allocation...