7092 search results - page 75 / 1419 » Parallelizing constraint programs |
CP
2003
Springer
14 years 2 months ago
2003
Springer
SAC
2002
ACM
13 years 8 months ago
2002
ACM
Soft constraints are a generalization of classical constraints, where constraints and/or partial assignments are associated to preference or importance levels, and constraints are...
MIDDLEWARE
2007
Springer
14 years 3 months ago
2007
Springer
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...
WLP
2005
Springer
14 years 2 months ago
2005
Springer
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...
PLDI
2011
ACM
13 years 10 hour ago
2011
ACM
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...