1138 search results - page 117 / 228 » Parallel Implementation of Constraint Solving |
CAV
2009
Springer
14 years 8 months ago
2009
Springer
Abstract. Most specification languages express only qualitative constraints. However, among two implementations that satisfy a given specification, one may be preferred to another....
CLUSTER
2006
IEEE
14 years 1 months ago
2006
IEEE
The paper addresses the problem of matching and scheduling of DAG-structured application to both minimize the makespan and maximize the robustness in a heterogeneous computing sys...
AIPS
1994
13 years 9 months ago
1994
An intelligent problem solver must be able to decompose a complex problem into simpler parts. A decomposition algorithm would not only be bene cial for traditional subgoal-oriente...
JDS
2006
13 years 7 months ago
2006
Civil emergency management is discussed when more than one aid organisation is involved in solving an emergency problem. This paper analyses interagency cooperation, decision-makin...
NA
2006
13 years 7 months ago
2006
A least-squares spectral collocation scheme is combined with the overlapping Schwarz method. The methods are succesfully applied to the incompressible Navier-Stokes equations. The...