113 search results - page 2 / 23 » Distributed Work Stealing for Constraint Solving |
KBSE
2010
IEEE
13 years 4 months ago
2010
IEEE
Decision procedures have long been a fixture in program analysis, and reasoning about string constraints is a key element in many program analyses and testing frameworks. Recent ...
CP
2005
Springer
13 years 11 months ago
2005
Springer
Many problems of theoretical and practical interest can be formulated as Constraint Satisfaction Problems (CSPs). The general CSP is known to be NP-complete; however, distributed m...
AAAI
2010
13 years 7 months ago
2010
Forming effective coalitions is a major research challenge in AI and multi-agent systems (MAS). Coalition Structure Generation (CSG) involves partitioning a set of agents into coa...
HPCA
2012
IEEE
12 years 1 months ago
2012
IEEE
Since the onset of pipelined processors, balancing the delay of the microarchitectural pipeline stages such that each microarchitectural pipeline stage has an equal delay has been...
AAAI
2007
13 years 8 months ago
2007
The future success of application layer video multicast depends on the availability of video stream distribution methods that can scale in the number of stream senders and receive...