Sciweavers

7092 search results - page 75 / 1419
» Parallelizing constraint programs
Sort
View
81
Voted
CP
2003
Springer
15 years 5 months ago
HIBISCUS: A Constraint Programming Application to Staff Scheduling in Health Care
Stéphane Bourdais, Philippe Galinier, Gille...
106
Voted
SAC
2002
ACM
15 years 7 days ago
Soft constraint propagation and solving in CHRs
Soft constraints are a generalization of classical constraints, where constraints and/or partial assignments are associated to preference or importance levels, and constraints are...
Stefano Bistarelli, Thom W. Frühwirth, Michae...
MIDDLEWARE
2007
Springer
15 years 6 months ago
Rule-based reasoning about qualitative spatiotemporal relations
This paper is about a novel rule-based approach for reasoning about qualitative spatiotemporal relations among technology-rich autonomous objects, to which we refer to as artifact...
Clemens Holzmann
118
Voted
WLP
2005
Springer
15 years 6 months ago
Meta-S - Combining Solver Cooperation and Programming Languages
Abstract. Meta-S is a constraint solver cooperation system which allows the dynamic integration of arbitrary external (stand-alone) solvers and their combination with declarative l...
Stephan Frank, Petra Hofstedt, Dirk Reckmann
116
Voted
PLDI
2011
ACM
14 years 3 months ago
Parallelism orchestration using DoPE: the degree of parallelism executive
In writing parallel programs, programmers expose parallelism and optimize it to meet a particular performance goal on a single platform under an assumed set of workload characteri...
Arun Raman, Hanjun Kim, Taewook Oh, Jae W. Lee, Da...