Sciweavers

CONSTRAINTS
2011
13 years 7 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
13 years 7 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
13 years 7 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
CONCURRENCY
2011
13 years 7 months ago
Condensed forms for the symmetric eigenvalue problem on multi-threaded architectures
Paolo Bientinesi, Francisco D. Igual, Daniel Kress...
CONCURRENCY
2011
13 years 7 months ago
Utility functions for adaptively executing concurrent workflows
Kevin Lee, Norman W. Paton, Rizos Sakellariou, Alv...
CONCURRENCY
2011
13 years 7 months ago
Dynamic software updates for parallel high-performance applications
Dong Kwan Kim, Eli Tilevich, Calvin J. Ribbens
CONCURRENCY
2011
13 years 7 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