1138 search results - page 129 / 228 » Parallel Implementation of Constraint Solving |
APPT
2009
Springer
13 years 12 months ago
2009
Springer
Abstract. In many-core CMP architectures, the cache coherence protocol is a key component since it can add requirements of area and power consumption to the final design and, there...
CONCUR
2007
Springer
13 years 12 months ago
2007
Springer
We consider message sequence charts enriched with timing constraints between pairs of events. As in the untimed setting, an infinite family of time-constrained message sequence cha...
CCGRID
2011
IEEE
12 years 11 months ago
2011
IEEE
Abstract—Significant achievements have been made for automated allocation of cloud resources. However, the performance of applications may be poor in peak load periods, unless t...
GRAPHICSINTERFACE
2007
13 years 9 months ago
2007
Material limitations and fabrication costs generally run at odds with the creativity of architectural design, producing a wealth of challenging computational geometry problems. We...
IJCAI
2003
13 years 9 months ago
2003
We examine the approach of encoding planning problems as CSPs more closely. First we present a simple CSP encoding for planning problems and then a set of transformations that can...