Sciweavers

134
Voted
CONSTRAINTS
2011
14 years 11 months ago
Solving Steel Mill Slab Problems with constraint-based techniques: CP, LNS, and CBLS
The Steel Mill Slab Problem is an optimization benchmark that has been studied for a long time in the constraint-programming community but was only solved efficiently in the two l...
Pierre Schaus, Pascal Van Hentenryck, Jean-Noë...
CONSTRAINTS
2011
14 years 11 months ago
Cardinality Networks: a theoretical and empirical study
We introduce Cardinality Networks, a new CNF encoding of cardinality constraints. It improves upon the previously existing encodings such as the sorting networks of [8] in that it ...
Roberto Asín, Robert Nieuwenhuis, Albert Ol...
CONSTRAINTS
2011
14 years 11 months ago
A global constraint for total weighted completion time for unary resources
We introduce a novel global constraint for the total weighted completion time of activities on a single unary capacity resource. For propagating the constraint, we propose an O(n4...
András Kovács, J. Christopher Beck
121
Voted
CONSTRAINTS
2011
14 years 11 months ago
Formal languages for integer programming modeling of shift scheduling problems
Marie-Claude Côté, Bernard Gendron, C...
CONCURRENCY
2011
14 years 11 months ago
Condensed forms for the symmetric eigenvalue problem on multi-threaded architectures
Paolo Bientinesi, Francisco D. Igual, Daniel Kress...
114
Voted
CONCURRENCY
2011
14 years 11 months ago
Utility functions for adaptively executing concurrent workflows
Kevin Lee, Norman W. Paton, Rizos Sakellariou, Alv...
180
Voted
CONCURRENCY
2011
14 years 11 months ago
Dynamic software updates for parallel high-performance applications
Dong Kwan Kim, Eli Tilevich, Calvin J. Ribbens
CONCURRENCY
2011
14 years 11 months ago
Stream processing on GPUs using distributed multimedia middleware
Available GPUs provide increasingly more processing power especially for multimedia and digital signal processing. Despite the tremendous progress in hardware and thus processing p...
Michael Repplinger, Philipp Slusallek