2488 search results - page 84 / 498 » Distributed Non-binary Constraints |
116
click to vote
CPAIOR
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. This paper furthers the recent investigation of search heuristics based on solution counting information, by proposing and evaluating algorithms to compute solution densi...
140
click to vote
DAC
2006
ACM
16 years 3 months ago
2006
ACM
Scheduling plays a central role in the behavioral synthesis process, which automatically compiles high-level specifications into optimized hardware implementations. However, most ...
105
click to vote
ICTAI
2005
IEEE
15 years 8 months ago
2005
IEEE
Lotos is the ISO formal specification language for describing and verifying concurrent and distributed systems. The simulation or execution of complex Lotos specifications is, h...
129
click to vote
VVEIS
2007
15 years 3 months ago
2007
Research in web services has allowed reusable, distributed, loosely coupled components which can easily be composed to build systems or to produce more complex services. Compositio...
134
click to vote
CSE
2009
IEEE
15 years 9 months ago
2009
IEEE
—Constraint satisfaction has been a very successful paradigm for solving problems such as resource allocation and planning. Many of these problems pose themselves in a context in...