2251 search results - page 304 / 451 » Specification and Implementation Problems for C |
164
click to vote
SIAMJO
2000
15 years 4 months ago
2000
Mathematical programs with nonlinear complementarity constraints are reformulated using better-posed but nonsmooth constraints. We introduce a class of functions, parameterized by...
127
click to vote
DSE
1998
15 years 4 months ago
1998
The Voltan software library for building distributed applications provides the support for (i) a processpair to act as single Voltan self-checking ‘fail-silent’ process; and (...
139
click to vote
CP
2010
Springer
15 years 3 months ago
2010
Springer
Given an arbitrary constraint c on n variables with domain size d, we show how to generate a custom propagator that establishes GAC in time O(nd) by precomputing the propagation th...
124
click to vote
SIAMIS
2010
15 years 3 months ago
2010
We consider the inverse problem of reconstructing thin tubular inclusions inside some three-dimensional body from measurements of electrostatic currents and potentials on its bound...
181
click to vote
CSIE
2009
IEEE
15 years 2 months ago
2009
IEEE
Grid computing has become very popular in big and widespread scientific communities with high computing demands, like high energy physics. Computing resources are being distribute...