7092 search results - page 1264 / 1419 » Parallelizing constraint programs |
105
Voted
MP
2010
15 years 17 days ago
2010
We study the mixed-integer rounding (MIR) closures of polyhedral sets. The MIR closure of a polyhedral set is equal to its split closure and the associated separation problem is N...
101
Voted
PVLDB
2010
15 years 17 days ago
2010
We describe an automatic database design tool that exploits correlations between attributes when recommending materialized views (MVs) and indexes. Although there is a substantial...
131
Voted
SAS
2010
Springer
15 years 16 days ago
2010
Springer
Symbolic Abstract Domain of Boxes Arie Gurfinkel and Sagar Chaki Carnegie Mellon University Abstract. Numeric abstract domains are widely used in program analyses. The simplest nu...
99
Voted
SCHEDULING
2010
15 years 16 days ago
2010
Lean Manufacturing often simply referred to as Lean is a process management philosophy that aims to improve the way in which products are manufactured. It does this through ide...
144
click to vote
SPIRE
2010
Springer
15 years 16 days ago
2010
Springer
The Longest Common Subsequence (LCS) of two or more strings is a fundamental well-studied problem which has a wide range of applications throughout computational sciences. When the...