1160 search results - page 11 / 232 » Applying Constraint Solving to the Management of Distributed... |
ADBIS
2006
Springer
15 years 3 months ago
2006
Springer
Computational database technology spans the two research fields data-base technology and scientific computing. It involves development of database capabilities that support compu...
81
Voted
ICCS
2003
Springer
15 years 2 months ago
2003
Springer
Abstract. Recently, the distributed real-time services are developing in distributed object computing environments in a way that can support a new programming paradigm of the distr...
GECCO
2005
Springer
15 years 3 months ago
2005
Springer
Because of the large number of possible combinations for the fuel assembly loading in the core, the design of the loading pattern (LP) is a complex optimization problem. It requir...
DATE
2000
IEEE
15 years 1 months ago
2000
IEEE
The Boolean satisfiability problem (SAT) has various applications in electronic design automation (EDA) fields such as testing, timing analysis and logic verification. SAT has bee...
CP
2003
Springer
15 years 2 months ago
2003
Springer
Constraint satisfaction has been applied with great success in closed-world scenarios, where all options and constraints are known from the beginning and fixed. With the internet,...