6020 search results - page 923 / 1204 » A New Approach to Model Counting |
200
click to vote
RTAS
2007
IEEE
16 years 25 days ago
2007
IEEE
Cluster computing has emerged as a new paradigm for solving large-scale problems. To enhance QoS and provide performance guarantees in cluster computing environments, various real...
171
click to vote
CP
2007
Springer
16 years 22 days ago
2007
Springer
The increasing levels of system integration in Multi-Processor System-on-Chips (MPSoCs) emphasize the need for new design flows for efficient mapping of multi-task applications o...
172
click to vote
GECCO
2007
Springer
16 years 21 days ago
2007
Springer
The problem of production and delivery lot-sizing and scheduling of set of items in a two-echelon supply chain over a finite planning horizon is addressed in this paper. A single ...
204
click to vote
GECCO
2007
Springer
16 years 21 days ago
2007
Springer
Design for specific customer service plays a crucial role for the majority of the market in modern electronics. However, adaptability to an individual customer results in increasi...
183
click to vote
ICSOC
2007
Springer
16 years 21 days ago
2007
Springer
Mashups are a new kind of interactive Web application, built out of the composition of two or more existing Web service APIs and data sources. Whereas “pure” mashups are built ...