805 search results - page 76 / 161 » Enumerating All Solutions for Constraint Satisfaction Proble... |
141
click to vote
KBS
2007
15 years 4 months ago
2007
Commitment management is a key issue in service-provisioning in the context of virtual organisations (VOs). A service-provider — which may be a single agent acting within an orga...
116
click to vote
AAAI
2010
15 years 6 months ago
2010
Consistency properties and algorithms for achieving them are at the heart of the success of Constraint Programming. In this paper, we study the relational consistency property R(,...
146
click to vote
CP
2008
Springer
15 years 6 months ago
2008
Springer
ABT is the reference algorithm for asynchronous distributed constraint satisfaction. When searching, ABT produces nogoods as justifications of deleted values. When one of such nogo...
171
click to vote
ICDCIT
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Statically estimating the worst case execution time of a program is important for real-time embedded software. This is difficult even in the programming language level du...
149
click to vote
ASPDAC
2006
ACM
15 years 10 months ago
2006
ACM
− In this paper, we present a new timing-driven placement algorithm, which attempts to minimize zigzags and crisscrosses on the timing-critical paths of a circuit. We observed th...