4117 search results - page 285 / 824 » On the Satisfiability of Complex Constraints |
213
click to vote
HPDC
2003
IEEE
16 years 2 days ago
2003
IEEE
Increasingly, scalable distributed applications are being constructed by integrating reusable components spanning multiple administrative domains. Dynamic composition and deployme...
198
click to vote
TKDE
2002
15 years 6 months ago
2002
Database systems for real-time applications must satisfy timing constraints associated with transactions. Typically, a timing constraint is expressed in the form of a deadline and ...
168
click to vote
ICLP
1993
Springer
15 years 11 months ago
1993
Springer
nt an abstract instruction set for a constraint solver over finite domains, which can be smoothly integrated in the WAM architecture. It is based on the use of a single primitive...
171
click to vote
JSA
1998
15 years 6 months ago
1998
In this paper, we present a network conscious approach to designing distributed real-time systems. Given a task graph design of the system, the end-to-end constraints on the input...
176
click to vote
CP
2010
Springer
15 years 5 months ago
2010
Springer
Research on constraint propagation has primarily focused on designing polynomial-time propagators sometimes at the cost of a weaker filtering. Interestingly, the evolution of cons...