834 search results - page 2 / 167 » A Decomposition Technique for Max-CSP |
FMCO
2009
Springer
13 years 3 months ago
2009
Springer
Abstract. Atomicity Decomposition is a technique in the Event-B formal method, which augments Event-B refinement with additional structuring in a diagrammatic notation to support c...
CMA
2010
13 years 3 months ago
2010
: The Adomian Decomposition Method (ADM) shows a very good ability in dealing with nonlinear differential equations but it is still have some drawbacks. In this paper, it is shown ...
CORR
2008
Springer
13 years 5 months ago
2008
Springer
In the constraint programming framework, state-of-the-art static and dynamic decomposition techniques are hard to apply to problems with complete initial constraint graphs. For suc...
ECRTS
2009
IEEE
13 years 3 months ago
2009
IEEE
This paper explores timing anomalies in WCET analysis. Timing anomalies add to the complexity of WCET analysis and make it hard to apply divide-and-conquer strategies to simplify ...
INFOCOM
2006
IEEE
13 years 11 months ago
2006
IEEE
Abstract— Network utility maximization (NUM) problems provide an important approach to conduct network resource management such as end-to-end rate allocation. In the existing lit...